Re: [Haskell-cafe] C++ Haskell interpreter with GADTs + Type Families + Rank-n types

On Thu, 19 Jan 2023, Benjamin Redelings wrote:

I don't want to oversell this, but in case anyone is interested, I've been working on a Haskell interpreter that is written in C++.  This isn't intended to compete with GHC.  It doesn't generate machine code, and it is not fast.

How does it compare to Hugs? Ok, Hugs does not support type families, only functional dependencies.