Вы читаете nponeccop

Дважды мудак [entries|archive|friends|userinfo]
Декларативное рулит

Site Meter

[ website | Мой сайт ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Открыл для себя offroad vehicles [сент. 19, 2014|16:08 pm]
СсылкаОставить комментарий

Флешмоб 10 книг [сент. 19, 2014|14:50 pm]
Я не читатель, так что чистого худла 2 штуки всего вспомнил.

Белая книга по 5 паскалю с синтаксическими диаграммами
Виленкин. Рассказы о множествах
Буч. Объектно-ориентированный дизайн и проектирование
Йордон. Путь камикадзе / Death March
Aбэ. Человек-ящик
Фаулз. Коллекционер
Functional Programming and Parallel Graph Rewriting
Библия
Антология Кастанеды
Лебон. Психология народов и масс
СсылкаОставить комментарий

Забыл как программировать [сент. 9, 2014|16:38 pm]
Есть набор интервалов (Ord a, Eq a) => [(a, a)] в котором никакие два интервала не пересекаются.

Как из двух наборов слепить один?

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

Upd: Cпасибо Антиламеру за наше счастливое детство: http://lpaste.net/110843
Ссылка29 комментариев|Оставить комментарий

Тип Maybe a -> a как теорема [сент. 8, 2014|16:24 pm]
Жопа мне подсказывает, что эта теорема недоказуема в непротиворечивой логике, т.е. если бы в х-е была правильная система типов (соответствующая непротиворечивой логике через Curry-Howard correspondence), тип был бы не населён.

Доказательство распадается на две ветки:

1) a -> a (тавтология, доказывается id x = x)
2) () -> a (позволяет конструировать значения пустого типа, т.е. доказывать ложь, чего в консистентной логике быть не может)

Я к тому клоню, что в хаскеле дебильная система типов. В нормальной тип head :: [a] -> a не населён, т.е. head вообще не написать никак!
Ссылка25 комментариев|Оставить комментарий

Функциональный новояз [сент. 8, 2014|11:08 am]
"тоталитарные функции это всего лишь частный случай партийных"

Контекст и источник не публикую, так как они нерелевантны. В словах "тоталитарные" и "партийные" смешная игра слов.
Ссылка6 комментариев|Оставить комментарий

navigation
[ viewing | most recent entries ]
[ go | earlier ]