# Pronunciation

### From HaskellWiki

m (Added &&& and ||| arrow functions.) |
Peripatetic (Talk | contribs) |
||

(One intermediate revision by one user not shown) | |||

Line 19: | Line 19: | ||

| is |
| is |
||

|- |
|- |
||

− | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A%3D%3D <hask> == </hask>] |
+ | | <hask> == </hask> |

| equals |
| equals |
||

+ | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A-61--61- Prelude] |
||

|- |
|- |
||

− | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A%2F%3D <hask> /= </hask>] |
+ | | <hask> /= </hask> |

| not equals |
| not equals |
||

+ | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A-61--61- Prelude] |
||

|- |
|- |
||

| <hask> => </hask> |
| <hask> => </hask> |
||

Line 39: | Line 41: | ||

| [http://haskell.org/arrows/syntax.html Arrows syntax] |
| [http://haskell.org/arrows/syntax.html Arrows syntax] |
||

|- |
|- |
||

− | | [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Arrow.html#v%3A%26%26%26 <hask> &&& </hask>] |
+ | | <hask> &&& </hask> |

| both, fanout |
| both, fanout |
||

| [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Arrow.html Control.Arrow] |
| [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Arrow.html Control.Arrow] |
||

|- |
|- |
||

− | | [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Arrow.html#v%3A%7C%7C%7C <hask> ||| </hask>] |
+ | | <hask> ||| </hask> |

| either, fanin |
| either, fanin |
||

+ | | [http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Arrow.html#v%3A%7C%7C%7C Control.Arrow] |
||

| |
| |
||

|- |
|- |
||

− | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A%2B%2B <hask> ++ </hask>] |
+ | | <hask> ++ </hask> |

| append |
| append |
||

+ | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A-43--43- Prelude] |
||

|- |
|- |
||

| <hask> >>= </hask> |
| <hask> >>= </hask> |
||

Line 55: | Line 59: | ||

[[Monads as containers]] |
[[Monads as containers]] |
||

|- |
|- |
||

− | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v%3A%3E%3E <hask> >> </hask>] |
+ | | <hask> >> </hask> |

| then, sequence |
| then, sequence |
||

+ | | [http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:-62--62- Prelude] |
||

+ | |- |
||

+ | | <hask> <*> </hask> |
||

+ | | applied over |
||

+ | | [http://www.haskell.org/haskellwiki/Applicative_functor Applicative Functors] |
||

|- |
|- |
||

| <hask> \ </hask> |
| <hask> \ </hask> |

## Revision as of 23:06, 1 November 2011

There was a thread on Haskell-Cafe about how to pronounce Haskell.

Below are some notes for beginners on how to pronounce those strange Haskell operators and 'read' Haskell programs.

This is meant to be a table with formal and informal ways of saying various operators and code snippets.

Symbol | Pronunciation | References | |
---|---|---|---|

:: |
has type (in definitions); at type (in expressions or patterns) | ||

-> |
maps to, to | ||

= |
is | ||

== |
equals | Prelude | |

/= |
not equals | Prelude | |

=> |
is a witness for, implies | Type Classes and Overloading | |

. |
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 | ||

-< |
arrow application | Arrows syntax | |

&&& |
both, fanout | Control.Arrow | |

||| |
either, fanin | Control.Arrow | |

++ |
append | Prelude | |

>>= |
bind | About monads
Monads as containers | |

>> |
then, sequence | Prelude | |

<*> |
applied over | Applicative Functors | |

\ |
lambda | Lambda abstraction
Haskell 98 Report | |

! |
bang; strict (in patterns or data definitions); index (in expressions) | Bang Patterns
Keywords | |

~ |
irrefutable, lazy (in patterns) | ||

: |
cons | ||

[] |
nil | ||

() |
unit | ||

(,) |
2-tuple, pair | ||

(a,b,c) |
[3-]tuple [of] a, b, and c | ||

({)} |
just as inconvenient to convey grouping verbally, whether it's layout or punctuation |

Example | Pronunciation |
---|---|

f :: Int -> Int |
f has type Int to Int |

Thoughts on improving this page:

The tables above would be best split into more columns to distinguish Informal, possibly bad suggestions like "then", "is", "gets", from Formal correct ways of saying the same thing. The Symbols could also be named in a literal way in another column, such as "arrow" or "double-colon". The Description column can be quite brief and a link provided to the relevant wiki page for the operator.

Some words, particularly the informal ones, may be good for several different symbols, but these can hopefully be arranged so that their context will make them unambiguous when reading a code snippet.