News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.