Re: [Haskell-cafe] interaction between OS processes

Albert Y. C. Lai wrote:

It is similar to saying, if you use Haskell, you don't have to learn dependent typing. Ah, but knowing dependent typing informs you of certain typing issues and how to use the Haskell type system more successfully. This is despite tutorials on dependent typing talk about Clean or Coq rather than the Haskell you use.

s/Clean/Cayenne/