Выпуск 37 - c Александром Грызловым о магии типов или Software Doundations with Alex Gryzlov

Опубликовано: 2018-01-21

Запись

• 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. В тайтле опечаток нет.

Голоса выпуска: Евгений Токарев, Григорий Помадчин, Ольга Махасоева, Алексей Фомкин, Вадим Челышов, Богоподобный Александр Грызлов