Haskell for Beginners: Special Topic - Domain Specific Languages and GADTs


Details
In this special topic, we'll explore how to use Haskell for implementing domain specific languages (DSLs) and how to use GADTs to help us write better software.
We'll implement two DSLs: first, a simple calculator language, and then a basic templating language.
We'll look at how GADTs let us use type parameters to constrain types so that we can write programs with fewer bugs by having rich types.
------
# About Queerious Labs
Queerious Labs is an experimental art and technology creative space and community workshop located in San Francisco's SoMa district. We're queers, women, feminists, people of color, trans folx — basically a collection of social outcasts — looking for new ways of organizing social situations in technically and artistically constructive contexts.
Please donate so that Queerious Labs can stay open and continue to host cool events like this: https://queeriouslabs.com/donate/
We also have a Code of Conduct, which you can find on the homepage: https://queeriouslabs.com/#coc

Haskell for Beginners: Special Topic - Domain Specific Languages and GADTs