News for hackers. Stuff that matters.

A comment on Idris: A Language for Type-Driven Development. Parent comment

Re:Idris: A Language for Type-Driven Development by still_grokking on Saturday January 21, 2023 @02:36AM (#34464651)
Checking types at runtime is dynamic typing. It's equal to writing something like `if (typeOf(someValue) == "someRuntimeType") {…}`.

This misses all the advantages of static types.

[ Parent | on HN ]
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 ]