Last active
August 11, 2016 09:19
-
-
Save alfonsogarciacaro/2f067bff5171dc6f30a4c5aa1f94e298 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var _fableCore = require("fable-core"); | |
// let k1 = fun (x:'a) (y:'b) -> x | |
// let test() = | |
// let k2 = fun (x:'a) (y:'b) -> x | |
// let k1' = k1 (fun z -> z) | |
// let k1'' = k1 (fun z -> z) 2 | |
// let k2' = k2 (fun z -> z) | |
// let k2'' = k2 (fun z -> z) 2 | |
// k1' 2 5 |> printfn "%i" | |
// k1'' 5 |> printfn "%i" | |
// k2' 2 5 |> printfn "%i" | |
// k2'' 5 |> printfn "%i" | |
// test() | |
function k1(x, y) { | |
return x; | |
} | |
function test() { | |
var k2 = function (x, y) { | |
return x; | |
}; | |
var k1_ = function () { | |
var x = function (z) { | |
return z; | |
}; | |
return function (y) { | |
return k1(x, y); | |
}; | |
}(); | |
var k1__ = k1(function (z) { | |
return z; | |
}, 2); | |
var k2_ = function ($var1) { | |
return k2(function (z) { | |
return z; | |
}, $var1); | |
}; | |
var k2__ = k2(function (z) { | |
return z; | |
}, 2); | |
_fableCore.String.fsFormat("%i")(function (x) { | |
console.log(x); | |
})(k1_(2)(5)); | |
_fableCore.String.fsFormat("%i")(function (x) { | |
console.log(x); | |
})(k1__(5)); | |
_fableCore.String.fsFormat("%i")(function (x) { | |
console.log(x); | |
})(k2_(2)(5)); | |
_fableCore.String.fsFormat("%i")(function (x) { | |
console.log(x); | |
})(k2__(5)); | |
} | |
test(); |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment