Skip to content

Instantly share code, notes, and snippets.

@quchen

quchen/helloworld.hs

Created July 11, 2019 12:38
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save quchen/94b01eba72297cfb549730c73fad6634 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save quchen/94b01eba72297cfb549730c73fad6634 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
helloworld.hs
module Main (main) where
-- Does not typecheck yet :-(
main = putStr (hello (:) [] succ minBound)
s f g x = f x (g x)
k x _ = x
hello :: (char -> io -> io) -> io -> (char -> char) -> char -> io
hello = s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (s (k s) (s (k
(s (k s))) (s (k (s (k (s (k s))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k
(s (k s))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s
(s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k (s (k s))) (s (k (s (k (s
(k s))))) (s (k (s (k (s (k (s (k s))))))) (s (s (k s) (s (k (s (k s))) (s
(k (s (k (s (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (s (k s) (s (k (s
(k s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (s (k
s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k
s))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s (k
(s (k (s (k s))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s)))))
(s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k k))))))) (s (s (k
s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k (s (k
s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k (s (k (s (k (s (k (s
(k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
(k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
(s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
(k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
(s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
(k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
(s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (k
s))))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s
(k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (k
(s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k k))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k
(s (k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k
(s (k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k
(s (k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
(k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s
(k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
(k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s
(k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
(k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k (s
(k s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k
s))))))))) (s (k (s (k (s (k (s (k (s (k (s (k s))))))))))) (s (k (s (k (s
(k (s (k (s (k (s (k (s (k s))))))))))))) (s (k (s (k (s (k (s (k (s (k (s
(k (s (k (s (k s))))))))))))))) (s (s (k s) (s (k k) (s (k s) (s (k (s (k
s))) (s (k (s (k (s (k s))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k
s))))) (s (k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k k))))))) (s
(k (s (k (s (k (s (k s))))))) (s (k (s (k (s (k (s (k (s (k s))))))))) (s (s
(k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
(k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
(s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k)
(s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s
(k s) (s (k k) (s (k s) (s (k k) (s k k))))))))))))))))))))))))) (s (k (s (k
k))) (s (k (s (k (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s
(k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k
s) (s (k k) (s (k s) (s (k k) (s k k))))))))))))))))))))))) (s (k (s (k k)))
(s (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k
(s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k
k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
(k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s)
(s (k k) (s k k))) (k (s k k)))))))))))))))))))))) (s (k k) (s (k (s (k (s
(s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s
(k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k k)))))))))))))))))))
(s (k (s (k (s (k (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k)
(s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k
k))))))))))))))))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k (s (s (k s)
(s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s
(k k) (s k k))))))))))))))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k (s
(s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k
k))))))))))))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (s (k s) (s (k k)
(s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s (k k) (s k k))))))))))))) (s
(k (s (k k))) (s (k (s (k (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s
(k k) (s k k))))))))))) (s (k (s (k k))) (s (k (s (s (k s) (s (k k) (s (k s)
(s (k k) (s (k s) (s (k k) (s k k))))))))) (s (k k) (s (k (s (s (k s) (s (k
k) (s (k s) (s (k k) (s k k))))))) (s (k k) (s (k (s (s (k s) (s (k k) (s k
k))))) (s (k k) (s (k (s (s k k))) (s (k k) (s k
k))))))))))))))))))))))))))))))))))) (k (k (s (k (s (k (s (k (s (s k
k))))))) (s (k (s (k (s (k k))))) (s (s (k s) (s (k k) (s (k s) (s (s (k s)
(s (k k) (s k k))) (k (s k k)))))) (k (s (k k) (s k k)))))))))))))))))))) (k
(s (k k) (s (k (s (k (s (k k))))) (s (k (s (k (s (k (s (k (s (k (s (s k
k))))))))))) (s (k (s (k (s (k (s (k (s (k k))))))))) (s (s (k s) (s (k (s
(k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s)))
(s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))))))) (k (s (s (k s)
(s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (s (k
s) (s (k k) (s k k))) (k (s k k)))))))) (s (k k) (s (s (k s) (s (k (s (k
s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))) (k (k
(s k k)))))))))))))))))))))) (k (k (k (s (k (s (k (s (k (s (k (s (k (s (s k
k))))))))))) (s (k (s (k (s (k (s (k (s (k k))))))))) (s (s (k s) (s (k (s
(k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s)))
(s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))))) (s (k k)
(s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k
k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s (k k) (s (s (k s)
(s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k
k)))))) (k (k (s k k)))))))))))))))))))))) (k (s (k (s (k (s (k (s (k (s (k
(s (k (s (k (s (s k k))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s
(k k))))))))))))) (s (s (k s) (s (k k) (s (k s) (s (k (s (k s))) (s (k (s (k
k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
(k (s (k s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k
k)))))))))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
(k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))))))))) (k (s (s (k s)
(s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s
(k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k))))))))))
(s (k k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
(k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s (k k) (s
(s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k
(s k k)))))) (k (k (s k k)))))))))))))))))))))))) (k (k (k (s (k (s (k (s (k
(s (k k))))))) (s (k (s (k (s (k (s (k (s (s k k))))))))) (s (k (s (k (s (k
(s (k k))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s (k
k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k
k))) (k (s k k)))))) (k (k (s k k))))))))))))))))))))) (k (k (k (k (k (k (s
(k k) (s (k (s (s k k))) (s (k k) (s k k))))))))))))))))))))) (k (s (k (s (k
(s (k (s (k k))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k (s (s k
k))))))))))))))) (s (k (s (k (s (k (s (k (s (k (s (k (s (k k))))))))))))) (s
(s (k s) (s (k k) (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k
s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
(k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))))))))))) (k (s (s (k
s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k
(s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (s k
k))) (s (k k) (s k k)))))))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k
k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s
(s (k s) (s (k k) (s k k))) (k (s k k)))))))))) (s (k k) (s (s (k s) (s (k
(s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s
(k k) (s k k))) (k (s k k)))))))) (s (k k) (s (s (k s) (s (k (s (k s))) (s
(k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))) (k (k (s k
k)))))))))))))))))))))))))) (k (k (s (k (s (k k))) (s (k (s (k k))) (s (k (s
(k (s (k (s (k (s (k (s (s k k))))))))))) (s (k (s (k (s (k (s (k (s (k
k))))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (k s))) (s
(k (s (k k))) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k)
(s k k)))))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s
(k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k k)))))))) (s
(k k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s
k k))) (k (s k k)))))) (k (k (s k k)))))))))))))))))))))))) (k (k (k (s (k
(s (k k))) (s (k (s (k k))) (s (k (s (k (s (k (s (k (s (s k k))))))))) (s (k
(s (k (s (k (s (k k))))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s
(k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k
k)))))))) (s (k k) (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s)
(s (k k) (s k k))) (k (s k k)))))) (k (k (s k k))))))))))))))))))))))) (k (s
(k k) (s (k (s (k k))) (s (k (s (k k))) (s (k (s (k k))) (s (k (s (k (s (k
k))))) (s (k (s (k (s (k (s (s k k))))))) (s (k (s (k (s (k k))))) (s (s (k
s) (s (k (s (k s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k
k)))))) (k (k (s k k)))))))))))))))))))))) (k (k (s (k (s (k k))) (s (k (s
(k (s (k k))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k k))))) (s (k (s
(k (s (k (s (s k k))))))) (s (k (s (k (s (k k))))) (s (s (k s) (s (k (s (k
s))) (s (k (s (k k))) (s (k (s (s k k))) (s (k k) (s k k)))))) (k (k (s k
k)))))))))))))))))) (k (k (s (k k) (s (s (k s) (s (k (s (s k k))) (s (k k)
(s k k)))) (s (k k) (s k k))))))))))) (k (s (k (s (s (k s) (s (k k) (s (k s)
(s (k (s (s k k))) (s (k k) (s k k)))))))) (s (k (s (k (s (k k))))) (s (s (k
s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))))) (k (s (k k) (s
k k)))))))))))) (k (k (s (s (k s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k
k) (s k k)))))) (s (k (s (k k))) (s (s (k s) (s (k (s (s k k))) (s (k k) (s
k k)))) (s (k k) (s k k)))))))))))) (k (s (k (s (s (k s) (s (k k) (s (k s)
(s (k (s (s k k))) (s (k k) (s k k)))))))) (s (k (s (k (s (k k))))) (s (s (k
s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))))) (k (s (s (k s)
(s (k (s (s k k))) (s (k k) (s k k)))) (s (k k) (s k k))))))))))))) (k (k (s
(s (k s) (s (k k) (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))))) (s (k (s
(k k))) (s (s (k s) (s (k (s (s k k))) (s (k k) (s k k)))) (s (s (k s) (s (k
(s (s k k))) (s (k k) (s k k)))) (s (k k) (s k k))))))))))))))))))) (s (k k)
(s (k (s (k (s (k k))))) (s (k (s (k (s (k k))))) (s (k (s (k (s (k k)))))
(s (k (s (k (s (k k))))) (s (s (k s) (s (k k) (s (k s) (s (k k) (s (k s) (s
(k k) (s k k))))))) (k (s (s (k s) (s (k k) (s (k s) (s (k (s (s k k))) (s
(k k) (s k k)))))) (k (s (k k) (s k k))))))))))))))) (k (k (k (k (s k
k))))))))) (k (k (k (k (s (s (k s) (s (k k) (s k k))) (s (s (k s) (s (k k)
(s k k))) (k (s k k)))))))))))) (k (k (k (k (s (s (k s) (s (k k) (s (k s) (s
(k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k k) (s k k))) (k (s k
k)))))))) (k (s (s (k s) (s (k (s (k s))) (s (k (s (k k))) (s (s (k s) (s (k
k) (s k k))) (k (s k k)))))) (k (k (s k k)))))))))))))) (k (k (k (k (s (k (s
(s k k))) (s (k k) (s k k)))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment