4 ms·

I love hy ! Actually I've done a prototype of a lisp compiling to python bytecode, so that's why when I found hy, I was pretty excited about it. https://githu

• eric_bullington 11y ago
  Hey, you're the guy you did hermetic! Looking at your project, along with Smallshire's Hindley-Milner blog post, have been a big help to me as I use Python to build a compiler/interpreter for an ML. I was just planning to make a mini-ML to prepare for a larger project that requires type inference, but it's getting a bit addictive so I might just finish it off to match (most of) the Standard ML spec. Anyway, well done on hermetic. It's a great start to my ideal Python, and where I'd like to see it move for 4.0 (although it will never happen).
  • alehander42 11y ago
    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
    • eric_bullington 11y ago
      > Your work seems pretty interesting, I'd love to chat sometimes about it Your work does, too. Yes, we should talk. My email's in my HN profile.