3 ms·
That's actually a good question. I suppose that it would be possible in theory to try and reconcile the two, but I don't see that happening. And I don't know ho
by mercurial 12y ago
That's actually a good question. I suppose that it would be possible in theory to try and reconcile the two, but I don't see that happening. And I don't know how much you can extend HM to support the full C++ featureset. I'd be surprised if it was possible.
- jordwalke 12y agoI haven't seen the entirety of C++'s feature set added to an HM system, but even OCaml has an OO system that's fairly complete. Many new functional languages are adopting Daan Leijen's extensible records approach which can model OO fairly well. http://research.microsoft.com/pubs/65409/scopedlabels.pdf http://research.microsoft.com/pubs/65409/scopedlabels.pdf All of these are extensions of ML that are shipped into production today, so it looks like more than just a theory at this point.
- jordwalke 12y agoIt looks like Apple just released Swift two weeks after my original comment/prediction. Does this change your mind?