Исходное сообщение
"Сколько языков программирования нужно выучить" Отправлено jtootf, 21-Мрт-08 18:15
В играх ФЯ используются на ура - смотри проект Frag, смотри Yampa и FRP вообще. Игровые абстракции без явного описания состояний выражаются куда как лаконичней - так же как и циклы с явным описанием итератора против рекурсии. Касательно состояний и драйверов - смотри House, ОС на Haskell с использованием пи-логики; смотри seL4 и L4.verified в которых Haskell используется для формальной верификации ядра ОС. А если говорить про области применения в общем, то тут в выразительности выигрывают языки, позволяющие легко реализовывать eDSL для каждого модуля с использованием паттерна Layers в полной мере (как единственный вменяемый контрподход для UN*X-way программирования, при котором эти модули связываются уже в виде бинариев с помощью скриптинга) - а это как раз и есть парафия либо ФЯ, либо метаязыков вроде LISP и Tcl (в которых метапрограммирование является базовой парадигмой). Есть что возразить по существу ?

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> В играх ФЯ используются на ура - смотри проект Frag, смотри Yampa > и FRP вообще. Игровые абстракции без явного описания состояний выражаются куда > как лаконичней - так же как и циклы с явным описанием > итератора против рекурсии. Касательно состояний и драйверов - смотри House, ОС > на Haskell с использованием пи-логики; смотри seL4 и L4.verified в которых > Haskell используется для формальной верификации ядра ОС. А если говорить про > области применения в общем, то тут в выразительности выигрывают языки, позволяющие > легко реализовывать eDSL для каждого модуля с использованием паттерна Layers в > полной мере (как единственный вменяемый контрподход для UN*X-way программирования, при > котором эти модули связываются уже в виде бинариев с помощью скриптинга) > - а это как раз и есть парафия либо ФЯ, либо > метаязыков вроде LISP и Tcl (в которых метапрограммирование является базовой парадигмой). > Есть что возразить по существу ?
	Введите код, изображенный на картинке: