43: Ivan Perez

18/02/2024 56 min Temporada 1 Episodio 43
43: Ivan Perez

Listen "43: Ivan Perez"

Episode Synopsis

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.