Difference between revisions of "Dynamic"
Jump to navigation
Jump to search
(+cat) |
|||
| Line 2: | Line 2: | ||
{{stub}} |
{{stub}} |
||
| + | |||
| + | [[Category:Glossary]] |
||
Latest revision as of 10:08, 13 January 2007
Dynamic types allow for checking types and converting between types at run-time in a type-safe way. This is in particular useful for existential types. See the module Data.Dynamic.
This article is a stub. You can help by expanding it.