|
|
Typing and Typecheck |
On this page we will provide a possible overview of different kinds of typing and typecheck There is no overall and univeral agreement on the definitions of weak/strong/static/dynamic typing |
|
|
|
Scheme is (relatively) strongly and dynamically typed |