Pronunciation
From HaskellWiki
(Difference between revisions)
(a bit of expansion.) |
(Turned list into a table) |
||
| Line 5: | Line 5: | ||
This can be a table with formal and informal ways of saying various operators and code snippets such as | This can be a table with formal and informal ways of saying various operators and code snippets such as | ||
| - | <hask> -> </hask> maps to, to | + | {| |
| + | ! Symbol | ||
| + | ! Pronounciation | ||
| + | |- | ||
| + | | <hask> -> </hask> | ||
| + | | maps to, to | ||
| + | |- | ||
| + | | <hask> -< </hask> | ||
| + | | | ||
| + | |- | ||
| + | | <hask> = </hask> | ||
| + | | is | ||
| + | |- | ||
| + | | <hask> == </hask> | ||
| + | | equals | ||
| + | |- | ||
| + | | <hask> => </hask> | ||
| + | | is a witness for, implies | ||
| + | |- | ||
| + | | <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> | ||
| + | | append | ||
| + | |- | ||
| + | | <hask> >>= </hask> | ||
| + | | bind | ||
| + | |- | ||
| + | | <hask> >> </hask> | ||
| + | | then | ||
| + | |- | ||
| + | | <hask> \ </hask> | ||
| + | | lambda | ||
| + | |} | ||
| - | + | {| | |
| - | + | ! Example | |
| - | + | ! Pronounciation | |
| - | + | |- | |
| - | + | | <hask>f :: Int -> Int</hask> | |
| - | + | | f has type Int to Int | |
| - | + | |} | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | <hask>f :: Int -> Int</hask> f has type Int to Int | + | |
| - | + | ||
| - | + | ||
should we add informal, possibly bad suggestions like "then", "is", "gets"? | should we add informal, possibly bad suggestions like "then", "is", "gets"? | ||
Revision as of 18:39, 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
| Symbol | Pronounciation |
|---|---|
| -> | maps to, to |
| -< | |
| = | is |
| == | 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 |
| >> | then |
| \ | lambda |
| Example | Pronounciation |
|---|---|
| f :: Int -> Int | f has type Int to Int |
should we add informal, possibly bad suggestions like "then", "is", "gets"?
