Home » forums » LtU Forum

Effects in Types

I am interested in differentiating between functions with side-effects and functions without side-effects in a type-system. Does any suggestions on papers I should read, or keywords I should search for? [Edit: apart from monads]

Thanks in advance!

By cdiggins at 2007-02-20 20:21 | LtU Forum | previous forum topic | next forum topic | other blogs | 2839 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

One Word: monad

Some papers here.

By sigfpe at Tue, 2007-02-20 20:30 | login or register to post comments

Thank you

I meant to have qualified my question with "other than monads", but thank you very much anyway.

By cdiggins at Tue, 2007-02-20 21:30 | login or register to post comments

Linear types

In that case, so that I don't feel completely superfluous, one approach is via linear types.

By sigfpe at Wed, 2007-02-21 00:20 | login or register to post comments

Monads, Substructural Logic, Effect Systems

A logical view of effects.

The approaches I'm aware of are: via monads, as in Haskell; via substructural types, as in Clean; and via an effect system, as in FX-87.

By Steven Woodhouse at Tue, 2007-02-20 20:47 | login or register to post comments

Thanks

This is a great list, thank you very much. I like that paper too, it is very easy to read.

By cdiggins at Tue, 2007-02-20 23:26 | login or register to post comments

effect systems

"effect systems" or "type and effect systems" might produce fruitful search results. I'm trying to remember author names... Jouvelot, Talpin, Tofte, Nielson and Nielson come to mind.

By Dave Herman at Thu, 2007-02-22 11:17 | login or register to post comments