conclusion.mdk
View Options

			Using the correspondence between monads and effects [@Wadler:marriage],
			we have shown how you can _define_ the semantics of an effect
			in terms of a first-class monadic value, but you can _use_ the monad using
			a first-class effect type. We provide a prototype implementation that builds on top of Koka's
			type- and effect inference system.

			In "The essence of functional programming" [@Wadler:essence], Wadler remarks
			that "_by examining where monads are used in the types of programs, one determines
			in effect where impure features are used. In this sense, the use of monads
			is similar to the use of effect systems_". We take the opposite view: by examining the
			effect types one can determine where monads are to be used. In Wadler's sense of the word,
			the essence of effectful programming is monads.

programming-without-regret/conclusion.mdk794fd0eaba64master