Abstrakt. Multimetoder erbjuder flera välkända fördelar jämfört med en enda sändning av konventionella objektorienterade språk, inklusive en enkel lösning på problemet "binary method", en naturlig implementering av "strategi" mönster, och en form av "öppna objekt" som gör det möjligt att enkelt lägga till nya operationer till befintliga klasser. Tidigare arbete med statiskt inskrivna multimetoder vars argument behandlas symmetriskt har dock krävt att hela programmet är tillgängligt för att utföra typkontroll. Vi beskriver Dubious, ett enkelt kärnspråk med förstklassiga generiska funktioner med symmetriska multimetoder, en klasslös objektmodell och moduler som kan typkontrolleras separat. Vi identifierar två uppsättningar av restriktioner som garanterar modulär typ säkerhet för Dubious samt en intressant mellanpunkt mellan dessa två. Vi har bevisat vart och ett av dessa modulära system ljud.
I REF diskuteras flera typer av system för att hitta rätt balans mellan flexibilitet och typsäkerhet.
Modular Statically Typed Multimethods
{'venue': 'Inf. Comput.', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}