Effects

Google Group
1

Based on this link https://github.com/githwxi/ATS-Postiats/wiki/effects

If a function has notation :<> , meaning pure, does the type system enforce this? Are all the effectual notations enforced by type checking?

2

Yes, it is enforced. All the effectual notations are enforced.On Tuesday, December 29, 2015 at 6:13:39 PM UTC-5, Mike Jones wrote:

Based on this link effects · githwxi/ATS-Postiats Wiki · GitHub

If a function has notation :<> , meaning pure, does the type system
enforce this? Are all the effectual notations enforced by type checking?