43: Ivan Perez - podcast episode cover

43: Ivan Perez

Feb 18, 202456 minSeason 1Ep. 43
--:--
--:--
Listen in podcast apps:
Metacast
Spotify
Youtube
RSS

Episode description

In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.

For the best experience, listen in Metacast app for iOS or Android
Open in Metacast
43: Ivan Perez | The Haskell Interlude podcast - Listen or read transcript on Metacast