Релиз Allegro CL 9.0

новость хорошая!

//пользователь lispworks

Всё так и хотят пить кровь христианского младенца-первенца за свою лицензию?

Всё так и хотят пить кровь христианского младенца-первенца за свою лицензию?

yep

пафоса не многовато? особенно на фоне changelog'а запаздывающего лет на 10

пафоса не многовато?

приложений с миллиардами объектов

В самый раз

Что-то мне кажется, фразы с «это превосходная, безупречная, изысканная программа» удалят перед аппрувом.

SMP

MD2, MD4, MD5, SHA1, SHA256, SHA512, и RMD160

Метод «dequeue» теперь включает таймаут.

поддержка «chunking»

TLS 1.0

наша реальность

Гм. Нихило так ваша реальность окриогенилась.

хм, а мне казалось что 9-ка давно уже есть, о как

пафоса не многовато?

не мое. переводил с оффсайта.

особенно на фоне changelog'а запаздывающего лет на 10

Ну и что? Система развивается и это главное.

А может кто-нибудь дать ссылку на анализ или сравнение различных коммерческих реализаций коммон лиспа? Интересуют в первую очередь возможности и киллер-фичи языка/рантайма, а не IDE.

Интересуют в первую очередь возможности и киллер-фичи языка/рантайма, а не IDE.

Скорее всего, то что можно нагуглить, уже устарело, так как все последние плюшки улучшения рантаймов, например LispWorks и Allegro CL, произошли буквально в последние 1-2 года.

Я потому и не гуглю. Может кто знающий поделится информацией.

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

Я потому и не гуглю. Может кто знающий поделится информацией.

если нужен «ынтырпрайз» и много денег, то выбирай Allegro CL, так как плюшек там больше (см. документацию) для этого. Для остального - подходит отличный LispWorks, у которого нет лицензии на рантайм развертуемого приложения.

s/развертуемого/развертываемого

блин, проще по аглицки писать

Единственная реализация, в которой с ходу завелись примеры из PAIP

Не вброса ради: чем оно лучше Clojure?

чем оно лучше Clojure?

отсутствием родовой травмы в виде JVM ;)

Не троллинга ради: ты что, и впрямь не понимаешь разницы между CL и Clojure, или притворяешься?

//пользователь Clojure

отсутствием родовой травмы в виде JVM ;)

Это не родовая травма, это design desicion. JVM конечно ужасная виртуальная машина для лиспов (нет дешевых эфемерных обьектов), но имеет свои плюсы. Кложура не претендует на звание лиспа на века, это грязный инструмент для решения насущных проблем современного software enginnering-бизнеса (когда батарейки перевешивают). Кто занимается на Кложуре rocket science - ССЗБ.

А что, было и такое? Никогда не видел подобной лицензии, даже у некрософта.

Вот поэтому я использую Scala

Спасибо, что держишь нас в курсе.

Не вброса ради: чем оно лучше Clojure?

Оптимизирующий компилято. По скорости примерно как g++.

Вот поэтому я использую Scala

А, мы тебя знаем. Ты в Сан-Антонию дата майнингом занимаешься, да? Неделю на Clojure, неделю на Scala.

А каково соотношение производительности между Allegro CL, LispWorks и SBCL, например?

sbcl считается самым быстрым. да и проверка типов на стадии компиляции больше развита, чем у других реализациях

Для jvm есть реализация CL - ABCL. Особо не юзал, но вроде работает. Я использую sbcl и java: обращаюсь к jvm по tcp/ip - юзаю java библиотеки.

sbcl считается самым быстрым. да и проверка типов на стадии компиляции больше развита, чем у других реализациях

Это спорное утверждение. См :explain здесь: http://www.lispworks.com/documentation/lw60/LW/html/lw-592.htm#marker-1139137

