Tag: functional programming

Episode 411: Aaron Vonderhaar on Elm

Filed in Episodes by on May 28, 2020 0 Comments
Episode 411: Aaron Vonderhaar on Elm

Aaron Vonderhaar, maintainer and open source contributor to the Elm programming language, talks with host Adam Conrad about the Elm language, its foundations, features, and applications in the front end web development ecosystem.  The discussion covers the basics of the language; use cases for Elm; comparisons with JavaScript and JavaScript interoperability; performance, security, and testing […]

Continue Reading »

Episode 375: Gabriel Gonzalez on Configuration

Filed in Episodes by on August 7, 2019 0 Comments
Episode 375: Gabriel Gonzalez on Configuration

Gabriel Gonzalez, the creator of Dhall, the non-repetitive alternative to YAML on why configuration is important and how we can make it better. Adam Gordon Bell spoke Gonzalez about Dhall, yaml, total functional programming and dealing with configuration at scale.  Topics covered include problems dealing with configuration in a large organization, removing duplication from configuration, […]

Continue Reading »

SE-Radio 336: Saša Jurić on Elixir

Filed in Episodes by on August 28, 2018 1 Comment
SE-Radio 336: Saša Jurić on Elixir

Saša Jurić, author of Elixir in Action, talks about the Elixir programming language, language gaining in popularity. Topics include: Host Nate Black talks with Juric about: Elixir’s relationship to the Erlang virtual machine (BEAM); the advantages of the Erlang ecosystem; the “sweet spot” for Elixir programs; why a new language was needed for the Erlang […]

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 »

SE-Radio Episode 269: Phillip Carter on F#

Filed in Episodes by on September 27, 2016 2 Comments
SE-Radio Episode 269: Phillip Carter on F#

Eberhard Wolff talks with Phillip Carter about F#.  A multi-paradigm programming language that supports object-oriented, imperative, and functional programming, F# can be used for a broad variety of applications. It’s an especially good fit for parallel programming and DSLs. Type interference allows F# code to be type safe even if no types are declared in […]

Continue Reading »