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).
ČLÁNKY DO MAILU