I worked on creating a HDL as a DSL in Haskell as my undergraduate project: https://github.com/aninhumer/mantle https://github.com/aninhumer/mantle I haven't t

I worked on creating a HDL as a DSL in Haskell as my undergraduate project: https://github.com/aninhumer/mantle https://github.com/aninhumer/mantle I haven't touched the code since I graduated last year, and I've had various ideas about how I should restructure it since then. The most interesting part of the project is probably the implementation of guarded channels, which turned out to admit useful Functor and Applicative instances. I hope to start as a PhD student next year working on a new version of the language taking into account what I've learned since then. Most notably, GHC's recursive do-notation sounds like it will be incredibly useful for creating the kind of monadic cyclic graph structures needed for hardware.