[personal profile] codedot
Лямбда стала веселее!

$ npm i -g @alexo/lambda@0.2.8
└── @alexo/lambda@0.2.8 

$ cat фубля.mlc 
I = x: x;
K = x, y: x;
T = K;
F = K I;
NOT = p, a, b: p b a;
+ = m, n: f, x: m f (n f x);
* = m, n: f: m (n f);
^ = m, n: n m;
0 = F;
1 = I;
2 = + 1 1;
3 = + 1 2;
4 = ^ 2 2;
5 = + 2 3;
6 = * 2 3;
7 = + 3 4;
8 = ^ 2 3;
9 = ^ 3 2;
10 = * 2 5;
1000 = ^ 10 3;
четно = n: n NOT T;
$ alias лямбда="lambda -pm фубля.mlc"
$ лямбда 'четно (^ 9 1000) да. нет. и чо?'
48363(8123), 324 ms
нет. и чо?
$ лямбда 'четно (^ 10 1000) да. нет. и чо?'
55403(10146), 384 ms
да. и чо?
$ 

Вот так играешься, играешься, и доиграешься до P = NP.

Most Popular Tags

November 2018

S M T W T F S
    123
45678 910
11121314151617
18192021222324
252627282930 
Powered by Dreamwidth Studios