Lambda abstraction notation

Vote count:

0

I have seen the lambda abstraction notation in various academic papers that use TeX to convert Haskell notation to proper arrows and Greek lambdas and so on rendered as

λx.t

rather than

λx -> t

The first way is from the lambda calculus proper, and the latter is current Haskell language syntax.

Is it considered proper to use the formal lambda calculus style of notation when writing papers on Haskell now?

asked 2 mins ago

andro

74

Lambda abstraction notation