[Haskell-cafe] interaction between OS processes

[Albert Y. C. Lai]

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/