Vlákno názorů k článku ML – funkcionální jazyk s revolučním typovým systémem od johny - F# je môj top jazyk. Zobrať výsledok výpočtu,...

F# je môj top jazyk. Zobrať výsledok výpočtu, funkcie a poslať to cez pipu do inej funkcie, to je úplne iný vesmír.

Keď boli do Pythonu zavedené list comprehensions, tak som si pomyslel, aká super vec! Neskôr som narazil na F# jeho možnosti definovania kolekcií. To bolo precitnutie. Nielen že má F# prepracovanejšie list comprehensions, ale existuje x zabudovaných funkcií na efektívnu prácu s dátami a kolekciami dát. To mi raz a navždy znechutilo Javu a ostatné obmedzené jazyky.
https://fsharp.github.io/fsharp-core-docs/reference/fsharp-collections-listmodule.html

Zaujímavým faktom je, že F# je druhým najlepšie plateným programovacím jazykom, hneď za Clojure. (Kedysi kraľoval Perl.) Zrejme to súvisí s tým, že F# a Clojure sa uchytili vo finančnom sektore a tých vývojárov je celkovo pomenej.
Využitie F# v top finančných inštitúciách si všimli aj v MS, a odvtedy dostal F# od manažérov oveľa viac pozornosti. Vidno to na MS konferenciách, výukových kanáloch a dokumentácii. Zároveň C# prebral veľa od F# a mnohé ďalšie veci sa plánujú. (Napr. discriminated unions.) Takže o budúcnosť F# by som sa neobával.
https://insights.stackoverflow.com/survey/2021#section-top-paying-technologies-top-paying-technologies

Ku skutočne reálne využiteľným jazykom z ML by som ku F#, Haskell, Ocalm, pridal ešte PureScript. Vyzerá naozaj zaujímavo.
https://www.purescript.org/

Vypadá to, že v oblasti Clojure a F# se uplatňuje "the Python paradox", jak o něm kdysi psal Paul Graham:

http://www.paulgraham.com/pypar.html (paradoxně je dneska Python mainstream, ale když to Paul psal, tak nebyl)

(mimochodem - platí to pro OCaml, viz přednášky lidí z Jane Street, jsou na Youtube)

Jo, teď už Python v tomto nepomůže. Haskell je možná ještě dostatečně obskurní (byť jeho typový systém nijak zvlášť silný není), kromě toho O(Ca(ML)). U mě prvenství dodnes drží Fortress.

Nevím jak sílu typového systému hodnotíte, ale s Haskellem mám tu zkušenost, že když kód proleze překladačem, tak skoro jistě funguje a unit testy člověku přijdou jako ztráta času.

Velice zkratkovitě HKT < GADT < DT. Haskell má na to různá rozšíření, ale ten originální má jen HKT, silnější typové koncepty mu chybí.

Díky za doplnění!

> F# je môj top jazyk. Zobrať výsledok výpočtu, funkcie a poslať to cez pipu do inej funkcie, to je úplne iný vesmír.

Ja som F# zatial este neskusal, len ma napadla otazka, ze ak vysledky nebudu spravne, ako sa to da debugovat ked su tam tie pipes ?

Od F# 6.0 to podporuje priamo kompiler. Normálne to ide krokovať a dať tam breakpoint. Predtým to riešili IDčka.