The Haskell Interlude

43: Ivan Perez

February 18, 2024 Season 1 Episode 43
43: Ivan Perez
The Haskell Interlude
More Info
The Haskell Interlude
43: Ivan Perez
Feb 18, 2024 Season 1 Episode 43

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.

Show Notes

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.