Re:Idris: A Language for Type-Driven Development
by mejutoco on Saturday January 21, 2023 @12:24PM
(#34468056)
Typeguard checks at runtime. Mypy and pyright check at "lint time". They do static analysis of the code without running it.
[ Parent
| on HN ]
There are no comments on this comment yet.