[moved from haskell to haskell-cafe] On May 23 Monday, Mads Lindstrøm wrote:

This also means that I do think we should invent some symbols. Like the (->) used in function signatures. And we can live with the new notation, even though it is not intuitive, as it is used very, very often. Programs are logical, and from that point of view the -> symbol is an excellent match with mathematical logic. I'd like to see more support for logical symbols in the type systems of programming languages. The Curry-Howard correspondence matches function types with logical implication, and provides a source for many more symbols.