During SPJ’s keynote about linear Haskell today, I started wondering about the relationship between linear and dependent types. It seems like there’s a big overlap in their use cases, and that DTs are strictly more powerful than LTs. Is that correct?
-
-
So, now that
@pigworker and@bentnib have worked out how to combine linear and dependent types, they're on their way... for example: https://github.com/edwinb/Blodwen/blob/master/tests/blodwen/linear002/door.blod … -
I haven't found anything yet that can't be expressed with dependent types, but linear types make things so much easier. And I expect that purity (that is, not even exceptions or partiality) will turn out to be very valuable.
- 3 more replies
New conversation -
-
-
if you lack some understanding, I'll call myself "ignorant" ;)
-
Pfft. I am just a hacker with persistence and a job that lets me get away with it :).
- 1 more reply
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.