November 23rd, 2009

Tags: программизм Time: 10:52 pm

Возник странный вопрос. Допустим, имеем DDL следующего вида (на деле, разумеется, всё несколько сложнее, но не суть в данном аспекте) data Type = Unit | Struct Name | Union Name data StructD = StructD { name:: Name, members :: [(Name, Type)] } data UnionD = UnionD { name:: Name, alts :: [(Name,Type)] } далее, получаем на вход список [Either StructD UnionD],при этом типы могут определяться в терминах друг друга, но предполагаем, что ссылок "наружу" нет. Внимание, вопрос - как проверить, что для любого типа существует хотя бы один член с конечным представлением и при этом гарантированно не попасть в бесконечную рекурсию/цикл ? Интуитивно чувствуется, что нужно переформулировать задачу в термины направленных меченных графов и попытаться сформулировать требование на граф. Но вот... не формулируется. *Ушёл думать*

comments: 13 comments or Leave a comment

November 18th, 2009

Subject: darcs cvs Time: 09:06 pm

Ощущения от первого знакомства сугубо положительные. Простой, как молоток, минимально необходимый функционал есть, ведёт себя весьма прилично. Мануал _ИСЧЕРПЫВАЮЩИЙ_ . Что ещё надо лентяю?

comments: 6 comments or Leave a comment

November 14th, 2009

Tags: Дыбр Subject: Дыбр Time: 09:35 am

Натравил-таки почтовик на мой девственный в плане POP/IMAP аккаунт в gmail. over 9k писем (в буквальном смысле) заставили его громоптицу задуматься. В силу раннего линукса головного мозга автор в глубоком сомнении, что следует пользовать для работы с такими безднами хлама. (который ещё и жалко выкинуть, хотя пользы от него ноль). Мигрирую из вредленты на RSS, в связи с чем возник вопрос: можно ли заставить всосать громоптицу >200 подписок, автоматически применяя некоторый логин/пароль где надо без дурацких вопросов?

comments: Leave a comment

November 13th, 2009

Time: 07:26 am

http://imgs.xkcd.com/comics/fourier.jpg

comments: Leave a comment

November 8th, 2009

Subject: Хаскель ленивость Time: 07:16 pm

( Read more... )

comments: Leave a comment

November 6th, 2009

Tags: Хаскель Subject: Хаскельсрач Time: 10:19 am

http://zabivator.livejournal.com/364173.html Приглашаются все желающие, цель - 2000 комментов (1000 успешно взята)

comments: 2 comments or Leave a comment

October 29th, 2009

Subject: Пеар Time: 07:57 pm

http://zhurnal.lib.ru/s/syromjatnikowa_i/

comments: Leave a comment

October 18th, 2009

Time: 08:26 pm

http://inrussia.org/harmony/ via http://dok-zlo.livejournal.com/470673.html?style=mine#cutid1

comments: 1 comment or Leave a comment

October 16th, 2009

Subject: slowpock films Time: 01:50 am

http://www.youtube.com/watch?v=IVKRkA9Xm8Y

comments: Leave a comment

September 30th, 2009

Subject: Пеар Time: 12:38 pm

http://eclisse.livejournal.com/204573.html?style=mine

comments: 2 comments or Leave a comment

August 9th, 2009

Tags: дыбр Subject: Babylon 5 Time: 08:19 pm

Решил посмотреть с оригинальной озвучкой и английскими сабами. Что-то в первой серии всё понимаю на слух, на сабы смотрю мало. К чему бы это?

comments: Leave a comment

July 23rd, 2009

Subject: Гм. Time: 04:44 pm

Гента+компиз+lxde, декорации окон отключены. Доктор, это лечится?

comments: 4 comments or Leave a comment

July 16th, 2009

Subject: Хаскель. Монады. Везде. Бесит. Time: 11:31 pm

С одной стороны, интересный пакет http://hackage.haskell.org/package/storable-record С другой стороны, какого чёрта там делают всякие ReaderT?

comments: 2 comments or Leave a comment

July 6th, 2009

Subject: hells angels manga Time: 01:43 am

Потрясающий трэшак. вечер потрачен не зря.

comments: Leave a comment

June 24th, 2009

Subject: Мудаки в метро Time: 10:45 pm

http://mapm.livejournal.com/200851.html

comments: 1 comment or Leave a comment

June 14th, 2009

Subject: java Time: 01:58 pm

( я не понял )

comments: Leave a comment

May 17th, 2009

Tags: Хаскель Subject: Только массовые расстрелы спасут этот глобус. Time: 10:13 pm Current Mood: angry

( НЕНАВИСТЬ )

comments: 3 comments or Leave a comment

May 4th, 2009

Subject: Haskell. Прекрасное Time: 02:43 am

(Monad m, Monad ((->) a)) => (a -> Maybe t) -> (t -> a -> m a) -> a -> m a оно, конечно, результат ляпа в написании функции, но как понимать такую сигнатуру типа? (я про Monad ((->) a ) )

comments: 7 comments or Leave a comment

April 22nd, 2009

Subject: Прекрасное Time: 09:57 am

Я знаю уже двух человек, которые захотели себе в десктоп райд на ssd. Мая в шоке.

comments: 1 comment or Leave a comment

February 9th, 2009

Subject: Чудесное Time: 10:46 am

"Ну что, Джингл, будем ампутировать голову, чтоб шизофрения не развивалась?" (c) один форум.

comments: Leave a comment