@bascule What do you mean by a "real" type system?
-
-
-
@asterite Hindley-Milner
End of conversation
New conversation -
-
-
@bascule Rust's type system is also really complex and maybe contrived and not sound (yet) -
@whitequark it's Hindley-Milner, so it's not "contrived" :P Making the error messages make sense may take years though -
@bascule it's not canonical HM with all the region stuff bolted on. hence also the unsoundness.
End of conversation
New conversation -
-
-
@bascule if it also lets you cast anything to anything else and memcpy the shit out of it, I'm sold. :D -
@jfairbairn only when unsafe { ... } -
@bascule ooh *reads ref manual*
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.