https://github.com/LAC-Tech/new-wave/blob/master/type.ml https://github.com/LAC-Tech/new-wave/blob/master/type.ml Looks like my last attempt failed when I got

https://github.com/LAC-Tech/new-wave/blob/master/type.ml https://github.com/LAC-Tech/new-wave/blob/master/type.ml Looks like my last attempt failed when I got bogged down prototyping a type system in Ocaml then trying to port that to Zig. So in my case - it's not because I use them and they suck, it's because I find stuff like implementing type systems and GC very hard, and usually more practical things start wanting my attention more.