The Ultimate Challenge

Writa a program in untyped lambda calculus that prints "hello world" to stdout.

There are multiple problems with this bait. First off: the idea of files does not exist in lambda calculus. Strings don't either. You can assume that an object like stdout is passed to the program in the beginning. Strings are a bit tougher, you can encode them as a number, easily enough. Using basic ASCII, there are 128 numbers. So each number can be gotten by getting the remainder from dividing the current ``array'' by 128 (the quotient would be the remainder of the array). Super simple stuff, anon.