this post was submitted on 18 Feb 2024
4 points (100.0% liked)

Haskell

65 readers
3 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 1 year ago
4
Haskell Interlude 43: Ivan Perez (haskell.foundation)
submitted 7 months ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

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.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here