Názory k článku
Mercury dostává podtypy

Toto by ma celkom zaujímalo ale nemôžem sa k tomu dogooglit: "multiplicitu, která například umožňuje implementovat čistě funkcionální vstupně-výstupní operace bez použití funktorů (používaných například v Haskellu)." Je niekde stručná ukážka prosím?

Hned v první díle toho seriálu o Mercury na Rootu (první odkaz ve zprávičce), kde se mluví o “IO světech” (argumenty v módu “destructible input” a “unique output”). Některé jazyky mají u argumentů i nulovou multiplicitu.

S Mercury jsem si hrál už dávno a tolik si to nepamatuju, ale získal jsem dojem, že v podstatě neumí nic, co se v Haskellu nedělá běžně pomocí funktorû a monád.

To platí pro I/O, lineární typové systémy mají ale širší uplatnění.

Teoreticky ano, ale konkrétně v Mercury mi připadá, že to je totéž, co umí monády v Haskellu, jenom jinak.

Jak umí monády zajistit efektivní správu paměti obcházením GC?

A je tenhle jazyk "k něčemu"?

V komerční sféře se používá v Austrálii. Jinak je k tomu, k čemu například Coq, používá se v akademickém výzkumu a běžný programátor si tak nanejvýš rozšíří obzory. S tím, že Mercury je na rozdíl od záv. typů jednoduché na pochopení. BTW Rust má v sobě zabudované své vlastní mini-Mercury :)

Díky.

> BTW Rust má v sobě zabudované své vlastní mini-Mercury :)

Vidím crate mercury, ale to asi nemyslíš. Co máš prosím na mysli?

Taková ta věc, co řeší traity, jméno mi furt vypadává. Najdu jejich repo na Githubu a dám sem odkaz(y). Teď na to mají celý “book”.

Repo:
https://github.com/rust-lang/chalk

Book:
https://rust-lang.github.io/chalk/book/what_is_chalk.html

Trefný postřeh:
https://twitter.com/TimSweeneyEpic/status/1178448064949960706

Oni píšou, že to je "Prolog-like", ale používají SLG místo SLD (to má jen hrstka Prologů a jen jako nadstavbu) a hlavně používají obecnější logiku.