Ha, I didn't expect that people remember Hermetic, I am glad it helped :] Actually I took in a different direction with Hermetic, and now I have a type-infered

Ha, I didn't expect that people remember Hermetic, I am glad it helped :] Actually I took in a different direction with Hermetic, and now I have a type-infered python with a more classical type system and a language-independent code generator, compiling to Go, C# and Ruby. It can translate parts of standard library to equivalents in targets standard libraries, so it's a bit more practical, but I hope I can extend that somehow to Haskell support too: https://github.com/alehander42/pseudo-python https://github.com/alehander42/pseudo-python Your work seems pretty interesting, I'd love to chat sometimes about it