(compile '(defun foo (arg)
           (declare (:explain :variables :types :boxing)
            (optimize (float 0)))
           (let* ((double-arg (coerce arg 'double-float))
                  (next (+ double-arg 1d0))
                  (other (* double-arg 1/2)))
             (values next other))))

;;- -> Examining a call to system::coerce-to-double-float with arguments
;;-    a variable named arg with type t
;;- -- failed to replace by compiler::null-operator-double (types did not match)
;;- -- failed to replace by system::coerce-to-double-float$single (types did not match)
;;- -- failed to replace by system::coerce-to-double-float$fixnum (types did not match)
;;- <- no further choices, so call will still be to system::coerce-to-double-float
;;- -> Examining a call to + with arguments
;;-    a variable named double-arg with type double-float
;;-    a constant, value 1.0 with type (member 1.0)
;;- <- replaced by system:|+2| (types matched)
;;- -- failed to replace by system:+$fixnum-noov (types did not match)
;;- -- failed to replace by system::+$fixnum-only (types did not match)
;;- -- failed to replace by system::+$fixnum-noov-check (types did not match)
;;- -- failed to replace by system::+$fixnum-nocheck (types did not match)
;;- <- replaced by system::+$double$double (types matched)
;;- -> Examining a call to * with arguments
;;-    a variable named double-arg with type double-float
;;-    a constant, value 1/2 with type (member 1/2)
;;- <- replaced by system::*2 (types matched)
;;- -- failed to replace by system::*$power-of-two$fixnum (types did not match)
;;- -- failed to replace by system::*$fixnum$power-of-two (types did not match)
;;- -- failed to replace by system:*$fixnum-noov (types did not match)
;;- -- failed to replace by system::*$fixnum-only (types did not match)
;;- -- failed to replace by system::*$fixnum-noov-check (types did not match)
;;- -- failed to replace by system::*$fixnum-nocheck (types did not match)
;;- -- failed to replace by system::*$double$double (types did not match)
;;- -- failed to replace by system::*$single$single (types did not match)
;;- -- failed to replace by system:*$fixnum (types did not match)
;;- -- failed to replace by system::*$double$single (types did not match)
;;- -- failed to replace by system::*$single$double (types did not match)
;;- <- no further choices, but call will now be to system::*2
;;- -> Examining a call to system::*2 with arguments
;;-    a variable named double-arg with type double-float
;;-    a constant, value 1/2 with type (member 1/2)
;;- -- failed to replace by system::*$power-of-two$fixnum (types did not match)
;;- -- failed to replace by system::*$fixnum$power-of-two (types did not match)
;;- -- failed to replace by system:*$fixnum-noov (types did not match)
;;- -- failed to replace by system::*$fixnum-only (types did not match)
;;- -- failed to replace by system::*$fixnum-noov-check (types did not match)
;;- -- failed to replace by system::*$fixnum-nocheck (types did not match)
;;- -- failed to replace by system::*$double$double (types did not match)
;;- -- failed to replace by system::*$single$single (types did not match)
;;- -- failed to replace by system:*$fixnum (types did not match)
;;- -- failed to replace by system::*$double$single (types did not match)
;;- -- failed to replace by system::*$single$double (types did not match)
;;- <- no further choices, so call will still be to system::*2
;;- -> Examining a call to system::coerce-to-double-float with arguments
;;-    a variable named arg with type t
;;- -- failed to replace by compiler::null-operator-double (types did not match)
;;- -- failed to replace by system::coerce-to-double-float$single (types did not match)
;;- -- failed to replace by system::coerce-to-double-float$fixnum (types did not match)
;;- <- no further choices, so call will still be to system::coerce-to-double-float
;;- -> Examining a call to system::*2 with arguments
;;-    a variable named double-arg with type double-float
;;-    a constant, value 1/2 with type (member 1/2)
;;- -- failed to replace by system::*$power-of-two$fixnum (types did not match)
;;- -- failed to replace by system::*$fixnum$power-of-two (types did not match)
;;- -- failed to replace by system:*$fixnum-noov (types did not match)
;;- -- failed to replace by system::*$fixnum-only (types did not match)
;;- -- failed to replace by system::*$fixnum-noov-check (types did not match)
;;- -- failed to replace by system::*$fixnum-nocheck (types did not match)
;;- -- failed to replace by system::*$double$double (types did not match)
;;- -- failed to replace by system::*$single$single (types did not match)
;;- -- failed to replace by system:*$fixnum (types did not match)
;;- -- failed to replace by system::*$double$single (types did not match)
;;- -- failed to replace by system::*$single$double (types did not match)
;;- <- no further choices, so call will still be to system::*2
;;- Calling a function that may allocate a non-float number (arg-types): system::*2  (double-float (member 1/2))
;;- Calling allocation call box-double
;;- Calling allocation call box-double
;;- Variables with non-floating point types:
;;-  arg other
;;- Variables with floating point types:
;;-  double-arg next

А что, было и такое? Никогда не видел подобной лицензии, даже у некрософта.

Franz хотят процент с дохода иметь.

А каково соотношение производительности между Allegro CL, LispWorks и SBCL, например?

Allegro CL < LispWorks < SBCL. По фичам в обратном порядке.

Ну да. Опять путаем голый sbcl и энтерпрайз фреймворки. Где там семантик веб и встроенный Пролог? И компилятор у них под винду очень хороший, а этот sbсl на этой платформе и не развивается ни хера.

sbсl на этой платформе и не развивается ни хера.

Это не баг, это фича.

А что, что-то в этом есть. Можно бесплатно свою собственность передавать кому-то, можно сдать в аренду, продать или передать неисключительные права на неё(право использовать в своих продуктах к примеру) в обмен на процент от прибыли. Они по сути инвестируют свой труд в ваш продукт. Это нормальная капиталистическая практика. Передача нематериального актива(прав на использование) в обмен на долю в предприятиии. Довольно стандартная практика, правда не в мире ПО, а в мире технологий, товарных знаков и других нематериальных активов. Не вижу в этом ничего особо странного. Хотя конечно выгодней просто один раз заплатить пару сотен(в крайнем случае тысяч) дуллеров за хороший инструмент.

пафоса не многовато? особенно на фоне changelog'а запаздывающего лет на 10

ну так преимущества модели разработки же :)

