You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thorn Avery
ed469e5c49
|
4 年之前 | |
|---|---|---|
| README.md | 4 年之前 | |
| collatz.hs | 4 年之前 | |
README.md
Collatz Conjecture
Collatz Conjecture (Snowflake / 3n+1) done in the GHC Type System.
Running
in ghci load the file:
:load collatz.hs
and run with the following:
:t solution (nil :: X)
where X is the church encoding using S n and Z, ie
(S (S (S Z))) is the number 3
Example
*Main> :t solution (nil :: (S (S (S Z))))
solution (nil :: (S (S (S Z))))
:: Cons
(S (S (S Z)))
(Cons
(S (S (S (S (S (S (S (S (S (S Z))))))))))
(Cons
(S (S (S (S (S Z)))))
(Cons
(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z))))))))))))))))
(Cons
(S (S (S (S (S (S (S (S Z))))))))
(Cons
(S (S (S (S Z))))
(Cons
(S (S Z))
(Cons
(S Z)
Nil)))))))
which translates to the following list:
[ 3 10 5 16 8 4 2 1 ]