Выпуск 37 - c Александром Грызловым о магии типов или Software Doundations with Alex Gryzlov
Scalalaz Podcast
Russian - January 21, 2018 00:00 - 130 MB - ★★★★★ - 3 ratingsTechnology Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Выпуск 36 - c Глебом Кантеровым о Scala в bigdata
Next Episode: Выпуск 38 - Haskell Yeaah с Алексеем Пироговым
00:00:30 - Интро про Александра, типы, химия, лиспы, идрисы
Software Foundations (2)
Type driven development with Idris
Linear Algebra via Exterior Products
Блог Виницкого
00:51:18 - Chymyst & CyrryHoward
https://github.com/Chymyst
00:51:29 - Dotty - Functional Typelevel Programming
https://github.com/lampepfl/dotty/pull/3844
01:00:34 - Build Tools as Pure Functional Programs
01:07:12 - Functional Programming with Runar Bjarnason - CoRecursive Podcast
01:09:47 - Lightbend Scala Kafka streams
01:11:16 - Scalatest Embedded Kafka
01:11:37 - Королев 0.7 с Мониксом и кучей багфиксов
01:17:23 - An empirical study on the correctness of formally verified distributed systems
... и до конца о типах. И подписывайтесь на канал Александра Зависимые типы в массы!
- Много зависимых типов и серьезных разговоров о прекрасном.
Поддержи подкаст https://www.patreon.com/scalalalaz
P.S. В тайтле опечаток нет.
Голоса выпуска: Евгений Токарев, Григорий Помадчин,
Ольга Махасоева, Алексей Фомкин, Вадим Челышов,
Богоподобный Александр Грызлов