Personal tools

Pronunciation

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(lambda)
(a bit of expansion.)
Line 8: Line 8:
<hask> -< </hask>
<hask> -< </hask>
 +
 +
<hask> = </hask> equals
<hask> => </hask> is a witness for, implies
<hask> => </hask> is a witness for, implies
-
<hask> . </hask> ring, dot
+
<hask> . </hask> dot (could be used anywhere, but especially in, for example, Data.Char.ord), ring, compose (for example, negate . (+1)), (silent) (for example, forall a. (Num a) => a)
<hask> <- </hask> drawn from, from
<hask> <- </hask> drawn from, from
Line 20: Line 22:
<hask> >>= </hask> bind
<hask> >>= </hask> bind
 +
 +
<hask> >> </hask>
<hask>f :: Int -> Int</hask> f has type Int to Int
<hask>f :: Int -> Int</hask> f has type Int to Int
-
<hask>\</hask> lambda
+
<hask> \ </hask> lambda
 +
should we add informal, possibly bad suggestions like "then", "is", "gets"?
[[Category:Syntax]]
[[Category:Syntax]]

Revision as of 17:50, 8 January 2008

Some notes for beginners on how to pronounce those strange Haskell operators etc.

This is just a rough start to this page. Obviously needs more work.

This can be a table with formal and informal ways of saying various operators and code snippets such as

->
maps to, to
-<
=
equals
=>
is a witness for, implies
.
dot (could be used anywhere, but especially in, for example, Data.Char.ord), ring, compose (for example, negate . (+1)), (silent) (for example, forall a. (Num a) => a)
<-
drawn from, from
++
append
+++
>>=
bind
>>
f :: Int -> Int
f has type Int to Int
\
lambda

should we add informal, possibly bad suggestions like "then", "is", "gets"?