Главное
●
Подкасты и книги
Детям
Активировать промокод
Войти
Подкаст
Scalalaz Podcast
Слушать
133
•
Подписаться
о подкасте
112 выпусков
Подкаст о программировании на языке Scala (16+)
Возрастное ограничение:
18+
Последние выпуски
Смотреть все
Выпуск 110 - 3 кота и фронтенд
15 октября 2022
93:02
Выпуск 109 — Путешествие морем в Скалу
23 февраля 2022
91:29
Выпуск 108 — Next Gen Штаны
14 января 2022
96:03
Выпуск 107 — Новогодний PHP-лаз
19 декабря 2021
65:25
Выпуск 106 - Cats unboxing
28 ноября 2021
68:37
Сначала новые
Порядок проигрывания
Выпуск
Выпуск 37 - c Александром Грызловым о магии типов или Software Doundations with Alex Gryzlov
О выпуске
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
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. В тайтле опечаток нет.
Голоса выпуска:
Евгений Токарев
,
Григорий Помадчин
,
Ольга Махасоева
,
Алексей Фомкин
,
Вадим Челышов
,
Богоподобный Александр Грызлов
Ещё
О выпуске
Лейбл
-
Исполнитель
-
Источник фонограммы
-
Отключить рекламу
Выкл
Вкл