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 typingThe pragmatic side of statically typed functional programmingThe basics of ZioEffect SystemsHeadline-oriented programmingEpisode links:Lachezar's personal websiteLachezar's Zio presentationZioZiverge on YouTubeZionomiconScala Times
--------
1:26:39
#1 Sergei Winitzki
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 ProgrammingProgramming in System F⍵Alan Kay - Is it really "Complex"? Or did we just make it "Complicated"?Beautiful RacketThe Dhall Configuration LanguageScall - A Dhall implementation in ScalaDhall implementation guideIntro Music: Lofi Rnb Music by SigmaMusicArt