Haskell e la chiesa dell'ADT
data One = One deriving (Eq, Ord, Bounded, Enum, Show, Read)
Questo definisce quello vero One
. Questo One
è sia il tipo che indica l' Unità , sia il costruttore One
, che è esso stesso la funzione nulla che restituisce quello vero, e solo un valore di tipo One
, che è, ecco,One
.
Utilizzo nella ghci
REPL:
λ: One -- One returns the one true One
One
λ: One == One -- One is equal to itself, as no others are
True
λ: One < One -- One is no less than itself
False
λ: minBound :: One -- One is the least One there is, yet it is all you need
One
λ: maxBound :: One -- One is as big as the universe of One, it is omnipotent
One
λ: [ One .. One ] -- One is the beginning, and ending, of all that is One
[One]
λ: show One -- The textual gospel of One
"One"
λ: read "One" :: One -- To read the word of One, is to become one with One
One
L'intero Libro dell'Uno è ora online. Caricandolo otterrai entrambi i testamenti: calcolo e aritmetica. Ciò ti consente di esplorare più verità:
λ: One + One -- One can only add to its magnificence
One
λ: negate One
*** Exception: One cannot be negated, mortal fool!
λ: One `div` One -- One is indivisible
One
λ: One `mod` One
*** Exception: Nothing can modulate the power of One
λ: toRational One -- Ye shall know One as both Numerator and Denominator
1 % 1
λ: toInteger One * 42 -- One multiplies all to wholeness
42
λ: toRational One / 2 -- Even divided, One is on top
1 % 2