Lecture overview -- Keyboard shortcut: 'u'  Previous page: Types -- Keyboard shortcut: 'p'  Next page: Lists [Section] -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Introduction to Functional Programming in Scheme - slide 10 : 49

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