Hi Oliver,

Does anyone know if there are any papers available on how the Yhc .NET back end works? Nope, none yet (and not sure there ever will be).

I've looked briefly at the codegen and output and as far as I can make out it is performing complete type erasure and converting everything to (effectively) typeless closures. The back end of Yhc is entirely typeless, so that is almost certainly happening. I don't know many details beyond that...

Thanks Neil