Не вброса ради: чем оно лучше Clojure?

Оптимизирующий компилято. По скорости примерно как g++.

у g++ быстрый компилятор, все знают

Где там [..] встроенный Пролог?

нахрена «в лиспе» встроенный пролог, для галочки?

Конечно фича, ограничив круг потенциальных клиентов, сомнительными личностями, которые используют линакс в энтерпрайзе. Даже на соляре этот выкидыш программерского гения не работает.

Оно всё под своей анальной лицензией? Уж лучше LispWorks тогда. Но всё же молодцы, что развиваются, добра им.

заинтересовало

На Прологе пишут очень серьезные вещи умные пузатые дядьки. Вроде Buran Prolog http://www.foia.cia.gov/docs/DOC_0000498691/DOC_0000498691.pdf Бизнес-логику такие дяди пишут на раз-два, заменяя весь департамент пых-явко-ерланг-кодеришек из Бауманки вместе с их (тим) и (тех) лидами и парой блядей разносящих кофе на рабочие места.

На Прологе пишут очень серьезные вещи умные пузатые дядьки.

спасибо чувак, всё по полкам расставил, а в лиспе то зачем пролог?

...теперь стала еще проще с новым...

Я не понял, это новость на ЛОРе или реклама стирального порошка по зомбоящику?

У тебя все приложение (бинарник) включает image лисп+библиотеки+дебагер+пролог. Ну типа как в 1С есть ядро, есть конфиги, которое оно исполняет. Но, в отличии от этой срани, где надо писать на низкоуровнем бейсике с циклами, функциями и прочей херней десятки тысяч строк кода, для программирования бизнес-логики, ты свою бизнес-логику можешь описать в декларативном виде или в логике ограничений, как это принято в Прологе и скомпилить ее в бинарный код. Выигрышь в производитнльности в порядки.

Ынтырпрайз уже давно выкидывает вашу соляру http://www.oracle.com/us/technologies/linux/index.html.

А что ты хотел от асм-кода?

А маздай не нужен.

Allegro CL® является динамической объектно-ориентированной средой программирования, подходящей для разработки сложных энтерпрайз-ориентированных приложений. Разработка такого рода приложений с миллиардами объектов теперь стала еще проще с новым Allegro CL 9.0.

Какой жыыыр.

Где?

Allegro CL® является динамической объектно-ориентированной средой программирования

Вот она вся «сущность» лиспа коротко и ясно.

Может статься, что поддержка ООП важнее поддержки других парадигм, таких как ФП. Сегодняшняя мода на ФП пройдет, и многие, быть может, снова вернутся хвалить ООП. К тому же, парадигмы переплетаются порою причудливым образом - их не всегда можно противопоставить. Например, не так уж много отличий между коллекциями в Scala и Smalltalk.

Например, не так уж много отличий между коллекциями в Scala и Smalltalk.

Scala - это прежде всего ООП система. Так что неудивительно.

Сегодняшняя мода на ФП пройдет

Мода? Не наблюдаю никакой «моды»! Наблюдаю восстановление баланса между научным и инженерным подходами в разработке мейнстрим-софта.

их не всегда можно противопоставить

Я пытался противопоставить? Даже близко нет. Кроме того, противопоставлять их попросту глупо. И Одерский это доказал на практике.

ЗЫ: А раз ООП такое хорошее, так что ж тебя мое высказывание задело?