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ě.
A je to správná úroveň abstrakce? Jeden mustr na všechna použití?
Citace od: Ivan Nový kdy 28. 08. 2017, 14:13:02
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.
Zde máte Haskell pro JVM https://github.com/Frege/frege
Citace od: Ivan Nový kdy 28. 08. 2017, 15:41:37
Zde máte Haskell pro JVM https://github.com/Frege/frege
To ale není odpověď, otázka je, jak to udělat v Javě.
Hmm, aniz bych tomu rozumel, neskryva se odpoved treba tady
http://www.righto.com/2009/03/y-combinator-in-arc-and-java.html
?
Citace od: Aoidhghean kdy 28. 08. 2017, 16:44:19
Citace od: Ivan Nový kdy 28. 08. 2017, 15:41:37
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.
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?