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

[Henning Thielemann]

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.