Будущее языков ML

Хуже, что и Ocaml как-то не особо жив. Так что в лучшем случае славная семейка ML находится в анабиозе :(

>Хуже, что и Ocaml как-то не особо жив

Пилят o4mc с параллельным сборщиком мусора. Пилят HLVM. У окамла есть ffconsultancy и Jane Street Capital.

Это у меня одного складывается ощущение, что в M$ Research и INRIA пилят F#, а на остальные проекты слегка подзабили?

Зато SBCL цветёт и пахнет! =) Коммиты почти каждый день, и не сказать, что все ерундовые.

> Зато SBCL цветёт и пахнет! =) Коммиты почти каждый день

Да, живучая секта :D

Да, живучая секта :D

Просто свежих девствениц нужно на алтарь Бафомету регулярно ложитьЭто от того, что язык очень интересный!!11

Хватит троллить. Ты же, эта, лопнешь, деточка!

>Просто свежих девствениц нужно на алтарь Бафомету регулярно ложить

Правильно, зачем Лисперам бабы? Они и без них славно живут. =)

> Правильно, зачем Лисперам бабы? Они и без них славно живут. =)

Я давно и щасливо женат.

>Правильно, зачем Лисперам бабы? Они и без них славно живут. =)

А то будто ты знаешь все тонкости ритуала? ;)

Я давно и щасливо женат.

Тогда зачем их туда ложить, простите, класть?

> Тогда зачем их туда ложить, простите, класть?

Очевидно же, чтобы Бафомет продолжал коммитить в SBCL! В отсутствие интереса к Лиспу у среднестатистического пипла только инфернальные силы могут поддерживать его жизнь.

Пользуясь случаем. Что почитать, что-бы таки заюзать этот ваш asdf? А то какой-то он... стремный. Банально надо было cl-gtk2 заставить работать. Час читал доки так и не поставил =(

>Коммиты почти каждый день

Стрёмная оценка языка :)

(require 'asdf-install)
(asdf-install:install 'cl-gtk2)

или

git://repo.or.cz/cl-gtk2.git

и все его *.asd бросить симлинками в ~/.sbcl/systems (или где там у тебя asdf central registry)

> Стрёмная оценка языка :)

Это оценка состояния компилятора. Язык устаканен и закреплён стандартом 15 лет назад.

>Это оценка состояния компилятора. Язык устаканен

В наши дни язык очень сложно отделять от компилятора :)

> В наши дни язык очень сложно отделять от компилятора :)

А в нашей проекции мультиверса - ничё так, компиляторы от языков отделяются.

Хорошо вам, но одиноко :)

Не качает он...

unhandled ASDF-INSTALL::DOWNLOAD-ERROR in thread #<SB-THREAD:THREAD "initial thread" RUNNING {1002A26011}>:
  Server responded 404 for GET http://www.cliki.net/cl-gtk2?download

git clone имелось в виду. Лучше git clone, т.к. dmitry_vk постоянно активность проявляет.

> Не качает он...

Ну, значит, в asdf не завёрнуто ещё. У меня гит репо, работает. asdf-install'ом будешь ставить зависимости, типа cl-opengl, cl-cairo, cl-etc...

Не успели обсудить судьбу ML, а уже скатились к обсуждению ситуации с лиспом. Это мне напоминает людей, которые считают себя шарящими, потому что окружающие их люди - шарят еще меньше. Зачем нам другие(лисп)?, давайте обсудим себя(МL).

Так а хаскель то живее всех живых. Недавно новая версия вышла.

Orly? Я всегда считал что лисперов в мире больше, чем тех же смолтокеров..

А вот некоторые считают F# языком семейства ML. Например, если не использовать специфические окамловские функторы, объекты и классы, то код очень даже читается компилятором F#. Для этого есть специальный режим совместимости (иначе полезут ворнинги о депрекейтид функциях). Базовая библиотека типа модулей List, Map и Set - общая с окамлом. Опять, такие же файлы сигнатур.

Так что, семейство живее всех живых, если смотреть на вещи оптимистично.

> Например, если не использовать специфические окамловские функторы, объекты и классы, то код очень даже читается компилятором F#. Для этого есть специальный режим совместимости (иначе полезут ворнинги о депрекейтид функциях)

«Embrace, Extend and Extinguish» (c)

Так что, семейство живее всех живых

Один незаконнорожденный представитель %)

> Один незаконнорожденный представитель %)

:))

Где-то пробегала информация, что очень даже законорожденный. В MS Research работают весьма интересные и непростые люди :)

> Не успели обсудить судьбу ML, а уже скатились к обсуждению ситуации с лиспом.

Конечно! Вы же пишите на моём ЛОРе!

Это мне напоминает людей, которые считают себя шарящими, потому что окружающие их люди - шарят еще меньше.

Это на самом деле является признаком обладания знанием. Вот гораздо интереснее было бы услышать, как человек может адекватно назвать себя «шарящим», не сравнивая свои знания со знаниями других?

Зачем нам другие(лисп)?, давайте обсудим себя(МL).

Давайте. По моим данным, у OCaml'а дела идут неплохо.

> Где-то пробегала информация, что очень даже законорожденный.

