4 ms·
> I think it'd be nice to have a system which differentiated between functions and procedures though. That's essentially what 'IO' types are for (or finer-grai
by chriswarbo 5y ago
> I think it'd be nice to have a system which differentiated between functions and procedures though.
That's essentially what 'IO' types are for (or finer-grained alternatives like 'Eff', etc.). At the value level, we have things like 'do notation', 'for/yield', etc.