Вышел Qi II

Re: Вышел Qi II

Совмещать лисп и пролог - имхо извращение.

Werehuman (02.12.2008 21:03:44)

Re: Вышел Qi II

> Совмещать лисп и пролог - имхо извращение.

программирование, вообще, то ещё извращение

Crocodille (02.12.2008 21:11:00)

Re: Вышел Qi II

4-х проходной компилер !

kto_tama (02.12.2008 21:21:03)

Re: Вышел Qi II

Очередной недоязычок?

Sherak (02.12.2008 21:40:36)

Re: Вышел Qi II

эх, знать бы, что такое секвенциальное исчисление и полиадические конструкции

Re: Вышел Qi II

А для чего оно?

ferhiord (02.12.2008 22:46:13)

Re: Вышел Qi II

> эх, знать бы, что такое секвенциальное исчисление и полиадические конструкции

Функциональное программирование - это такая тусовка для посвящённых. Высокие материи. Куда уж нам со своими быдлоимперативными недоязычками. Мы свои дорвеи и дейтинги как-то лабаем без полиадических конструкций, всё по старинке.

yk4ever (02.12.2008 22:50:20)

Re: Вышел Qi II

Коммерческий язык - это верх лицензиефетишизма...

GFORGX (02.12.2008 22:53:21)

Re: Вышел Qi II

> Совмещать лисп и пролог - имхо извращение.

А почему? Вполне логично, ИМХО. Тем более предикатный перебор с возвратами можно реализовать поврех лиспу в виде обыкновенных функций.

Re: Вышел Qi II

>эх, знать бы, что такое секвенциальное исчисление и полиадические конструкции

+1

nnm (02.12.2008 23:06:04)

Re: Вышел Qi II

>эх, знать бы, что такое секвенциальное исчисление и полиадические конструкции

Вот они - быдлоимперативщики :) СиЖабу осилили, а русский язык - нет... Марш в школу. http://slovari.yandex.ru/dict/bse/article/00069/85200.htm

Полиадический - суть многоместный.

Неучи.

Re: Вышел Qi II

Оно умеет компилироваться в бинарный код?

Gharik (03.12.2008 0:15:47)

Re: Вышел Qi II

Это очередной 100%-pure academic language, не предназначенный для практических задач. Как, собственно, и сами LISP и Prolog.

Re: Вышел Qi II

Оно умеет компилироваться в бинарный код? Оптимизирующая надстройка над лиспом. Юудет лисп компиляться - будет и Qi тоже... Пролог - 89 строк кода, оптимизатор, ооо, аж 12 кило. Генератора машкода не узрел :) /оно и понятно/

Re: Вышел Qi II

> Оно умеет компилироваться в бинарный код?

Это надстройка на Common Lisp.

mv (03.12.2008 0:32:12)

Re: Вышел Qi II

>Это очередной 100%-pure academic language Не гони волну, люди волноваться начнут.

Использовать этот шаттл еще надо уметь. Лет через 30 его идеи как обычно проникнут в среду индусов от сидонетжабы. И будут они счастливы, и будут ругать очередной pure-academic язык и не понимать своего счастья :)

Re: Вышел Qi II

> а русский язык - нет...

Какое из слов "секвенциальный" и "полиадический" - славянское? ;)

mv (03.12.2008 0:34:53)

Re: Вышел Qi II

русский, он же славянский, он же - великий и могучий матЪезыг на шершавом лингвистическим наречии является "надстройкой" (метаязыком) над русским языком соответственно. Вас нерусское слово "топор" коробит так же, как и "секвенция", надеюсь? :)

Re: Вышел Qi II

странно, надстройка, скажем, rdnzl - просто библотека, а qi - по сути та же либа, но уже именуется яп? ужос :)

Re: Вышел Qi II

Эхма, так и не понял прелестей Lisp... Похоже, плохо смотрел или не было подходящих задач.

Вот скажите темному, для какого рода задач лучше всего подходит Lisp? ИИ я не занимаюсь

Eugeny_Balakhonov (03.12.2008 2:10:44)

Re: Вышел Qi II

формочки рисовать - не подходит однозначно :) /скажем так - преимуществ перед моносижабой не будет особо заметно/

Лопатитть данные в Р/О СУБД - можно сложная логика - можно решения можно описать очень компактно. Короче, чем громоздить аналогичное всякими там Bridge/Visitor/Factory паттернами.

работа с битами (картинок, архивов) - ну, не очень. Вообще low-level не очень. Очень, как правило, high-level - для чего он, собсно, и задумывался :)

Re: Вышел Qi II

Единственное, для чего предназначен Лисп - написание DSL (Domain-Specific Languages).

Это даёт основания адептам Лисп утверждать, что Лисп опосредованно годится для абсолютно любого рода задач - путём реализации соответствующего DSL на Лисп, и дальнейшего писания уже на DSL. Этот подход имеет свои плюсы и минусы. Среди плюсов - то, что получится язык, конкретно заточенный под задачу. Среди минусов - то, что необходимо реализовать и отладить собственно язык плюс опциональную обвязку из дебаггера, профайлера, системы юнит-тестов, системы кододокументирования и прочих компонентов development environment.

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

