New posts in Static Typing

Requiring type declaration in Julia

How to implement an interface in a way that is compatible with static type checks?

What's the meaning of "identity" in the definition of value categories in C++

inspect.signature with PEP 563

Python equivalent of Typescript interface

How to force static typing in python

Proper type annotation of Python functions with yield

Explicitly typed version of Python?

TypeScript: problems with type system

Are there any statically-typed functional languages?