В каких языках программирования есть higher-kinded типы?

agaaaa

Кроме Haskell и Scala

apl13

Lisp?

Dasar

template class-ы и generic-и подойдут? Они, конечно, урезаны, но на части задач прокатывают

agaaaa

Да, не подумал, что придётся указать. Нужны статически типизированные языки.

agaaaa

Нет, нужны полноценные. С полиморфизмом и частичным применением.

karkar

ocaml, clean, sml?

agaaaa

ocaml
А где там полиморфизм по higher-kinded?

karkar

Приведи пример интересуемого на хаскеле, попробую перевести на окамл.
Тип, параметризованный произвольным функтором (в категорном смысле годится? Тогда вот, например:
http://thedeemon.livejournal.com/46414.html

Ivan8209

Scratchpad/Axiom/Aldor.
---
...Я работаю антинаучным аферистом...

agaaaa

Да, оно, спасибо.
Оставить комментарий
Имя или ник:
Комментарий: