F-algebry v Javě

[Algogeek]

Nedávno jsem narazil na zajímavý článek, jak implementovat F-algebry v C++ (http://ericniebler.com/2013/07/16/f-algebras-and-c/) a v této souvislosti mě napadlo - jde to i v Javě (pokud možno hezčejc)? Nějak se mi nedaří přijít na to, jak to udělat obecně.

[Reklama]

[Ivan Nový]

A je to správná úroveň abstrakce? Jeden mustr na všechna použití?

[Algogeek]

A je to správná úroveň abstrakce? Jeden mustr na všechna použití?

To je úplně jedno, otázka je o něčem jiném.

[Ivan Nový]

Zde máte Haskell pro JVM https://github.com/Frege/frege

[Aoidhghean]

Zde máte Haskell pro JVM https://github.com/Frege/frege

To ale není odpověď, otázka je, jak to udělat v Javě.

[Reklama]

[ava]

Hmm, aniz bych tomu rozumel, neskryva se odpoved treba tady

http://www.righto.com/2009/03/y-combinator-in-arc-and-java.html

?

[Ivan Nový]

Zde máte Haskell pro JVM https://github.com/Frege/frege

To ale není odpověď, otázka je, jak to udělat v Javě.

Proč to dělat v Javě, když to můžete na platformě Java (snadná instalace a šíření), udělat v Haskellu.

[ded.kenedy]

A proc to potrebujes?

...a v této souvislosti mě napadlo - jde to i v assembleru?

V Jave to nejspis nejde, protoze AFAIK se soucasnymi generiky nejde udelat pevny bod. Musis pouzit Scalu.

A proc porad menis nicky?