Hacker News new | ask | show | jobs
by mrkeen 519 days ago
They also imbue code with meaning, not just data.

For isn't, the return type STM () doesn't give you anything back, but it declares that the method is suitable for transactions (i.e. will change state, but can be rolled back automatically)