Jump to content

Talk:Effect system

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Questions

[edit]


  • "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)[reply]