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?
-
-
when you say it makes things much easier, is it for this special cases or in general compared to dependent types?
-
Keeping track of resource state, in particular, is much easier when you have a type system to do that for you, to say that a value has been used. But it's complementary - I expect there'll be a lot of value in combining dependent and linear types.
- 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.