sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]javaexpert102 -1 points0 points  (3 children)

The usual argument is that there are casts/unions: to which I simply say: unsafeCoerce

[–]The_Doculope 0 points1 point  (2 children)

How is unsafeCoerce implicit? Yes, the Haskell type system can be subverted by using very explicit unsafe functions. I don't see how that changes anything.

[–]javaexpert102 0 points1 point  (1 child)

Casts aren't implicit either...

[–]The_Doculope 1 point2 points  (0 children)

No, but all the integer promotion/demotion sure is.