Home

rssh

Recent Entries

You are viewing the most recent 14 entries

August 18th, 2008

12:21 pm: termware-2.3.1
Изменения и исправления там чуть-ли не в точноcти те, которые предложил [info]akshaal.

Current Location: Киев
Tags: ,

April 7th, 2008

11:36 am: Rewriting Engine Competition
А вот по скорости пока отстаем. Ну зато знаем к чему стремится.
http://www.lcc.uma.es/%7Eduran/rewriting_competition/results/.
Read more... )

Tags:

March 25th, 2008

02:24 am: TermWare-2.3.0 release candidate
Выложил на http://groups.google.com/group/termware/
Основные новости в systems/examples/rec
Read more... )

Tags: ,

January 5th, 2008

06:22 pm: Pretty Printing
Чуть не сломал себе моск об @article{Read more... )

Tags: ,

October 26th, 2007

08:12 pm: Еще немного о частичных вычислениях.
Обзорная статья на русском есть в Read more... )

Tags: , , , ,
05:17 pm: Урррррррррр-а, у нас много анонсов:
Частичные вычисления на java стали реальностью: http://www.gradsoft.ua/products/jpe_rus.html
Соотвествующий релиз termware выложен с тьюториалом на английском -- спасибо Тане.

Tags: , ,

August 22nd, 2007

12:59 am: Английская версия учебника
Перевел учебник по TermWare на английский. Если случиться такое чудо Read more... )

Tags:

July 21st, 2007

02:08 pm: JSR223 works !
JSR223 полностью реализован. Можно вот такое:
Read more... )

Current Mood: горд собой
Tags:

July 12th, 2007

01:29 am: это завтрашние результаты вычисления функций уже сегодня.
В комментариях на следующую статью [info]_adept_-а я обещал написать аналог на TermWare если можно будет выделить время. Сейчас мне понадобился небольшой тестовый пример, и пользуясь случаем, выполняю обещания.
Read more... )

Tags: ,

July 5th, 2007

06:06 am: Source code debug of declarative language
Файл examples/xyz.def
Read more... )

Фацл на Java сие использующий .. не важно какой.

jdb -classpath ....
Read more... )

Current Mood: artistic
Current Music: Чалбон
Tags:

June 6th, 2007

09:43 pm: Следуя моде (или на пути к world domination)
Использование в JavaChecker показывает одну из проблем, вследствие которого rule-based программинг "в большом" часто затруднительно. Кстати, проблема почти такая-же как и с логическим: Read more... )

Tags: ,

March 27th, 2007

12:59 pm: Надо подумать
Ленивые вычисление тем хороши, что делают только ту работу, которая необходима. Но они-же могут привести и к комбинаторному взрыву, когда мы что-то пишем два раза в правой части. Работающее решение -- специализированная стратегия, которая редуцирует сходящиеся ветви дегов перед основной редукцией. Очень привлекательным представляется подход основанный на понимании того, что дег - это дег, а не дерево. Но для этого надо уметь отличать куски образцов от рабочих термов в бульйоне.

Tags:

January 25th, 2007

06:05 pm: Логика второго порядка
Понадобилась в чисто утилитарных целях, да так, что без нее никак.
Добавил в язык элементарную операцию со специальным синтаксисом f..($x)
Read more... )

P.P.S. Еще 999 ведер картошки и можно будет неделю отдыхать.. (Карпаты ? скажем, пятница + выходные. )

Current Location: Киев
Tags:
Powered by LiveJournal.com

Advertisement