Tag: functional programming

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

Filed in Episodes by on August 28, 2018 0 Comments
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 0 Comments
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 »

SE-Radio Episode 257: Michael Nygard on Clojure in Practice

Filed in Episodes by on May 17, 2016 3 Comments
SE-Radio Episode 257: Michael Nygard on Clojure in Practice

Michael Nygard of “Release It!” fame talks with Stefan Tilkov about his experience using the Clojure programming language. Topics include the tool chain and development process, the Clojure learning curve, and on-boarding new developers. Michael explains the similarities and differences compared to typical OO languages when implementing domain logic, and uses both game development and […]

Continue Reading »

Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language

Filed in Episodes by on May 30, 2014 4 Comments
Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language

Robert talks to Dr. Anil Madhavapeddy of the Cambridge University (UK) Systems research group about the OCaml language and the Mirage cloud operating system, a microkernel written entirely in OCaml. The outline includes: history of the evolution from dedicated servers running a monolithic operating system to virutalized servers based on the Xen hypervisor to micro-kernels; […]

Continue Reading »