A Hugo incarnation of the blog.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen mit entweder einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.

#### primes.txt 2.4KB Originalformat Permalink Blame Verlauf

 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129 ``````data List = { Nil, Cons Nat List } data Bool = { True, False } data Nat = { O, S Nat } defn ifN c t e = { case c of { True -> { t } False -> { e } } } defn ifL c t e = { case c of { True -> { t } False -> { e } } } defn toInt n = { case n of { O -> { 0 } S np -> { 1 + toInt np } } } defn lte n m = { case m of { O -> { case n of { O -> { True } S np -> { False } } } S mp -> { case n of { O -> { True } S np -> { lte np mp } } } } } defn minus n m = { case m of { O -> { n } S mp -> { case n of { O -> { O } S np -> { minus np mp } } } } } defn mod n m = { ifN (lte m n) (mod (minus n m) m) n } defn notDivisibleBy n m = { case (mod m n) of { O -> { False } S mp -> { True } } } defn filter f l = { case l of { Nil -> { Nil } Cons x xs -> { ifL (f x) (Cons x (filter f xs)) (filter f xs) } } } defn map f l = { case l of { Nil -> { Nil } Cons x xs -> { Cons (f x) (map f xs) } } } defn nats = { Cons (S (S O)) (map S nats) } defn primesRec l = { case l of { Nil -> { Nil } Cons p xs -> { Cons p (primesRec (filter (notDivisibleBy p) xs)) } } } defn primes = { primesRec nats } defn take n l = { case l of { Nil -> { Nil } Cons x xs -> { case n of { O -> { Nil } S np -> { Cons x (take np xs) } } } } } defn head l = { case l of { Nil -> { O } Cons x xs -> { x } } } defn reverseAcc a l = { case l of { Nil -> { a } Cons x xs -> { reverseAcc (Cons x a) xs } } } defn reverse l = { reverseAcc Nil l } defn main = { toInt (head (reverse (take ((S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S O))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) primes))) }``````