Vlákno názorů k článku Algebraické datové typy v Pythonu od jedovcela - to me hodne pripomina jazyk Elm. Ten je...
-
Pavel TišnovskýZlatý podporovatelano, 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 hodnotOsobně mi vyhovuje spíš ten přístup ML jazyků, ale co už, musíme pracovat s nedokonalými nástroji :-)
-
Pavel TišnovskýZlatý podporovatel
Používals někdy ML jazyky v profi praxi? Myslím, jestli jsou takové pozice. Vím, že Jane Street dost používá OCaml a čekal jsem, že se rozšíří aspoň F#, ale nějak to pořád ne a ne dojít do mainstreamu :/ (Haskell řadím do stejné skupiny, což možná někoho naštve)
-
radekmStříbrný podporovatelč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).
-
Pavel TišnovskýZlatý podporovatel
jo no, co se dá dělat. Ono to asi s okrajovými jazyky bude stále horší, protože LLMka poskytují kladnou zpětnou vazbu u mainstreamu. Možná to "zabetonuje" vývoj, no uvidíme (ale i podle Tiobe to vypadá, že top 10 tady s námi bude pěkně dlouho).
-
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?
-
Pavel TišnovskýZlatý podporovatel
Díky
Rust tam asi taky spadá svým typovým systémem atd.
"Kam směřuješ tou otázkou?" - jen mě zajímá, jestli se tím dá uživit. A osobně si také myslím, že Haskell a spol. dokážou zlepšit myšlení programátora, který potom používá i jiný jazyk.
-
radekmStříbrný podporovatel
jen mě zajímá, jestli se tím dá uživit
Já se živím F#, ale moc velký zájem o to není. Nicméně, když řeknu, že za tím strojí MS, tak zákazníkům nevadí, když se to použije.
-
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? :-)
