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?
-
-
professional hacker!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.