Grass で Hello, world!

hello.ml

let n0      = \f x -> x
let succ n  = \f x -> f (n f x)
let add n m = \f x -> m f (n f x)
let mul n m = \f x -> m (n f) x

let n1   = succ n0
let n2   = succ n1
let n4   = mul n2 n2
let n8   = mul n4 n2
let n16  = mul n8 n2
let n32  = mul n16 n2
let n64  = mul n32 n2
let n128 = mul n64 n2

(* Hello, world!\n = 72, 101, 108, 108, 111, 44, 32, 119, 111, 114, 108, 100, 33, 10 *)

let n137 = succ (add n128 n8)
let n72  = add n64 n8
let n100 = add (add n64 n32) n4
let n101 = succ n100
let n108 = add n100 n8
let n111 = succ (add n108 n2)
let n44  = add (add n32 n8) n4
let n114 = succ (add n111 n2)
let n33  = succ n32
let n10  = add n8 n2

let NULL  = n137 Succ w
let H     = n72  Succ NULL
let e     = n101 Succ NULL
let l     = n108 Succ NULL
let o     = n111 Succ NULL
let COMMA = n44 Succ NULL
let SPACE = n32 Succ NULL
let r     = n114 Succ NULL
let d     = n100 Succ NULL
let EX    = n33 Succ NULL
let LF    = n10 Succ NULL

let main _ =
    let _ = Out H in
    let _ = Out e in
    let _ = Out l in
    let _ = Out l in
    let _ = Out o in
    let _ = Out COMMA in
    let _ = Out SPACE in
    let _ = Out w in
    let _ = Out o in
    let _ = Out r in
    let _ = Out l in
    let _ = Out d in
    let _ = Out EX in
    Out LF

hello.w

wwvwwwWWWwwWwwWWWWwvwwwwWWWwwWWWWWwwwWww
wWWWwvwwwwWWWWwwWWWWwWwwwvwwwwwwwwwwwWWW
WWWWWWWWWWWWWwwwwwwwwwwwWWWWWWWWWWWWWWWW
WwwwwwwwwwwwWWWWWWWWWWWWWWWWWWwwwwwwwwww
wWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwWWWWWWWW
WWWWWWWWWWWWwwwwwwwwwwwwWWWWWWWWWWWWWWWW
WWWWWwwwwwwwwwwwwWWWWWWWWWWWWWWWWWWWWWWw
wwwwwwwwwwwWWWWWWWWWWWWWWWWWWWWWWWwwwwww
wwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWWWWWWWWWW
WWWwwwwwwwwwwwwwwwwWWWWWWWWWWWWWWWWWWWWW
WWWWwwwwwwwwwwwwwwWWWWWWWWWWWWWWWWWWWWWW
WWWWwwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWWWWWW
WWWWWWWWWWwwwwwwwwwwwwwwwWWWWWWWWWWWWWWW
WWWWWWWWWWWWWwwwwwwwwwwwwwwwWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWwwwwwwwwwwwwwwwvwvWWWWW
wwwwwwWWWWWWwWWWWWwWwwWWWWWWWwWwwwwWWWWW
WWWWwWwwwwwwWWWWWWWWWWWwWwwwwwwwwWWWWWWW
WWWWWWwWwwwwwwwwwwWWWWWWWWWWWWWWWwWwwwww
wwwwwwwWWWWWWWWWWWWWWWWWWwWwwwwwwwwwwWWW
WWWWWWWWWWWWWWWWWWwWWWWWWWWWWWWWWWWWWWWW
wwwwwwWwwwwwwwwwwwwwWWWWWWWWWWWWWWWWWWWW
WWWwwwwwwwwWwwwwwwwwwwwWWWWWWWWWWWWWWWWW
WWWWWWWWwWwwwwwwwwwwwwwwwwwwwWWWWWWWWWWW
WWWWWWWWWWWWWWWWWwWWWWWWWWWWWWWWWWWWWWWW
WWWWWWwwWwwwwwwwwwwwwwwwwwwwwWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWwWwwwwwwwwwwwwwwwwwww
wwwwwwwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW
wWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWwwwwww
wwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwwwwwww
WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWwWwww
wwwwwwwwwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWWWWWwwwwwWwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwWWWWWWWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWWWWwWWWWWWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwwwww
wwwwwwwwwwwWWWWWWWWWWWWWWWWWWWWWWWWWWWWW
WWWWWWWWWWWWwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwWwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwwWWW
WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW
WWwWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwww
wwWWWwWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwWwwwwwwwwWWWwWWWWWWWWWWWWWWWWWWWWWWww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwWwwwwwwwwwwwWWWwWWWWWWWW
WWWWWWWWWWWWWwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWwwwww
wwwwwwwwwWWWwWWWWWWWWWWWWWWWWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwWwwwwwwwwwwwwwwwwwWWWwWWWWWWWWWWWWWW
WWWWWWWWWWwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwWww
wwwwwwwwwwwwwwwwwwWWWwWWWWWWWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwwwwwWWWw
WWWWWWWWWWWWWWWWWWWWWWWWWWWWWwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwww
wwwwwwwwwWWWwWWWWWWWWWWWWWWWWWWWWWWWWWWW
WWWwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwW
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwWWWwWWWWWWW
WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW
WWWWWWWWWWWWWWWWWWWWWWWWWw