ano, ty typy v Elmu jsou taky algebraické
Ovšem Elm a Python jsou z pohledu zápisu zdrojáků na opačné straně spektra:
- u Pythonu se zadávají type hinty u parametrů a návratových hodnot
- Elm má typovou inferenci a odvozuje typy od konkrétních hodnot
Osobně mi vyhovuje spíš ten přístup ML jazyků, ale co už, musíme pracovat s nedokonalými nástroji :-)
čekal jsem, že se rozšíří aspoň F#, ale nějak to pořád ne a ne dojít do mainstreamu
Upřímně vcelku pochybuji, že F# někdy dojde do mainstreamu. Posledních pár let mám pocit, že spíš kráčí opačným směrem.
Hodně novinek ve světě .NETu z poslední doby je totiž pouze pro C#, protože závisí na generátorech zdrojového kódu nebo protože nikdo nepřemýšlel, jak se to bude používat v F#. Navíc původní tvůrce jazyka, Don Syme, už na F# nepracuje. A stávající tým pro F# dělá v pracovní době často věci jiné než F# (aspoň to jsem vydedukoval z některých příspěvků na Twitteru).
Dělal jsem a nedodělal jeden projekt v Haskellu. Obecně vzato dal mi hodně, ale už ho nepoužívám. Maximálně ke studijním účelům "jak by se toto udělalo normálně v Haskellu?"
Pokud považuješ za ML Rust, tak ten ano. Pokud ne, tak ne :-)
F# jsem jen prolétl, ale komunita díky C# je dost nevděčná, takže tam se nic nerozjelo. A Microsoftímu světu se spíše vyhejbám
Kam směřuješ tou otázkou?
Navážu na to, co už psal @radekm.
Moje zkušenost je taková, že klienty jazyk až tak moc nezajímá. Klient má buď firmu, a vytvoří tým vývojářů. Nebo si najme vývojářský tým. Takže to všechno stojí a padá na tom vývojářským týmu. Pokud bude banda vývojářů v Haskellu, kteří nejsou idealisti ale jsou schopni splnit zadání klienta, tak...
S tím souvisí můj dojem, že prostě vývojáři jsou tak trochu hloupí (omlouvám se za aroganci). A spousta těch chytřejších vývojářů položí řemeslo na hřebík a jdou dělat business. Ve výsledku místo toho, aby použili chytřejší jazyky, tak si naberou pod sebe hloupější vývojáře a ti chytřejší jazyky nedávají. Proto stále existuje poptávka po C#, PHP, Javě, C++.
Haskell jsem opustil protože Rust. Rust je výkonější, čitelnější, přátelštější, cargo je lepší jak cabal, v Rustu se dá tak trochu prasit, což někdy potřebuješ. Haskell je čistější, logičtější a správnější. Ale Rust si z něho vyzobal to nejlepší a je strašně, strašně moc dostatečně dobrý.
Hmm, jsem už hodně off-topic? :-)