Talk:Effect system

Questions

 * "An effect system is a formal system which describes the computational effects of computer programs, such as side effects."
 * So is an effect system a kind of / a part of formal semantics for a programming language?


 * "Most functions working with memory will actually be polymorphic in the region variable: for example, a function that swaps two locations in memory will have type forall r1 r2, unit ! {read r1, read r2, write r1, write r2}."
 * huh?

--Abdull (talk) 21:41, 8 September 2010 (UTC)