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.
45 lines
1.1 KiB
45 lines
1.1 KiB
module Church
|
|
|
|
open System
|
|
|
|
let nil (c:'a->'b->'b) (n:'b) : 'b = n
|
|
|
|
let cons (x:'a) (xs:('a->'b->'b)->'b->'b) : ('a->'b->'b)->'b->'b =
|
|
fun c n -> c x (xs c n)
|
|
|
|
let append (xs:('a->'b->'b)->'b->'b) (ys:('a->'b->'b)->'b->'b) : ('a->'b->'b)->'b->'b =
|
|
fun c n -> xs c (ys c n)
|
|
|
|
let singleton (x:'a) : (('a->'b->'b)->'b->'b) =
|
|
cons x nil
|
|
|
|
let fold (xs:('a->'b->'b)->'b->'b) (c:'a->'b->'b) (n:'b) : 'b =
|
|
xs c n
|
|
|
|
let toList (xs:('a->'b->'b)->'b->'b) : 'a list =
|
|
xs (fun x acc -> x :: acc) []
|
|
|
|
let ofList (ls:'a list) : (('a->'b->'b)->'b->'b) =
|
|
List.foldBack (fun x acc -> cons x acc) ls nil
|
|
|
|
let readNChurch (parse:string->'a) (n:int) : (('a->'b->'b)->'b->'b) =
|
|
let rec loop i acc =
|
|
if i = 0 then acc nil
|
|
else
|
|
let x = parse (Console.ReadLine())
|
|
loop (i - 1) (fun tail -> acc (cons x tail))
|
|
loop n id
|
|
|
|
let readNInt (n:int) =
|
|
readNChurch int n
|
|
|
|
let readNString (n:int) =
|
|
readNChurch id n
|
|
|
|
[<EntryPoint>]
|
|
let main _ =
|
|
let n = Console.ReadLine() |> int
|
|
let clist = readNInt n
|
|
let lst = toList clist
|
|
lst |> List.iter (printfn "%d")
|
|
0 |