Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

U aint gonna do this with Haskal anytime soon!

Perl is king and here is the proof:

sub _ (&;@) {
    my $f = shift;
    my $x = sub {
        my $x = shift;
        sub { &$f(@_, &$x($x)) };
    };
    &$f(@_, &$x($x));
}

I think this is pretty much the same thing:

fixs :: [[a->b]->a->b] -> [a->b]
fixs fl = U (\pp -> map ($pp) fl)

U f = f g where g = f g

Newer Posts