Effekter är grundläggande för programmeringsspråk. Till och med lambdakalkylen har effekter, och följaktligen producerar de två berömda utvärderingsstrategierna olika semantik. Som sådan har mycket forskning gjorts för att förbättra vår förståelse av effekterna. Sedan Moggi introducerade monader för sin beräkning av lambdakalkyl, har ytterligare generaliseringar utformats för att formalisera alltmer komplexa beräkningseffekter, såsom indexerade monader följt av skiktade monader följt av parameteriserade monader. Denna succession fick oss att bestämma den mest allmänna formaliseringen möjligt. I sökandet efter denna formalisering stötte vi på många överraskningar, såsom bristen på pilar, liksom många oväntade insikter, såsom vikten av att överväga en effekt som en liten komponent i ett helt system snarare än bara en isolerad funktion. I detta dokument presenterar vi vår semantiska formalisering för producenteffektsystem, som vi kallar en produktor, och bevisar dess maximala generalitet genom att fokusera på endast sekventiell sammansättning av effektiva beräkningar, vilket garanterar att de befintliga monadiska teknikerna är specialiseringar av produktorer.
Tate Ref föreslår begreppet produkt eller beskriva allmänna system för producenteffekt.
The sequential semantics of producer effect systems
{'venue': 'POPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}