В каких языках программирования есть higher-kinded типы?
Lisp?
template class-ы и generic-и подойдут? Они, конечно, урезаны, но на части задач прокатывают
Да, не подумал, что придётся указать. Нужны статически типизированные языки.
Нет, нужны полноценные. С полиморфизмом и частичным применением.
ocaml, clean, sml?
ocamlА где там полиморфизм по higher-kinded?
Тип, параметризованный произвольным функтором (в категорном смысле годится? Тогда вот, например:
http://thedeemon.livejournal.com/46414.html
---
...Я работаю антинаучным аферистом...
Да, оно, спасибо.
Оставить комментарий
agaaaa
Кроме Haskell и Scala