Хаскелл. Монады. Монады-Трансформеры. Тип Игры

Еще одно введение в монады для начинающих.

Лучший способ понять монады — начать их использовать.

Вам нужно забыть о монадических законах, теории категорий и просто начать писать код. Написание кода на Haskell похоже на игру, в которой вам нужно преобразовать объекты в нужный тип.

Поэтому сначала вам нужно понять правила этой игры.

При написании кода вы должны четко понимать, к какому типу относится каждый конкретный фрагмент кода.

С обычными функциями все понятно.

Если есть функция типа «а-> b», то подставив в нее аргумент типа «а», вы получите результат типа «б».

С монадами все не так очевидно.

Ниже под катом подробно описано, как работать с do-конструкцией, как происходит последовательное преобразование типов и зачем нужны монадные преобразователи.

1. Заниматься строительством Начнем с простого примера.

   

 main = do 
 

   

• Онлайн-Кинотеатры Заработали На Рекламе Более 5 Миллиардов Рублей В 2015 Году

  19 Oct, 24

• Платежные Инструменты От Каменного Века До Наших Дней: Какими Они Были И Какими Станут

  19 Oct, 24

• Как Технологии Быстрого Развития Могут Стать Источником Неприятных Уязвимостей

  19 Oct, 24

• Как Мы Освоили Вакуумное Магнетронное Напыление Пленок

  19 Oct, 24

• Dry И Цена Неправильных Абстракций

  19 Oct, 24

• Моменты Из Жизни Стивена Вольфрама — Создателя Mathematica, Wolfram|Alpha, A New Kind Of Science И Многого Другого.

  19 Oct, 24

• Виртуальное Государство

  19 Oct, 24

• Прибыльный Open Source – Правильно Ли?

  19 Oct, 24

• Aaml: Самый Простой Язык Разметки Для Android.

  19 Oct, 24

• Компания Тензор Объявила Конкурс По Программированию, Призом От Них Является Стипендия На Весь Учебный Год.

  19 Oct, 24