Personal tools

Notation: mathematics, programming languages

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
Line 151: Line 151:
 
</tr>
 
</tr>
 
<tr>
 
<tr>
<td>construction of a list from head and tail</td>
+
<td>construction of a list from a head and a tail</td>
 
<td></td>
 
<td></td>
 
<td>x : xs</td>
 
<td>x : xs</td>
Line 228: Line 228:
 
<td>=&gt;</td>
 
<td>=&gt;</td>
 
</tr>
 
</tr>
  +
</table>
  +
  +
[[Category:Mathematics]]

Revision as of 16:42, 30 March 2010

meaning mathematics Haskell Coq
composition of functions .
λ-abstraction
λxy (λ-calculus)
λx.y (λ-calculus)
\ x -> y fun x => y
not equal /= <> (Prop)
equal = == = (Prop)
lower or equal <= <=
greater or equal >= >=
is of type name : type name :: type name : type
logical negation ¬ not ~ (Prop)
material implication
->
function type constructor -> ->
categorical product a × b (a, b) a * b
conjunction && /\ (Prop)
categorical sum + Either + (Type)
disjunction || \/ (Prop)
verum True True (Prop)
falsum, absurd, contradiction False False (Prop)
empty set Empty_set
singleton set
{*}
{∙}
() unit
inhabitant of the singleton set
*
() tt
universal quantification forall forall
existential quantification forall (before data constructor)
exists
ex
sig
sigT
construction of a list from elements ⟨x, y, z⟩ [x, y, z]
empty list [] nil
construction of a list from a head and a tail x : xs x :: xs
concatenation of lists ++ app
tuple constructor ⟨x, y, z⟩ (x, y, z) (x, y, z)
natural numbers nat
covariant Hom functor Hom(a,−) Reader a
contravariant Hom functor Hom(−,a) Writer a
functor Functor
lax monoidal functor Applicative
monad Monad
neutral element of a monad η return
binary operation of a monad μ join
double arrow => =>