Насколько я знаю, все предыдущие были открытые.

В MS Research работают весьма интересные и непростые люди :)

В MS Research работают на MS.

> Насколько я знаю, все предыдущие были открытые.

Смотря как понимать открытость. Там используется довольно мягкая Microsoft Research Shared Sorce License Agreement, но есть ограничения для коммерческого использования (можно только официальные бинари). Исходники компилятора и библиотек открыты. Более того, они входят в инсталяционный пакет (msi либо zip архив).

> В MS Research работают на MS.

Вообще-то, там работает сам Милнер, создатель языка ML и изобретатель алгоритма вывода типов. Так что кому, как не им, ML-и разрабатывать?

>Так а хаскель то живее всех живых.

По чейнджлогу как-то слабо заметно...

>А вот некоторые считают F# языком семейства ML.

Только базовый язык. Эти гении выпилили даже MLшную систему модулей. Как же, намного интересней использовать систему костылей и подпорок, вместо средств языка.

> там работает сам Милнер, создатель языка ML и изобретатель алгоритма вывода типов.

Интересно, над чем именно он работает.

Так что кому, как не им, ML-и разрабатывать?

Единственный их ML-подобный - F#, да?

По чейнджлогу как-то слабо заметно...

чейнджлогу чего?

>Будущее языков ML

Их будущее - служить строительным материалом для развития Lisp. Мне кажется, это и так понятно.

P.S. Haskell - игрушка, не больше того.

> Только базовый язык. Эти гении выпилили даже MLшную систему модулей.

Модули есть, а вот функторов вроде бы нет. Не проверял. Но скорее всего, что их действительно нет.

Зато есть

(1) монады (включая синтаксический сахар для них),

(2) последовательности (могут быть ленивыми и бесконечными),

(3) активный паттерн-матчинг (позволяет применять разные паттерн-матчинги для одного и того же типа независимо от устройства типа),

(4) quotations (позволяет представлять конструкции самого F# как выражения и обрабатывать их на самом языке - важно для LINQ).

Еще есть просто изумительный (5) list/array/seq comprehension по типу хаскельного.

То есть, много всего такого, что не относится напрямую к дотнету и можно рассматривать как дальнейшее развитие языка ML. Я бы очень пожелал, чтобы подобные вещи появились и в OCaml.

Снизу F# - это дотнет с его не самой плохой моделью ООП. А сверху F# - это очень приятный и удобный ML язык.

> Haskell - игрушка, не больше того.

Что заставляет Вас так говорить? С какими проблемами, заставившими Вас отказаться от Haskell, Вы столкнулись при разработке на нём? Ваш ответ очень важен для будущего языка.

>как дальнейшее развитие языка ML

Это было бы неплохо... Особенно такую красивую реализацию.

Я бы очень пожелал, чтобы подобные вещи появились и в OCaml.

В окамле есть ocamlp4. Не так удобно и без документации. Да и многие языковые фишки реализованы в виде расширений. Насчет монад, так они в любом языке имеются, а вот синтаксического сахара в F# я что-то не заметил.

Дело даже не в этом. В F# важную роль играет платформа... Нету полностью свободных аналогов. И скорее LLVM-бэкенды допилят до юзабельного состояния, чем она появится.

>Что заставляет Вас так говорить?

Вообще-то Simon P. J. примерно так говорит. А он наверно знает о чем говорит, ибо principal designer GHC.

А не правильнее сравнивать, свои познания в АйТи, не с соседом слесарем, а с компетентными специалистами.

> Насчет монад, так они в любом языке имеются, а вот синтаксического сахара в F# я что-то не заметил.

Например, async { let! x = ... } - здесь let! переходит в монадический вызов Bind. async - это пример билдера. Можно определять свои билдеры. См. computation expression и workflow. Просто другие названия монады. Плюс новый смысл.

> А не правильнее сравнивать, свои познания в АйТи, не с соседом слесарем, а с компетентными специалистами.

А кто тут слесарь? Среди населения Talks, возможно, найдётся, но там, в основном, проблемы ФМГ обсуждают.

>Ваш ответ очень важен для будущего языка.

Я меньше чем за 100K не консультирую. Бесплатно могу только написать пару макров, обругать матом или бросить книжкой SICP по голове.

>Я меньше чем за 100K не консультирую. Бесплатно могу только написать пару макров, обругать матом или бросить книжкой SICP по голове.

Еже один ылитный специалист? Твое мнение без подтверждений мало кого тут интересует.

Моя квалификация подтверждается уже тем, что я применяю только Lisp, и не трачу свое время на изучение бесполезных недоязыков вроде C++.

> Моя квалификация подтверждается уже тем

Не думаю, что на описание пары проблем, с которыми Вы столкнулись, уйдёт больше времени, чем на подтверждение своей квалификации на ЛОРе.

написать пару макров...или бросить книжкой SICP по голове

так ты уж определись - или CL с макрами, или SICP со Scheme

>так ты уж определись - или CL с макрами, или SICP со Scheme

Программный код на Scheme легко транслируется в CL моим кодогенератором благодаря мощи последнего.

newLISP за основу взял явно Scheme, но имеет макросы. Может он - высококвалифицированный script kiddie с newLISP'ом?