Scalalaz Podcast

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

Listen Later

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


    Голоса выпуска: Евгений Токарев, Григорий Помадчин,

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

    ...more
    View all episodesView all episodes
    Download on the App Store
    Scalalaz PodcastBy Scalalaz Podcast
    • 5
    • 5
    • 5
    • 5
    • 5

    5

    3 ratings