Выпуск 8

let author   = "Бананы и Линзы"
    date     = fromGregorian 2015 oct 09
    category = "Подкаст"
    tags     = ["Monad-no-return", "Generics.SOP", "NonEmpty", "Semigroup", "классы типов"]

Приветствуем, друзья!

Ведущие восьмого выпуска:

Рома, он же Роман Чепляка.
Денис, он же Денис Редозубов.
Шевченко, он же Денис Шевченко.

О чём беседуем на этот раз:

Стартапы, использующие Haskell.
Развитие Monad-no-return proposal: дискуссия и острый твит от Johan Tibell.
Семигруппы и NonEmpty вмерджили в base.
Generics.SOP puzzle.
Что такое тайпклассы и почему это не интерфейсы/traits/имплиситы:
- доклад Эдварда Кметта;
- Type classes: confluence, coherence and global uniqueness;
- Class-based approach and IncoherentInstances.