Такой подход сами лисперы считают "элитным", и относят себя к элите IT, проявляя при этом порядочный снобизм и относясь ко всем остальным весьма пренебрежительно. (Я не сомневаюсь, что Вам удастся это лично пронаблюдать в данном треде, когда сюда подтянутся представители так называемой элиты.)

Но не пытайтесь реализовывать алгоритмы на самом Лисп, он не предназначен для этого. Недавний прецедент с примитивным вычислительным бенчмаркингом LISP vs. C наглядно это продемонстрировал.

Вы можете многое узнать о Лисп из недавнего треда "Создатель Python разочарован в Scala" (http://www.linux.org.ru/view-message.jsp?msgid=3271707), начиная где-то с седьмой страницы. Там же Вы найдёте и ссылку на топики с бенчмаркингом.

Re: Вышел Qi II

> Единственное, для чего предназначен Лисп - бла-бла... Твои усилия по опусканию лиспа достойны лучшего применения.

Re: Вышел Qi II

тролик вернись, мы тебе все простим...

если потерял дорогу держи пеленг:

http://www.linux.org.ru/view-message.jsp?msgid=3271707&lastmod=1228260425...

ЗЫ укрепляйте анал :)

Re: Вышел Qi II

"суть" - множественная форма слова "есть". неуч.

Re: Вышел Qi II

>>>Это очередной 100%-pure academic language Не гони волну, люди волноваться начнут.

>Использовать этот шаттл еще надо уметь. Лет через 30 его идеи как >обычно проникнут в среду индусов от сидонетжабы. И будут они >счастливы, и будут ругать очередной pure-academic язык и не понимать >своего счастья :)

через 30 лет кодировать будут только роботы :)

Re: Вышел Qi II

>статическую систему типов, основанную на секвенциальном исчислении

Это прорыв. Это язык 7 поколения, (всякие пистоны и явки - 4). Эх кусаю локти теперь, говорили мне умные люди, "Ботай лисп", у таких людей можно было поучиться - элита отечественной информатики, а все казалось не программирование это, а математика. Вот С - это другое дело, деньги были нужны, гавном ведь занимался - драйвера клепал под виндовз за питьсот баксов.

Sun-ch (03.12.2008 11:50:12)

Re: Вышел Qi II

>Единственное, для чего предназначен Лисп - написание DSL (Domain-Specific Languages).

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

Sun-ch (03.12.2008 12:32:49)

Re: Вышел Qi II

>А что дядя скажет, про "адаптивное обучение роботов", или управление беспилотными вертолетами в любых погодных условиях, или про обработку сигналов с радиолокаторов в реальном времени?

Дядя скажет что лисп сосет и подтвердит это графиками с красной и зеленой линией.

r (03.12.2008 12:59:36)

Re: Вышел Qi II

А зачем нужен этот полиадический язык программирования? Чем Qi II лучше Джавы?

Bioreactor (03.12.2008 13:50:41)

Re: Вышел Qi II

Похоже сегодня флейма не будет. Наверное не все готовы обсуждать секвенциальную теорию Кантора-Чёрча-Генцена.

Sun-ch (03.12.2008 13:53:00)

Re: Вышел Qi II

> Это язык 7 поколения, (всякие пистоны и явки - 4).

А где про это можно почитать? (желательно с примерами к какому уровню относятся разные языки и почему)

Re: Вышел Qi II

Беспонтовый язык программирования. На самом деле, очень плохой язык программирования. Я думал намного лучше будет, намного лучше будет все и очень плохой язык программирования, просто очень плохой язык программирования. Я думал намного лучше все будет. Сколько раз программировал! Было намного лучше. Ну на этот раз как-то не удалось. Во-первых народу мало, да и язык программирования не очень.

Re: Вышел Qi II

> что дядя скажет ... про обработку сигналов с радиолокаторов в реальном времени?

Расскажи мне об этом. Я хочу посмеяться.

tailgunner (03.12.2008 14:27:40)

Re: Вышел Qi II

> или про обработку сигналов с радиолокаторов в реальном времени?

Обрабатывается ВизуалБейсик, видел собственными глазами. И все это крутиться под win98, ибо система реального времени. Да, все с гуйком кривоватеньким. Лисп? За те копейки, которые платят в госконторах, напыщенная элита не пойдет. А инженеру Вася Пупкину велено разработать "программный комплекс", он и разрабатывает, предварительно купив в магазине "бейсик для тупых".

Добро пожаловать в реальный мир, дядя.

Re: Вышел Qi II

>управление беспилотными вертолетами в любых погодных условиях
Круто, ветровлагозащищенный язык типа?

ratatosk (03.12.2008 15:01:22)

Re: Вышел Qi II

> Это прорыв. Это язык 7 поколения, (всякие пистоны и явки - 4).

