undefined | Better HN

0 pointsmillstone8y ago0 comments

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.

0 comments

thesz8y ago

Algebraic data types allow you to get any amount of dynamism you would needed.

Have you familiarized yourself with Haskell?

j / k navigate · click thread line to collapse

0 pointsmillstone8y ago0 comments

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.

0 comments

thesz8y ago

Algebraic data types allow you to get any amount of dynamism you would needed.

Have you familiarized yourself with Haskell?

j / k navigate · click thread line to collapse