Хабрахабр: Метки / fp http://habrahabr.ru/rss/tag/fp/ ru editor@habrahabr.ru habrahabr.ru Fri, 10 Feb 2012 23:15:13 GMT http://habrahabr.ru/ http://habrahabr.ru/i/logo.gif Хабрахабр <![CDATA[Программирование / [Перевод] Монады с точки зрения теории категорий]]> http://habrahabr.ru/blogs/programming/125782/ http://habrahabr.ru/blogs/programming/125782/ Введение

Кажется, монады в программировании стали загадкой века. И для этого есть две причины:
  • недостаточное знание теории категорий;
  • многие авторы стараюстся не упоминать категории вообще.


Это как говорить об электричестве не используя мат. анализ. Достаточно для замены предохранителя, не хватит, чтобы спроектировать усилитель.

Мы начнём с простого введения в категории и функторы, затем дадим определение монады, приведём простые примеры монад в категориях и в конце приведём монадическую терминологию используемую в языках программирования.

Я уверен, что монады с точки зрения категорий почти элементарны.

Содержание



  1. Категория
  2. Функтор
  3. Естественное преобразование
  4. Монада
  5. Монады исключения и состояния
  6. Монады в программировании
  7. Ссылки


Читать дальше →
]]> Sat, 06 Aug 2011 21:07:17 GMT sylvio монадытеория категорийфункциональное программированиеfphaskellликбез <![CDATA[Алгоритмы / [Перевод] Просто о Хиндли-Милнере]]> http://habrahabr.ru/blogs/algorithm/125250/ http://habrahabr.ru/blogs/algorithm/125250/ Введение
Robert MilnerЕсли вы когда-нибудь интересовались не слишком популярными языками, то должно быть слышали о «Хиндли-Милнере». Этот алгоритм вывода типов используются в F# и Haskell и OCaml, как и в их предшественнике ML. Некоторые исследователи даже пытаются использовать ХМ для оптимизации динамических языков вроде Ruby, JavaScript и Clojure.

И не смотря на его распространенность, до сих пор не было простого и понятного объяснения, что же это такое. Как же эта магия работает? Всегда ли выводимые типы будут верными? Или чем Хиндли-Милнер лучше, скажем, Java? И пока те, кто действительно знает что такое ХМ будут восстанавливаться от очередного умственного перенапряжения, мы попробуем разобраться в этом сами.
Читать дальше →
]]> Fri, 29 Jul 2011 19:42:10 GMT sylvio хиндли-милнертипизациясистемы типовhindley-milnertypesystemscalahaskellfpликбез <![CDATA[Python / [Перевод] Откуда идут «функциональные» корни Python]]> http://habrahabr.ru/blogs/python/111756/ http://habrahabr.ru/blogs/python/111756/
Читать дальше →
]]> Wed, 12 Jan 2011 18:08:57 GMT cursed pythonfp <![CDATA[Ненормальное программирование / Three Futamura Projections и не только]]> http://habrahabr.ru/blogs/crazydev/47418/ http://habrahabr.ru/blogs/crazydev/47418/  
 

1. Сразу к коду


-- функция, которая возводит x в степень y (неотрицательную)
power x y =
    case y of
        0 → 1
        1 → x
        _ → x * (power x (y - 1))


Читать дальше →
]]> Sat, 20 Dec 2008 22:09:25 GMT alex_blank computationpartial evaluationfutamurasupercompilationrefalsuperohaskellfpprolog