Skip to main content
Top level navigation menu
Metaist
Posts
Tags
5 posts tagged “typed”
2025-05-16
TIL: invariant, covariant, and contravariant type variables
I avoided learning this for so long.
2025-05-16
Trying pyrefly, Meta's type checker
I guess I like trying type checkers.
2025-05-07
Trying ty, Astral's type checker
It's not done, but very fast.
2025-04-29
Class-based docopt usage strings
I keep wanting to make this, but now I'm not sure it's a good idea.
2023-11-30
Access type hints in python
Spoiler: typing.get_type_hints() does the trick.