Static Typing
=============
```Example from 1 languages: Python
# Optional, checkable using external type checkers like Mypy or Pyright
def print_repeated(text: str, repetitions: int) -> None:
print("\n".join([text]*repetitions))
print_repeated("Hello!", 10)
print_repeated("This won't typecheck...", "not an integer")
```
```Example from 1 languages: Speedie
|| x = "Hello"
x = 1 // fails to compile... because x is a string
```
*
Languages *with* Static Typing include C, Python, Java, C++, TypeScript, Rust, Scala, Kotlin, Haskell, Nim, Haxe, Chapel, OCaml, carp, Ceylon, progsbase, Xtend, Jule, Speedie, SISAL
*
Languages *without* Static Typing include JavaScript, Bash
*
View all concepts with or missing a *hasStaticTyping* measurement
http://pldb.info/../lists/explorer.html#columns=rank~id~appeared~tags~creators~hasStaticTyping&searchBuilder=%7B%22criteria%22%3A%5B%7B%22condition%22%3A%22null%22%2C%22data%22%3A%22hasStaticTyping%22%2C%22origData%22%3A%22hasStaticTyping%22%2C%22type%22%3A%22num%22%2C%22value%22%3A%5B%5D%7D%5D%2C%22logic%22%3A%22AND%22%7D missing
http://pldb.info/../lists/explorer.html#columns=rank~id~appeared~tags~creators~hasStaticTyping&searchBuilder=%7B%22criteria%22%3A%5B%7B%22condition%22%3A%22!null%22%2C%22data%22%3A%22hasStaticTyping%22%2C%22origData%22%3A%22hasStaticTyping%22%2C%22type%22%3A%22num%22%2C%22value%22%3A%5B%5D%7D%5D%2C%22logic%22%3A%22AND%22%7D with
*
Read more about Static Typing on the web: 1.
https://en.wikipedia.org/wiki/Type_system#Static_type_checking 1.
Built with Scroll v178.2.3