2 ms·
> As it turns out, type systems have improved dramatically over the past decades. These kinds of typesystems were available in ML since 1973. SO they are avail
by solomatov 13y ago
> As it turns out, type systems have improved dramatically over the past decades.
These kinds of typesystems were available in ML since 1973. SO they are available to us for 41 years.
- judk 13y agoI'm general, yes. The particulars have been refined.