Dmitry Antonyuk (lomeo) wrote,
Dmitry Antonyuk
lomeo

Category:

Давно я ничего не писал, поэтому напишу хоть что нибудь.

Одной из поразивших меня вещей в ФП был Curry-Howard изоморфизм.
Tags: здорово, программирование, типы
Subscribe

  • Monad transformers

    juan_gandhi: Вот этот факт, некоммутирование монад, по-моему, является одной из причин, почему программирование не является тривиальным…

  • Поиск в ширину

    Клёвая реализация сабжа от antilamer: data Tree a = Nil | Branch (Tree a) a (Tree a) bfs t = [x | Branch _ x _ <- b] where b = t:[x…

  • Laby

    Мой сын второй день пишет на тикле. Приятно наблюдать, как написав кусок программы, Стёпка её дебажит, а потом поднаторев, пишет уже достаточно…

  • Post a new comment

    Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 68 comments

  • Monad transformers

    juan_gandhi: Вот этот факт, некоммутирование монад, по-моему, является одной из причин, почему программирование не является тривиальным…

  • Поиск в ширину

    Клёвая реализация сабжа от antilamer: data Tree a = Nil | Branch (Tree a) a (Tree a) bfs t = [x | Branch _ x _ <- b] where b = t:[x…

  • Laby

    Мой сын второй день пишет на тикле. Приятно наблюдать, как написав кусок программы, Стёпка её дебажит, а потом поднаторев, пишет уже достаточно…