[Haskell-cafe] interaction between OS processes

Albert Y. C. Lai trebla at vex.net
Sun Sep 2 14:10:22 EDT 2007

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.


More information about the Haskell-Cafe mailing list