I believe the situation is that Dynamic only requires Typeable, and Typeable onl... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tome on April 2, 2016 \| parent \| context \| favorite \| on: Swift vs. Go I believe the situation is that Dynamic only requires Typeable, and Typeable only requires unsafeCoerce plus the trust that bad instances are never created.

catnaroek on April 2, 2016 [–]

> unsafeCoerce

GHC-specific implementation detail.

> the trust that bad instances are never created

The only way I can trust it is if the compiler enforces it, at which point it isn't “just a library feature”.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact