Re:Idris: A Language for Type-Driven Development
by shpongled on Friday January 20, 2023 @05:17PM
(#34460852)
I still use python type hints (and TypeScript) - and while they have benefits, I find that they fall short of something like Rust, Haskell, etc (because they are just that - hints). I don't have the surety that the types as annotated are the same as the types at runtime.
[ Parent
| on HN ]
Re:Idris: A Language for Type-Driven Development
by mejutoco on Saturday January 21, 2023 @12:22PM
(#34468037)
Just to make it clear. If you use typeguard @typechecked annotations snd the type hint does not match reality at runtime it will blow up with an error telling you.
The same, but at "lint time" (not runtime) will happen with mypy or pyright, although I am sure there are rough edges.