J8SK

Sep. 19th, 2016 11:54 pm
xacid: (Default)
Написал тут на досуге SK на джаве

import java.util.function.Function;

public interface SK {

    // Kxy = x

    static <X, Y> Function<Y, X> K(X x) {
        return y -> x;
    }

    static <X, Y> Function<X, Function<Y, X>> K() {
        return x -> y -> x;
    }


    // Sxyz = xz(yz)

    static <X, Y, Z> Function<Z, X> S(
            final Function<Z, Function<Y, X>> x,
            final Function<Z, Y> y) {
        return z -> x.apply(z).apply(y.apply(z));
    }

    static <X, Y, Z> Function<
            Function<Z, Function<Y, X>>,
            Function<Function<Z, Y>, Function<Z, X>>
            > S() {
        return x -> y -> z -> x.apply(z).apply(y.apply(z));
    }

}


теперь думаю что с ним дальше делать? )

вобще планы были более грандиозные но пока вот на этом остановился както

может еще продолжу в том же духе если будет настроение)

Update: вот продолжил :)

Profile

xacid: (Default)
xacid

August 2017

S M T W T F S
  123 45
67891011 12
13 141516171819
20212223242526
2728293031  

Syndicate

RSS Atom

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 01:48 pm
Powered by Dreamwidth Studios