deni_ok

конфлюэнтность это ...

deni_ok Feb 22, 2015 15:23

Я осознал, как правильно перевести конфлюэнтность на русский язык. Конфлюэнтность это соборность.

православие-самодержавие-народность, так победим

TWIMC

deni_ok Feb 10, 2015 22:05

Plan Foldable или Plan List?

Originally posted by jeytim at Война: пособие для начинающих
Хорошую вещь альтруизм придумали не мы. Даже не мы придумали связать его с плохой вещью войной. Но именно мы довели эту связку любви к своим и ненависти к чужим до абсолюта. А дойдя до любого абсолюта, следует или просветлиться, или, пожав плечами, идти назад. В нашем случае, в пещеры.

Click to view

Наш ( Read more... )

Куда прячется ленивость и как ее оттуда достать?

deni_ok Oct 31, 2014 20:16

Мы привыкли, что правая свертка (foldr) хорошо заточена для работы с бесконечными списками:

> let mapPlusPi = foldr (\x xs -> (x+pi):xs) []
> head $ mapPlusPi [1..]
4.141592653589793
К сожалению, иногда возникают неприятности. Вот функция, которая берет список и выкидывает из него элементы стоящие на нечетных местах:

> let evenOnly = snd . foldr ( Read more... )

fprog, haskell, сборник задач и упражнений по Хаскелю, fp

Исполнилось сто лет со дня рождения Мартина Гарднера

deni_ok Oct 22, 2014 07:18

Originally posted by vadim_i_z at Исполнилось сто лет со дня рождения Мартина Гарднера

( Read more... )

Простые задачки на Карри-Говарда

deni_ok Oct 05, 2014 09:23

Доказать, используя Хаскель, что следующие тавтологии верны интуиционистски
(a -> c) /\ (b -> c) -> a \/ b -> c (a \/ b -> c) -> (a -> c) /\ (b -> c) (Понятно, что конъюнкция - это пара, а дизъюнкция - Either.)

UPD. Стоит напомнить, что изоморфизм Карри-Говарда имеет место между интуиционистской версией пропозициональной логики и подмножеством ( Read more... )

сборник задач и упражнений по матлогике, сборник задач и упражнений по Хаскелю

Флешмоб: 10 книг

deni_ok Sep 18, 2014 19:32

Идиот
Дар
Колыбель для кошки
Петербург
Процесс
62. Модель для сборки
Солярис
Улитка на склоне
Петербургские повести
Чапаев и Пустота

флешмоб

Параллельное и конкурентное программирование на языке Haskell

deni_ok May 23, 2014 15:44

Заказал на Озоне книжку Саймона Марлоу "Параллельное и конкурентное программирование на языке Haskell", переведенную уважаемым Виталием Брагилевским. Для рачительных и экономных сообщаю, что покупка на сайте издательства ДМК Пресс обойдется несколько дешевле.

Вот отзыв замечательного Романа Чепляки, правда на английскую версию.

fprog, пиар, haskell, fp

Тонкости точной семантики сопоставления с образцом

deni_ok Apr 15, 2014 09:23

Хорошая хотя и простая задачка возникла в процессе проверки домашних заданий. Чем отличается поведение следующих двух функций, и в чем причина такого отличия:

diff xs = do
p <- zip xs (tail xs)
return $ abs (fst p - snd p)

diff' xs = do
p <- zip (tail xs) xs
return $ abs (fst p - snd p)

fprog, haskell, сборник задач и упражнений по Хаскелю, fp

О подлинных врагах Псковской области

deni_ok Mar 28, 2014 16:22

Originally posted by lev_shlosberg at О подлинных врагах Псковской области
Выступление при открытии сессии Псковского областного Собрания депутатов 27 марта 2014 года

Уважаемые коллеги ( Read more... )

repost