Unsafe coerce / forced cast?

[paulyoung]

Is Motoko likely to introduce the ability to convert a value from any type to any other type, like unsafeCoerce in Haskell or as! in Swift?

I’m considering experimenting with higher–kinded polymorphism, and something like that would be necessary.

[rossberg]

Hi Paul, no plans for that, I’m afraid. Soundness is the more important feature.

[paulyoung]

Thanks Andreas. Keep up the good work!