Седмица 13 - Закриваме с няколко монади

SRC - @vamchale

Материал

Днес ще си говорим за 3 полезни монади - любезно откраднати от ТУК!

Картинките в статията са полезни.

• Някой бързо да ми каже какво е монада!

• Монадна абстракция подходяща за водене на логове към функции
  • Writer
  • Позволява ни да емитваме стойности (сайд ефекти), като тези стойности при компизиция се комбинират
  • Как се комбинират?
  • Моноиди са - това им е в природата!
• Монадна абстракция за нещо което зависи от стойност
  • Reader
• Монадна абстракция за стойност в изчислена в контекста на състояние
  • State

Да си ги напишем сами

Пишем пишем пишем и си ходим!

Задачи

• Напишете ф-я hasInfiniteLoop :: String -> Bool, която по стринг репрезентиращ ф-я без аргументи написана на Scheme проверява дали тази ф-я приключва изпълнението си или влиза в безкрайна рекурсия.

P.S.

• Напишете си проектите 😠!
• Успешно взимане на сесията и до нови срещи :*