| Next | Atypical Types | 16 |
Dynamic type checking
Values, not expressions, are tagged with types
Operations generate type errors at run time
(+ 1 2)
3
(+ 1 2.0)
3.0
(+ 1 "eels")
Error in +: "eels" is not a number.
| Next | |
Copyright © 1999,2008 Mark Dominus |