Выпуск 41 - Видео и Monix

Опубликовано: 2018-03-27

• 00:00:05 - java 10
• 00:21:08 - Features I want in an IDE
• 00:30:56 - Scala 2.12.5
• 00:35:31 - Dotty 0.6.0 and 0.7.0-RC1
• 00:50:00 - Monix vs Cats-Effect
• 01:24:56 - CoRecursive w John DeGoes
• 01:25:03 - Monix: Version 3.0.0-RC1
• 01:35:00 - Конференция NE Scala (https://www.nescala.org)

Эксперементальная видео запись доступна на нашем youtube канале

Поддержи подкаст https://www.patreon.com/scalalalaz

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

Выпуск 40

Опубликовано: 2018-03-07

• 00:01:12 - Спасибо патронам
• 00:03:55 - Открыт прием заявок на доклады на Московскую встречу Scala-разработчиков.
• 00:06:05 - Scala meetup Казань
• 00:06:57 - ФП-митап в Бэлвью
• 00:12:19 - main MOOCs are now also available on an Open edX instance managed at EPFL.
• 00:21:36 - scalafmt maven
• 00:36:02 - Towards A Brighter Tooling Future for Scala
• https://scala-lang.org/blog/2018/02/14/tooling.html
• https://github.com/ensime/ensime-server/issues/1918
• 00:42:42 - meta-ticket: Quasiquotes are no longer being improved
• 00:50:07 - Why do people love circe ?
• 01:03:07 - Выложили видяхи с прошлогоднего митапа в Екатеринбурге
• 01:04:10 - Scala Standard XML Library v1.1.0
• 01:07:51 - eff 5.0.0
• 01:08:59 - A lightweight introduction to Recursion Schemes in Scala
• 01:09:40 - A monad for resource acquisition and cleanup
• 01:10:26 - mist
• 01:11:02 - https://github.com/fomkin/sunl

Поддержи подкаст https://www.patreon.com/scalalalaz

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

Выпуск 39 - Исповедь скалана

Опубликовано: 2018-02-18

• 00:39:47 - In Defence of OOFP
• 00:46:41 - SIP35 - Opaque Types
• 00:52:37 - singleton types
• 01:11:24 - Как я полюбил моникс
• 01:43:42 - fantasy-land

Поддержи подкаст https://www.patreon.com/scalalalaz

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

Выпуск 38 - Haskell Yeaah с Алексеем Пироговым

Опубликовано: 2018-02-06

• 00:02:20 - Интервью
• 00:31:43 - Как с ide и редакторами в Haskell?
• 00:50:40 - Coherent тайпклассы
• 01:06:01 - category-extras
• 01:13:00 - билд тулы stack, cabal и сравнение с ситуацией в scala сообществе
• 01:37:05 - используется ли Free повсеместно в haskell?

• 01:50:00 - MTL

  • Наследие Мартина - Type Inference for Parametric Type Classes

Поддержи подкаст https://www.patreon.com/scalalalaz

Полезное:

• Haskell чат для изучающих - https://t.me/haskell_learn
• Общий Haskell чат - https://t.me/haskellru

FP паперы рекомендованные Алексеем для прочтения:

• Applicative programming with effects (McBride)
• Fun with Semirings (Dolan)
• The Zipper (Huet)

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

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

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