Dynamic: Difference between revisions
No edit summary |
(+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.