Haskell at Holland and Hart

Robert Peszek will talk about how Haskell is used in Holland and Hart.

We have moved from Haskell only development to Python + Haskell.
We ended up creating a statically checked programming language partially extending GraphQL (called Juvo). Juvo was created by my former boss Jason Adaska. Juvo is used for:

• defining types for JSON
• defining, combining/manipulating HTTP microservice/serverless endpoints
• creating UI
• 2-way binding between Data and UI
• Python code generation
• logic solver to automatically populate data
• golden testing
• novel type based dependency injection
• ORM

We also maintain several microservices in Haskell taking advantage of Haskelly things like effect systems, decent streaming libraries, etc.

This talk will be more about what we are trying to accomplish and why Haskell is a good fit for us. But I intend to show some code as well.