Tag: static types

Episode 425: Paul Smith on The Crystal Programming Language and the Lucky Web Framework

Filed in Episodes by on September 9, 2020 0 Comments
Episode 425: Paul Smith on The Crystal Programming Language and the Lucky Web Framework

Paul Smith of GitHub discusses the crystal programming language and the lucky web framework with Jeremy Jung. They cover the tradeoffs of object oriented vs functional programming; creating and debugging macros; detecting nulls; building a web framework with strict compile time guarantees; conversational elm-like error messages; the benefits of fast rendering times; writing templates with […]

Continue Reading »

SE-Radio Episode 296: Type Driven Development with Edwin Brady

Filed in Episodes by on July 11, 2017 1 Comment
SE-Radio Episode 296: Type Driven Development with Edwin Brady

Edwin Brady speaks to Matthew Farwell about Type Driven Development and the Idris Programming language. The show covers: what a type is; static vs dynamic types in programming languages; dependent types; the Idris programming language; why Idris was created. Type safe printf modelling state in Idris modelling protocols in Idris modelling concurrency in Idris type driven development and how it changes the development process. Related […]

Continue Reading »