OOP a pravidla pro konstruktor

[Onestone]

Tak lambda je defakto ad-hoc objekt bez setterů, mající právě jednu metodu :-) Co si budem povídat, geniální koncept.

To nemusí být vůbec pravdou, záleží na implementaci. Mimoto je docela obvyklým nedostatkem nerozlišovat lambdy a uzávěry.

To rozlišování je pochybné, je to porovnávání jablek s hruškami.

[Reklama]

[BoneFlute]

Tak lambda je defakto ad-hoc objekt bez setterů, mající právě jednu metodu :-) Co si budem povídat, geniální koncept.

To nemusí být vůbec pravdou, záleží na implementaci. Mimoto je docela obvyklým nedostatkem nerozlišovat lambdy a uzávěry.

Bylo by zajímavé, když by si rozvedl rozdíly. Jinak je to o ničem.

[SB]

Pokud je mi známo, např. Jávka řeší uzávěry vznikem anonymní funkce při překladu. Smalltalk má na uzávěry instance třídy BlockClosure.
Rozdíl lambdy a uzávěry asi slyšet nechcete...

[Onestone]

Pokud je mi známo, např. Jávka řeší uzávěry vznikem anonymní funkce při překladu. Smalltalk má na uzávěry instance třídy BlockClosure.
Rozdíl lambdy a uzávěry asi slyšet nechcete...

Chceme. Jak to bude v monádách?

[BoneFlute]

Pokud je mi známo, např. Jávka řeší uzávěry vznikem anonymní funkce při překladu. Smalltalk má na uzávěry instance třídy BlockClosure.
Rozdíl lambdy a uzávěry asi slyšet nechcete...

Tak já jsem psal, co je lambda z takového toho filozofického hlediska. Jak je to reálně implementováno není to, co jsem řešil a tudíž jsem si to samozřejmě zjednodušil a rozdíl mezi lambdou a uzávěrem jsem zanedbal.

Takže pokud máš nějakou pointu z tohoto hlediska...

[Reklama]

[ZablesenejCokl]

"What is the difference between a 'closure' and a 'lambda'?"
https://stackoverflow.com/a/36878651

[Kit]

Tak já jsem psal, co je lambda z takového toho filozofického hlediska. Jak je to reálně implementováno není to, co jsem řešil a tudíž jsem si to samozřejmě zjednodušil a rozdíl mezi lambdou a uzávěrem jsem zanedbal.

Lambda je jen anonymní funkce. Uzávěr vznikne vhodnou implementací lambdy tak, aby nesl stav.

[Onestone]

Tak já jsem psal, co je lambda z takového toho filozofického hlediska. Jak je to reálně implementováno není to, co jsem řešil a tudíž jsem si to samozřejmě zjednodušil a rozdíl mezi lambdou a uzávěrem jsem zanedbal.

Lambda je jen anonymní funkce. Uzávěr vznikne vhodnou implementací lambdy tak, aby nesl stav.

Ne nutně.

[BoneFlute]

Tak já jsem psal, co je lambda z takového toho filozofického hlediska. Jak je to reálně implementováno není to, co jsem řešil a tudíž jsem si to samozřejmě zjednodušil a rozdíl mezi lambdou a uzávěrem jsem zanedbal.

Lambda je jen anonymní funkce. Uzávěr vznikne vhodnou implementací lambdy tak, aby nesl stav.

Nerozumím, proč mi to píšeš.

[Onestone]

A realita je taková, jaká je, používá se OOP a možná do toho trochu streamy/linq na zpracování dat.

No jasně. A ty streamy a linq vůbec nejsou funkcionální programování, že?

Ty vole já nevím co lidi s tím funkcionálním programováním mají, když pořád tvrdí, že tak programujou, a přitom jen používají lambdu a streamy. Seber se, běž si zaprogramovat do Prologu a pak znova tvrď, že programuješ funkcionálně v Javě.

Tvrdit to můžou, ale málokdo skutečně píše funkcionálně.

[Kit]

Ty vole já nevím co lidi s tím funkcionálním programováním mají, když pořád tvrdí, že tak programujou, a přitom jen používají lambdu a streamy. Seber se, běž si zaprogramovat do Prologu a pak znova tvrď, že programuješ funkcionálně v Javě.

Tvrdit to můžou, ale málokdo skutečně píše funkcionálně.

Málokdo programuje v Javě objektově, to je fakt těžké. Java je prostě multiparadigmatickým jazykem a na každou vrstvu aplikace se hodí jiný přístup.

[Onestone]

Ty vole já nevím co lidi s tím funkcionálním programováním mají, když pořád tvrdí, že tak programujou, a přitom jen používají lambdu a streamy. Seber se, běž si zaprogramovat do Prologu a pak znova tvrď, že programuješ funkcionálně v Javě.

Tvrdit to můžou, ale málokdo skutečně píše funkcionálně.

Málokdo programuje v Javě objektově, to je fakt těžké. Java je prostě multiparadigmatickým jazykem a na každou vrstvu aplikace se hodí jiný přístup.

V Javě to je především v podstatě nemožné.

[SB]

Pokud je mi známo, např. Jávka řeší uzávěry vznikem anonymní funkce při překladu. Smalltalk má na uzávěry instance třídy BlockClosure.
Rozdíl lambdy a uzávěry asi slyšet nechcete...

Chceme. Jak to bude v monádách?

Lamba je samostatným, bezestavovým předpisem. Uzávěra je předpisem, který obsahuje závislosti na svém kontextu, tudíž stavová.
Monády neznám, takže ani netuším, zda s tím mají něco společného. Ale vzhledem k tomu, že je tu řeč o OOP, tak je to asi jedno, ne?

[Onestone]

Pokud je mi známo, např. Jávka řeší uzávěry vznikem anonymní funkce při překladu. Smalltalk má na uzávěry instance třídy BlockClosure.
Rozdíl lambdy a uzávěry asi slyšet nechcete...

Chceme. Jak to bude v monádách?

Lamba je samostatným, bezestavovým předpisem. Uzávěra je předpisem, který obsahuje závislosti na svém kontextu, tudíž stavová.

To je ale blbost, z držení kontextu neplyne stavovost. Navíc libovolný uzávěr (sic!) jde emulovat prostým lambda výrazem.

[ded.kenedy]

Motate to oba. Lambda vyraz a uzaver jsou dva odlisne, vzajemne ortogonalni pojmy.

Na LISPu nebo podobnych jazycich to jde videt mnohem lip.

Lambda vyraz je vyraz, jenz se vyhodnoti na funkci. Tecka.

Kód: [Vybrat]

(lambda (x) (* x x)) -> funkce jednoho paremetru pocitajici druhou mocninu.
Vsimnete si, ze zadny uzaver nevznikl, protoze telo lambda-vyrazu neobsahuje volne promenne.

Kód: [Vybrat]

(let ((y 10))
   (lambda (x) (* x y)))

V tomto pripade je vracena funkce jednoho parametru (vracejici nasobek desiti) a v tomto pripade se jedna o uzaver, protoze symbol "y" je v lexikalne nadrazenem prostredi.

Na druhou stranu, aby vznikl uzaver, neni potreba lambda vyrazu:

Kód: [Vybrat]

def a():
    y = 10
    def b(x):
        return x * y
    return b

a()(20) ==> 200