Funktionell reaktiv programmering (FRP) är ett paradigm för programmering med signaler och händelser, vilket gör det möjligt för användaren att beskriva reaktiva program på en hög abstraktionsnivå. För att detta ska vara meningsfullt måste ett FRP-språk säkerställa att alla program är kausala, och kan genomföras utan att införa rymdläckage och tidsläckor. I detta syfte ger vissa FRP-språk inte direkt tillgång till signaler, utan bara till signalfunktioner. På senare tid har modaltyper föreslagits som ett alternativt tillvägagångssätt för att säkerställa orsakssamband på FRP-språk i synkronfallet, vilket ger direkt tillgång till signal- och händelseabstractioner. I detta dokument presenteras helt enkelt RaTT, en ny modal analys för reaktiv programmering. Till skillnad från tidigare kalkyl, använder Simply RaTT en Fitch-stil strategi för modal typer, vilket förenklar typsystemet och gör program mer koncis. Echoing ett tidigare resultat av Krishnaswami för ett annat språk, vi utformar en operativ semantik som säkert kör helt enkelt RaTT program utan rymd läckor. Vi identifierar också en källa till tidsläckor som finns på andra modala FRP-språk: Utvecklingen av fasta punkter i försenade beräkningar. Presentationen av Fitch-stilen gör det enkelt att utesluta dessa läckor, vilket inte verkar vara möjligt i det mer traditionella dubbla sammanhanget.
REF omarbetar detta arbete i inställningen en Simply RaTT, som till skillnad från Krishnaswami [2013] använder Fitch stil för programmering med modal typer, och utökar dessa resultat genom att identifiera och eliminera en typ av tidsläckor som härrör från fasta punkter.
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks
{'venue': 'PACMPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}