Vlákno názorů k článku Programovací jazyk OCaml: rekurze, pattern matching a práce se seznamy od atarist - To skoro vypadá tak, že by se daly...

To skoro vypadá tak, že by se daly zdrojáky mezi OCaml a F# převádět (přímo nebo přes AST) automagií. Jde to? Protože předpokládám, že F# je přece jen rozšířenější platforma (.NET).

První verze F# kompilátoru (z konce roku 2001) byly napsány v OCamlu. A F# dřívě podporoval syntax OCamlu. Díky této podpoře šlo v OCamlu napsaný F# kompilátor přeložit pomocí F#.

Rustu taky, jestli se dobře pamatuju.

Ano Rust potvrzuji.

Je zajímavé, že pro prototypy překladačů se často používají OCaml nebo Scheme.

Ta syntaxe se nějak přepínala? Protože i teď má F# dvě varianty syntaxe že?

ted nevim jak to myslis. Rozliseni "verbose" a "lightweight" nebo neco jineho?

Ale obecne nejde (dneska) rict, ze Ocaml je dopredne kompatibini F#. To platilo kdysi, dneska se ty jazyky rozesly (ne moc, ale rozesly).

Přepínala se přidáním

#light "off"

na začátek souboru. V posledních verzích je třeba spouštět překladač s přepínačem --mlcompatibility, aby nevyhazoval chyby a varování na OCamlí syntaxi.

Nicméně oba jazyky jsou značně rozdílné. Např. OCaml kontroluje kompatibilitu modulů strukturálně (když má modul funkce správných názvů a typů, tak je to ok), zatímco F# nebo celý .NET kontroluje kompatibilitu tříd nominálně (nestačí, že má metody správných názvů a typů, ale musí být podtypem nějaké třídy nebo rozhraní).

5. 10. 2023, 11:22 editováno autorem komentáře

takze rozdil "jen" v OOP? to mi stejne pripadne jako prilepek

Nejenom. Rozdíl je v systému modulů, kde OCaml umožňuje moduly parametrizovat jinými moduly (v ML světě se tomu říká aplikativní nebo generativní funktory).

OCaml má silnejší typový systém (např. GADT, polymorfní varianty) a silnější typovou inferenci. Na druhé straně F# má podtypový polymorfismus a OCaml jen řádkový (row) polymorfismus.

OCaml 5 a novější má podporu pro efekty a jejich handlery, což AFAIK není možné udělat v .NET bez podpory runtimu. A lidi od MS zrovna nedávno oznámili, že podpora nebude: https://github.com/dotnet/runtimelab/issues/2398

OOP, prílepok funkcionálneho? :)

proste v dobe, kdy OOP bylo povazovano za stribrnou kulku v IT (ugh), tak z funkcionalniho CAMLu udelali OCaml, ze to tam dolepili. Neresili jsme to uz nekdy u prvniho clanku? Kde se zminovalo, ze se nejaka podpora OOP zacala objevovat i v assemblerech a tak. Nebo to bylo jinde?