Tag: static types
Episode 486: Bob Nystrom on Dart
Bob Nystrom, author of Crafting Interpreters and a software engineer at Google working on the Dart programming language, discusses the key features of Dart that make it an excellent choice for fast apps on any platform. Host Gavin Henry spoke with Nystrom about Dart’s history, hardware out of your control, async-await, concurrency, mobile platforms, threads, […]
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 […]
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 […]
