Hlavní navigace

Mercury dostává podtypy

12. 3. 2022

Sdílet

Mercury Autor: mercurylang.org

Jazyk Mercury dostal experimentálně podtypy. V nejnovější beta verzi je možné od datových typů odvozovat nové typy, jež jsou matematicky podmnožinou rodičovského typu. Jedná se o obdobu dědičnosti známé z objektově orientovaného programování.

Mercury je funkcionálně logický jazyk s lineárními typy příbuzný Prologu a Idrisu, s nímž sdílí možnost definovat u argumentů funkcí tzv. 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).

Tato zprávička byla zaslána čtenářem serveru Root.cz pomocí formuláře Přidat zprávičku. Děkujeme!

Našli jste v článku chybu?
  • Aktualita je stará, nové názory již nelze přidávat.

Byl pro vás článek přínosný?

Autor zprávičky