What languages other than Haskell track or control side effects in functions? How is this presented in the language?
Conversation
There's a bunch listed here under the “Software” heading:
2
4
Not listed here is granule-project.github.io The site is a bit intimidating, but I assure you it is cool! I like the promise of being able to get different co-effects like linearity and staging working nicely with effects.
Another interesting language is mercurylang.org, which implements effects in a logic language using uniqueness types, similar to in Clean – I think it was inspired by Clean, or they influenced each other.
1
1
DCGs in Prolog are another interesting kind of effect system: swi-prolog.org/pldoc/man?sect - you can use them for parsing, but it's also possible to use them for state – not sure about other effects though.
1
Show replies