Investor pro C++ IDE

[Idris]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

[Reklama]

[Ink]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

[Idris]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

To byla trochu nadsázka, nicméně OCaml je zajímavý z akademického pohledu, má HKT, je přiměřeně funkcionální...

[BoneFlute]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

Já ho třeba používám protože implementace Amulet (https://amulet.works/) je podobná Haskellu, umí nějaké ty zajímavé featury a kompiluje mi to do Lui. Žádná další zvláštní motivace v tom není.

[Ink]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

Já ho třeba používám protože implementace Amulet (https://amulet.works/) je podobná Haskellu, umí nějaké ty zajímavé featury a kompiluje mi to do Lui. Žádná další zvláštní motivace v tom není.

Ale to není úplně Ocaml, ne?

[Reklama]

[Jiří Havel]

Já ho třeba používám protože implementace Amulet (https://amulet.works/) je podobná Haskellu, umí nějaké ty zajímavé featury a kompiluje mi to do Lui. Žádná další zvláštní motivace v tom není.

Kompilace do Luy? Proč? Zrovna Lua mi pro tenhle účel přijde extrémně nevhodná. A s dokumentací na stránkách toho jazyka je to takové nijaké.

[Idris]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

P.S. Zrovna kryptoprojekty bych v tom asi nepsal. Ty "finanční systémy" jsou nejspíš Jane Street? Ti se topí v penězích, takže si mohli přepsat překladač a standardní knihovnu, aby byly modernější a rychlejší, jinak firmy spíše přecházejí z OCamlu na jiné jazyky (kvůli malé podpoře, nedostatečným knihovnám apod.). Jak je uvedeno výše, je to převážně akademická záležitost, a to ještě jen ve Francii nebo v zahraničních týmech, kde mají Francouzi vliv.

[Ink]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

P.S. Zrovna kryptoprojekty bych v tom asi nepsal. Ty "finanční systémy" jsou nejspíš Jane Street? Ti se topí v penězích, takže si mohli přepsat překladač a standardní knihovnu, aby byly modernější a rychlejší, jinak firmy spíše přecházejí z OCamlu na jiné jazyky (kvůli malé podpoře, nedostatečným knihovnám apod.). Jak je uvedeno výše, je to převážně akademická záležitost, a to ještě jen ve Francii nebo v zahraničních týmech, kde mají Francouzi vliv.

Ano, Jane Street. Na to si pamatuju ještě z doby, kdy mi Ocaml přišel jako zajímavá cesta - každopádně jsme si nesedli, chvíli jsem pak zkoušel koketovat s Haskellem, něco málo napsal ve Scale. A pak jsem si to "všechno" spojil v Rustu. Každopádně, k tomu Tezosu mám někde odkaz na YT video, kde autoři vysvětlují, proč šli do Ocaml. Crypto je zajímavé i z toho hlediska, jaké jazyky se pro ta řešení používají od C++ a C (klasický bitcoin core), přes Javu, Go, Rust, až třeba po Haskell.

[Idris]

A na soukromé programování mám Haskell, OCaml, a Luu.

OCaml rulez!

Můžu se zeptat, proč? Koukal jsem, že se v něm dělaly nějaké kryptoprojekty (Tezos) a nějaké finanční systémy, ale co je na něm tak super?

P.S. Zrovna kryptoprojekty bych v tom asi nepsal. Ty "finanční systémy" jsou nejspíš Jane Street? Ti se topí v penězích, takže si mohli přepsat překladač a standardní knihovnu, aby byly modernější a rychlejší, jinak firmy spíše přecházejí z OCamlu na jiné jazyky (kvůli malé podpoře, nedostatečným knihovnám apod.). Jak je uvedeno výše, je to převážně akademická záležitost, a to ještě jen ve Francii nebo v zahraničních týmech, kde mají Francouzi vliv.

Ano, Jane Street. Na to si pamatuju ještě z doby, kdy mi Ocaml přišel jako zajímavá cesta - každopádně jsme si nesedli, chvíli jsem pak zkoušel koketovat s Haskellem, něco málo napsal ve Scale. A pak jsem si to "všechno" spojil v Rustu. Každopádně, k tomu Tezosu mám někde odkaz na YT video, kde autoři vysvětlují, proč šli do Ocaml. Crypto je zajímavé i z toho hlediska, jaké jazyky se pro ta řešení používají od C++ a C (klasický bitcoin core), přes Javu, Go, Rust, až třeba po Haskell.

Haskell je asi lepší volbou než OCaml, z mnoha důvodů. Rust je někdy příliš nízkoúrovňový, ale klidně bych ho používal víc, kdyby měl lepší podporu v "cloudu".

[Ink]

Haskell je asi lepší volbou než OCaml, z mnoha důvodů. Rust je někdy příliš nízkoúrovňový, ale klidně bych ho používal víc, kdyby měl lepší podporu v "cloudu".

Máš na mysli konkrétně Google?

[BoneFlute]

Já ho třeba používám protože implementace Amulet (https://amulet.works/) je podobná Haskellu, umí nějaké ty zajímavé featury a kompiluje mi to do Lui. Žádná další zvláštní motivace v tom není.

Kompilace do Luy? Proč? Zrovna Lua mi pro tenhle účel přijde extrémně nevhodná. A s dokumentací na stránkách toho jazyka je to takové nijaké.

Asi nerozumím tvému příspěvku. Extrémně nevhodná na co?

Ale to není úplně Ocaml, ne?

Ne? Já bych řekl že jo. Ale i kdybych se mýlil, tak co? 

[Idris]

Haskell je asi lepší volbou než OCaml, z mnoha důvodů. Rust je někdy příliš nízkoúrovňový, ale klidně bych ho používal víc, kdyby měl lepší podporu v "cloudu".

Máš na mysli konkrétně Google?

Taky, konkrétně třeba App Engine. Zrovna Google má svoje Go, tak ho to asi moc nepálí.

[Ink]

Ale to není úplně Ocaml, ne?

Ne? Já bych řekl že jo. Ale i kdybych se mýlil, tak co? 

Kdyby ses mýlil, tak bys nedával přímou odpověď na otázku, kterou jsem položil. Pokud si vzpomínám, tak Ocaml má poměrně mnoho jazykových vlastností (OOP, moduly a functory...), které "A simple, functional programming language in the ML tradition" (Amulet) mít všechny nebude. Tudíž beru, že používáš "nějaký jazyk z rodiny ML", akorát to holt asi není to samé co Ocaml.

[Idris]

Ale to není úplně Ocaml, ne?

Ne? Já bych řekl že jo. Ale i kdybych se mýlil, tak co? 

Kdyby ses mýlil, tak bys nedával přímou odpověď na otázku, kterou jsem položil. Pokud si vzpomínám, tak Ocaml má poměrně mnoho jazykových vlastností (OOP, moduly a functory...), které "A simple, functional programming language in the ML tradition" (Amulet) mít všechny nebude. Tudíž beru, že používáš "nějaký jazyk z rodiny ML", akorát to holt asi není to samé co Ocaml.

No jo, OCaml má zrovna skoro všechno, co se někde používá v jiných jazycích, od OO po HKT. Je to taková všehochuť, v postatě trošku hezčí Swift, to je taky pejskokočičí dort

[Jiří Havel]

Já ho třeba používám protože implementace Amulet (https://amulet.works/) je podobná Haskellu, umí nějaké ty zajímavé featury a kompiluje mi to do Lui. Žádná další zvláštní motivace v tom není.

Kompilace do Luy? Proč? Zrovna Lua mi pro tenhle účel přijde extrémně nevhodná. A s dokumentací na stránkách toho jazyka je to takové nijaké.

Asi nerozumím tvému příspěvku. Extrémně nevhodná na co?

Jako cílový jazyk kompilace. Síla Luy je IMO v tom, že je to jednoduchoučký jazyk s malinkým runtimem který se dá jednoduše embednout kamkoliv. Přijde mi trochu zvláštní mít mocný typový systém a v runtime všechny tyhle informace zahodit a všechno to nasypat do jedné univerzální hashmapy. To už by mi přišlo rozumnější, aby si Amulet zrovna interpretoval svůj AST než tohle.
Tohle kombinuje nevýhody z obou světů. Pro kompilaci potřebuje mocnou parní mlátičku a v runtime platí za nevyužitou flexibility Luy.