New posts in static-typing

Are there any statically typed, embeddable scripting languages? [closed]

Disadvantages of Scala type system versus Haskell?

Python equivalent of Typescript interface

Why isn't there an endianness modifier in C++ like there is for signedness?

Why is C# statically typed?

Proper type annotation of Python functions with yield

Python 3 and static typing

Tools for static type checking in Python

Get rid of type assertion when checking if value is part of union

Is a statically-typed full Lisp variant possible?

TypeScript: problems with type system

Is there a Haskell idiom for updating a nested data structure?

What is the purpose of type ascriptions in Scala?

Does Java casting introduce overhead? Why?

Static/Dynamic vs Strong/Weak

What is the difference between a strongly typed language and a statically typed language?

Interface vs Base class

What is the difference between statically typed and dynamically typed languages?