Discussions about type systems often lack interest due to a lack of understanding of the difference between Church Types and Curry Types. Church Types are intrinsic to the language's semantics while Curry Types are extrinsic. Each type system has its own benefits and perspective. Recognizing and understanding these perspectives
Sort: