Mini Component Pascal

Alexey Veselovsky

Geniepro писал(а):

Valery Solovey писал(а):

Разве "первый сорт" - это отличительная черта всех функциональных языков?

А разве есть функциональные языки, в которых функции не были бы главными сущностями?

Эмм... Ерланг? ;-)

Вроде как главная сущность там это атом :-)

Valery Solovey

Geniepro писал(а):

Valery Solovey писал(а):

Разве "первый сорт" - это отличительная черта всех функциональных языков?

А разве есть функциональные языки, в которых функции не были бы главными сущностями?

Возможно, я не правильно понял о чём речь. Имелись в виду языки высшего порядка? То есть, такие, где в качестве аргумента или результата работы функции может быть функция? Ну так SQL вроде как функциональный язык, но не относится к языкам высшего порядка.

Geniepro

Alexey Veselovsky писал(а):

Эмм... Ерланг? ;-)

Вроде как главная сущность там это атом :-)

В Эрланге функции вполне первоклассны, так что у него с этим проблем нет. А так это вообще язык для конкурентного программирования -- там ведь главная фишка -- процессы, общающиеся сообщениями. Что-то типа агентов(акторов).

Geniepro

Valery Solovey писал(а):

Ну так SQL вроде как функциональный язык, но не относится к языкам высшего порядка.

SQL вроде как декларативным языком считается, а не функциональным.

Valery Solovey

А, да. Жара, и я одно с другим путаю : ). Голова слабо варит.

Alexey Veselovsky

Тут в начале темы спрашивали как у них сделаны дженерики. Так вот, там всё просто -- реализация всего этого хозяйства существует только под .net. Соответственно тамошние дженерики, это дженерики .нета. А как реализовано это в .нете можно почитать тут: http://www.artima.com/intv/generics2.html

Кратко -- инстанцирование в рантайме и отслеживание чтобы на больше одного инстанса было. И да, дженерики честные, без дополнительных оверхедов на динамичность.

OberonCore

Mini Component Pascal

Кто сейчас на конференции