News for hackers. Stuff that matters.

A comment on Show HN: A Python with Hindley-Milner-like type annotations, compiling to C.

Re:Show HN: A Python with Hindley-Milner-like type annotatio... by bkeroack on Friday June 26, 2015 @09:14AM (#9784040)
The value-add here is that it compiles to C and therefore the type enforcement is done at compile time. If you are OK with interpreted Python and runtime checking you can use https://github.com/prechelt/typecheck-decorator/
[ Parent | on HN ]
Re:Show HN: A Python with Hindley-Milner-like type annotatio... by alehander42 on Friday June 26, 2015 @09:23AM (#9784092)
That looks cool! It's pretty different though, it's more like a "design by contract" tool. I have a similar one, more Python2 style dsl (it supports also function overloading through a kind of pattern matching) https://github.com/alehander42/py-matchete
[ Parent | on HN ]