Afleveringen
-
In this episode we do a deep-dive into Scala and Zio with Lachezar Yankov! We talk about how a strong type system can help productivity, what the Zio ecosystem has to offer, and much more...
The appeal of static typing
The pragmatic side of statically typed functional programming
The basics of Zio
Effect Systems
Headline-oriented programming
Episode links:
Lachezar's personal website
Lachezar's Zio presentationâ
Zio
Ziverge on YouTube
Zionomicon
Scala Times
-
Sergei Winitzki is a functional programming aficinado with a background in theoretical physics. We get into a whole bunch of topics, including:
What makes a good programming language?
Why the future of programming is declarative.
How to design a programming language.
Dhall and System F Omega.
Why recursion is more dangerous than you might think.
Episode links:
The Science of Functional Programming
Programming in System Fâ”
â Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?â
Beautiful Racket
The Dhall Configuration Language
Scall - A Dhall implementation in Scala
Dhall implementation guide
Intro Music: Lofi Rnb Music by SigmaMusicArt
-
Zijn er afleveringen die ontbreken?
