Vlákno názorů ke zprávičce Mercury dostává podtypy od Ink - A je tenhle jazyk "k něčemu"?

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.