effect-systems

12Hitze

3Antwort

Was ist ein Typ- und Effektsystem?

Die Wikipedia article on Effect system ist derzeit nur ein kurzer Stub und ich frage mich seit einiger Zeit, was ein Effektsystem ist. Gibt es Sprachen, die neben einem Typsystem auch ein Effektsystem

types effects type-systems type-theory effect-systems 2008-10-13

---