Unions- och skärningstyper är både enkla och kraftfulla men har sett en begränsad adoption. Problemet är att undertypningsalgoritmer för typsystem som utvidgats med union och skärningspunkter hittills har varit antingen opålitliga eller otillräckligt uttrycksfulla. Vi presenterar ett enkelt och kompatibelt ramverk för att stärka förenings- och skärningstyper så att de interagerar med resten av typsystemet på ett intuitivt men ändå deciderbart sätt. Vi visar nyttan av detta ramverk genom att illustrera den inverkan det har gjort under utformningen av Ceylon programmeringsspråk utvecklat av Red Hat.
Nyligen presenterade Muehlboeck och Tate REF ett decidable algoritmic system (proved in Coq) med fack- och skärningstyper.
Empowering union and intersection types with integrated subtyping
{'venue': 'PACMPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}