Scalalaz Podcast

00:00:30 - Интро про Александра, типы, химия, лиспы, идрисы Software Foundations (1) Software Foundations (2) Type driven development with Idris Linear Algebra via Exterior Products Блог Виницкого 00:51:18 - Chymyst & CyrryHoward https://github.com/Chymyst/curryhoward https://github.com/Chymyst 00:51:29 - Dotty - Functional Typelevel Programming Ссылочка на MD док 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. В тайтле опечаток нет. Голоса выпуска: Евгений Тока