Python curryの例

コード例 #1

ファイル: monad.py プロジェクト: bhodorog/pylude

class Monad(Applicative):
    b = None

    def __init__(self, b, p):
        Applicative.__init__(
            self,
            lambda f: lambda a: b(lambda ff: b(lambda aa: p(lambda: ff(aa)))
                                  (a))(f), p)
        self.b = b

    def bind(self, f, a):
        return self.b(f)(a)

    def join(self, k):
        return self.bind(identity, k)


def __sequenceBind(f, a):
    r = []
    for i in a:
        r.extend(f(i))
    return r


sequenceMonad = Monad(curry(__sequenceBind), lambda k: [k()])

lambdaMonad = Monad(lambda f: lambda a: lambda t: f(a(t))(t),
                    lambda k: lambda _: k())

コード例 #2

from functor import Functor, sequenceFunctor, lambdaFunctor
from function import curry


class Pointed(Functor):
    p = None

    def __init__(self, f, p):
        Functor.__init__(self, f)
        self.p = p

    def pure(self, a):
        return self.p(a)

sequencePointed = Pointed(curry(sequenceFunctor.fmap), lambda k: [k()])

lambdaPointed = Pointed(curry(lambdaFunctor.fmap), lambda k: lambda _: k())

コード例 #3

ファイル: monad.py プロジェクト: folone/pylude

from function import curry, identity


class Monad(Applicative):
    b = None

    def __init__(self, b, p):
        Applicative.__init__(self,
                             lambda f: lambda a: b(
                                 lambda ff: b(lambda aa: p(
                                     lambda: ff(aa)))(a))(f), p)
        self.b = b

    def bind(self, f, a):
        return self.b(f)(a)

    def join(self, k):
        return self.bind(identity, k)


def __sequenceBind(f, a):
    r = []
    for i in a:
        r.extend(f(i))
    return r

sequenceMonad = Monad(curry(__sequenceBind), lambda k: [k()])

lambdaMonad = Monad(lambda f: lambda a: lambda t: f(a(t))(t),
                    lambda k: lambda _: k())

コード例 #4

ファイル: main.py プロジェクト: zaki-lknr/python-samples

import function
from libs import subfunc

if __name__ == '__main__':
    function.curry()
    subfunc.spice()

コード例 #5

ファイル: applicative.py プロジェクト: folone/pylude

from pointed import Pointed, sequencePointed, lambdaPointed
from function import curry


class Applicative(Pointed):
    ap = None

    def __init__(self, ap, p):
        Pointed.__init__(self, lambda k: ap(p(lambda: k)), p)
        self.ap = ap

    def apply(self, f, a):
        return self.ap(f)(a)

        
def __sequenceApply(k, f):
    r = []
    for i in k:
        for j in f:
            r.append(i(j))
    return r

sequenceApplicative = Applicative(curry(__sequenceApply), sequencePointed.pure)

lambdaApplicative = Applicative(lambda f: lambda a: lambda t: f(t)(a(t)),
                                lambdaPointed.pure)

コード例 #6

ファイル: applicative.py プロジェクト: bhodorog/pylude

from pointed import Pointed, sequencePointed, lambdaPointed
from function import curry


class Applicative(Pointed):
    ap = None

    def __init__(self, ap, p):
        Pointed.__init__(self, lambda k: ap(p(lambda: k)), p)
        self.ap = ap

    def apply(self, f, a):
        return self.ap(f)(a)


def __sequenceApply(k, f):
    r = []
    for i in k:
        for j in f:
            r.append(i(j))
    return r


sequenceApplicative = Applicative(curry(__sequenceApply), sequencePointed.pure)

lambdaApplicative = Applicative(lambda f: lambda a: lambda t: f(t)(a(t)),
                                lambdaPointed.pure)