F(1,2,3,4)

[kika]

Существует ли функциональный язык, который:

1. Поддерживает (своими тредами) SMP и не сосет
   
2. Реализация 64-х битной компиляции/интерпретации готова для промышленного использования
   
3. Имеет эффективный кодогенератор
   
4. Равнодоступен как минимум на виндах, маке и линуксе
   

?

Comments

[dmzlj.livejournal.com]

1) поддерживает, но насчет сосучести надо проверять. Но поддерживает точно
2) не уверен
3) а с чем сравнивать? где-то сосет где-то нет
4) да

хаскелл

[kika.livejournal.com]

Не удовлетворяет 2. 64 бита есть только на линуксе, на маке есть какие-то усилия, на винде по-моему даже усилий нет.

[dmitry-vk.livejournal.com]

Если Common Lisp считать функциональным, то удовлетворяет (из реализаций, например, свободные Clozure CL, SBCL). Считать его функциональным или нет - вопрос спорный.

[kika.livejournal.com]

SBCL под винду experimental, а вот за Clozure спасибо, я про него не знал.

[permea-kra.livejournal.com]

scala, haskell via JVM (геморрой....)

[kika.livejournal.com]

Scala - это такая функциональная Ява, на которой написан Твиттер? Спасибо, это все что я о Скале слышал, пожалуй посмотрю повнимательнее. Синтаксис Явы, впрочем, оставляет желать....
А Хаскель на JVM попахивает садомазохизмом. Вряд ли это индустриальное решение, судя по аннотации "геморрой" :-)

[permea-kra.livejournal.com]

haskell via JVM - это патч, который учит ghc jvm bytecode.
http://www.cs.rit.edu/~bja8464/lambdavm/

[permea-kra.livejournal.com]

В принципе, есть ещё как минимум компиляторы в javascript && erlang. Это такое академическое развлечение, не обращайте внимание.

[cmm.livejournal.com]

Clojure (http://www.clojure.org/)

такой забавный лиспоидный фунциональный язык, реализованный поверх JVM и имеющий дофига сермяжной мультитредной инфраструктуры внутре (агенты, STM, транзакции итп).  всем требованиям, соответственно, должен удовлетворять, но я сам с ним ещё не играл.

[pzz.livejournal.com]

А зачем нам 2 и 4?

[kika.livejournal.com]

А зачем мы собираем твое творчество под 64 бита? Затем же.
Но вообще я не про наш варез спрашивал, а вообще.

[justbulat.livejournal.com]

всё-таки ищешь ФП язык? :)

да, ghc пролетает по win64 пункту. думаю, что ближе всего скала. лиспоподобные язки тоже наверняка есть, если оно тебя вдохновляет. а окамл проверял?

[kika.livejournal.com]

Что значит "все-таки ищещь"? Я один нашел и на нем пишу, но он сосет по третьему пункту.
Окамл сосет по первому и там похоже даже надежды нет. Лиспоподобные меня вдохновляют существенно больше чем яваподобные.

[justbulat.livejournal.com]

ну я помню что пару лет тебе что-то по хаскелу описывал. а каким пользуешься?

лиспоподобные - я имею в виду скобочные. я лично люблю богатый синтаксис, хаскел - идеал

[kika.livejournal.com]

На ерланге пишу.