Top "Static-typing" questions

A programming language is said to use static typing when type checking is performed during compile-time as opposed to run-time.

Closure with typed arguments in Groovy

I'd like to be more explicit about my closures regarding their argument types. So I would write something like List&…

groovy closures static-typing groovy++
Proper type annotation of Python functions with yield

After reading Eli Bendersky's article on implementing state machines via Python coroutines I wanted to... see his example run under …

python generator coroutine static-typing mypy
How to force static typing in python

Since static typing is available in Python 3.6, is it possible to force static typing for a python project or set …

python python-3.6 typing static-typing
Is there a Haskell idiom for updating a nested data structure?

Let's say I have the following data model, for keeping track of the stats of baseball players, teams, and coaches: …

haskell functional-programming clojure static-typing
Disadvantages of Scala type system versus Haskell?

I have read that Scala's type system is weakened by Java interoperability and therefore cannot perform some of the same …

scala haskell type-systems static-typing language-comparisons