3 ms·
Yes it has. Mercury is a perfect example of a purely functional language which is not lazy. I/O is made functional via a uniqueness typing system.
by colanderman 14y ago
Yes it has. Mercury is a perfect example of a purely functional language which is not lazy. I/O is made functional via a uniqueness typing system.
- tome 14y agoRight, so it uses uniqueness typing and not monads presumably.