Conversation

A hardware description language using OCaml effects: A hardware description language using OCaml effects

This is an idea proposed in 2025 as a Cambridge Computer Science Part III or MPhil project, and is available for being worked on. It may be co-supervised with KC Sivaramakrishnan and Andy Ray.

Programming FPGAs using functional programming languages is a very good fit for
the problem domain. OCaml has the HardCaml ecosystem to
express… https://anil.recoil.org/ideas/tracing-hdl-with-effects?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet