3 ms·
Also, retaining dynamic types at runtime enables you to find type errors that the static type system could not discover, or that were worked around. Language im
by millstone 9y ago
Also, retaining dynamic types at runtime enables you to find type errors that the static type system could not discover, or that were worked around. Language implementations that discard dynamic types make it harder to find defects.
- thesz 9y agoAlgebraic data types allow you to get any amount of dynamism you would needed. Have you familiarized yourself with Haskell?