Aký funkcionálny jazyk?

[stryko sam]

Chcel by som sa naucit nejaky pure funkcionalny jazyk. Ako prve ma napadol Haskell, lenze ten vraj neni pure, lebo ma IO monadu. Clean so svojim uniqueness typing system je pure, akurat je to uz mrtvy projekt. Elm zase pouziva funkcionalno reaktivny pristup, ktory je pure, akurát sa preklada do skaredeho js. Co nam teda ostava? Nasiel som desiatky zaujímavých funkcionalnych jazykov ale vôbec netusim, ktory z nich si vybrat...

[Reklama]

[DK]

Clojure?

[Kit]

Můžeš použít Haskell a vyhýbat se unpure záležitostem.

Proč je to "pure" pro tebe tak významné?

[čumil]

Chcel by som sa naucit nejaky pure funkcionalny jazyk. Ako prve ma napadol Haskell, lenze ten vraj neni pure, lebo ma IO monadu. Clean so svojim uniqueness typing system je pure, akurat je to uz mrtvy projekt. Elm zase pouziva funkcionalno reaktivny pristup, ktory je pure, akurát sa preklada do skaredeho js. Co nam teda ostava? Nasiel som desiatky zaujímavých funkcionalnych jazykov ale vôbec netusim, ktory z nich si vybrat...

Jdi do ELMu, má bezvadnou spolupráci s JS takže můžeš v ELMu schroupat data a poté je vizualizovat nějakou JS knihovnou a vice versa.

[Inkvizitor]

Haskell.

[Reklama]

[JSH]

Ako prve ma napadol Haskell, lenze ten vraj neni pure, lebo ma IO monadu. Clean so svojim uniqueness typing system je pure, akurat je to uz mrtvy projekt.

Clean je +- stejně čístý jako Haskell. Haskell drží token, pomocí kterého se řetězí IO akce, uvnitř IO monády. V cleanu se předává ručně a nedá se použít vícekrát díky unique typingu.
Oba musí dělat nečisté věci, pokud mají nějak komunikovat s vnějším světem.

[zboj]

Chcel by som sa naucit nejaky pure funkcionalny jazyk. Ako prve ma napadol Haskell, lenze ten vraj neni pure, lebo ma IO monadu. Clean so svojim uniqueness typing system je pure, akurat je to uz mrtvy projekt. Elm zase pouziva funkcionalno reaktivny pristup, ktory je pure, akurát sa preklada do skaredeho js. Co nam teda ostava? Nasiel som desiatky zaujímavých funkcionalnych jazykov ale vôbec netusim, ktory z nich si vybrat...

Monády jsou pure, takže klidně ten Haskell.

[suic]

Haskell

[noef]

Taky si myslim, ze Haskell je v pohode (doufam, ze se to tu nezvrhne ve flame, zda je/neni Haskell pure). Pripadne se muzes podivat na Frege (Haskell nad JVM).

O Elmu vim jen z doslechu, lidi si to celkem pochvalovali. Nevim, jestli duvod "kompiluje se to do oskliveho JS" je dobry - neni pravda, ze "Haskell se kompiluje do skaredeho strojaku"? U takto poradne typovaneho jazyka by snad nemelo prilis dochazet k reseni problemu na urovni nizsi vrsty (JS).

[andy]

https://xkcd.com/1312/

Haskell. IO monad je pure. A k tomu funkcionálnímu pohledu dostaneš ještě pořádný typový systém.

[čumil]

IO monáda je impure ... jak tazatel správně řekl, jediný pure jazyk dneška je ELM

[v]

a je to tu zas

[itexpert]

Zkusil bych C++ s knihovnou Boost::Phoenix.

Phoenix attempts to mimic C++ in C++!!!

[Inkvizitor]

a je to tu zas

Jo, protože tohle je nejhustokrutopřísnější důvod, proč si (ne)vybrat třeba Haskell.

[čumil]

a je to tu zas

Jo, protože tohle je nejhustokrutopřísnější důvod, proč si (ne)vybrat třeba Haskell.

Přesně tak