дядь, ну откуда седьмой-то? 0GL были коды и ассемблеры, 1GL всякий лапшекод на фортране и си, 2GL -- структурный, 3GL -- ООП, 4GL -- те самые "DSL под задачу" , 5GL -- constraint programming и епонская ИИ программа. Откуда 7GL -то? И что случилось с 6GL?

Re: Вышел Qi II

>Похоже сегодня флейма не будет.

Он при ходит только по ночам. Надо подождать.

> Наверное не все готовы обсуждать секвенциальную теорию Кантора-Чёрча-Генцена.

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

r (03.12.2008 15:11:16)

Re: Вышел Qi II

> Обрабатывается ВизуалБейсик, видел собственными глазами. И все это крутиться под win98, ибо система реального времени. Да, все с гуйком кривоватеньким. Лисп?

не беда, видел ECL встраиваемый в Visual Basic-приложение. Вполне хтоничненько.

Re: Вышел Qi II

Bioreactor пейсал: полиадический язык программирования

лол

Re: Вышел Qi II

>Совмещать лисп и пролог - имхо извращение.

Это Вы зря. Посмотрите, например, на cl-unification (http://www.cliki.net/cl-unification)

Sectoid (03.12.2008 16:37:29)

Re: Вышел Qi II

> секвенциальном исчислении

> Типобезопасное ленивое вычисление по требованию

Буквы вроде русские, но язык явно другой.

Re: Вышел Qi II

> Лет через 30 его идеи как обычно проникнут в среду индусов от сидонетжабы. И будут они счастливы, и будут ругать очередной pure-academic язык и не понимать своего счастья :)

Надеюсь лет через 30 мелочи вроде нового pure academic языка меня волновать не будут.

Burbaka (03.12.2008 17:55:07)

Re: Вышел Qi II

>> секвенциальном исчислении >> Типобезопасное ленивое вычисление по требованию

>Буквы вроде русские, но язык явно другой.

первое - устоявшийся в русскоязычной литературе термин, погугли и убедись; как корректней перевести второе я не знаю, может поможешь?

jtootf (03.12.2008 18:00:35)

Re: Вышел Qi II

"Замыкания по правилам (rule closures)" (с)

А что такое замыкания? Какие из них по правилам, а какие не по правилам?

А то мы, жабабыдлокодеры, как-то анонимные классы в Жабе используем для замыканий и таких шибко умных теоретических словов-то и не знаем.

И еще один вопрос, какую рекурсию (как завещал нам сам Профессор) поддерживает сей труЪ полиадический язык программирования Qi II - хвостовую или подхвостовую?

Bioreactor (03.12.2008 18:13:43)

Re: Вышел Qi II

>А что такое замыкания? Какие из них по правилам, а какие не по правилам? 

Rule Closures

Unlike Qi I, Qi II allows you to embed sequent rules
within functions, evaluating them to closures. These
rule closures are type checked and are permeable to
having their variables lexically bound from outside
the scope of the rule itself. These devices enable
the student of computational logic to effortlessly
code complex logical systems of all descriptions. Thus
the rule

let PTerm/X (replace-by X Term P)
PTerm/X, (all X P) >> Q;
____________________
(all X P) >> Q;

allows universally quantified assumptions to be 
instantiated to new premises. This rule can be 
embedded into a Qi II function called all-left which 
does precisely this job. The rule is turned into a 
closure by the rule function which is then applied to 
the problem (list of sequents).

(define all-left
{term --> [sequent] --> [sequent]}
Term S -> ((rule let PTerm/X (replace-by X Term P)
PTerm/X, (all X P) >> Q;
____________________
(all X P) >> Q;) S))

FPQi devotes a hundred pages to the exploration of this 
powerful construction.

переводи сам, чай не маленький

jtootf (03.12.2008 18:19:40)

Re: Вышел Qi II

> А то мы, жабабыдлокодеры, как-то анонимные классы в Жабе используем для замыканий и таких шибко умных теоретических словов-то и не знаем.

Ваша гордость своей безграмотностью и незнанием просто противна...

Re: Вышел Qi II

> "Замыкания по правилам (rule closures)" (с)

может быть, "замыкания правил"? Ну как там канторовы множества с замыканиями, супремумами и инфинумами. В математическом смысле: "какой ты компактный, то есть, замкнутый и ограниченный"(c) :) -- в смысле, "транзитивное замыкание операции, это .. итд итп".

Re: Вышел Qi II

Вроде бы буковки мне все знакомые, но их очень много, трудно осилить. Я уж лучше некошерные анонимные классы юзать буду.

Bioreactor (03.12.2008 18:24:38)

Re: Вышел Qi II

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

Функциональные язычки программирования - это дело доброе, они ЧСВ "до больше 9000" (с) повышают, даже если их адепты пишут "замыкания по правилам" вместо "замыкания правил". "Рунглиш" (the Runglish language) рулит!

Bioreactor (03.12.2008 18:31:17)