[Haskell-cafe] Re: Strongly Typed Memory Areas

[oleg at okmij.org]

John Van Enk wrote:
> Was Iavor/Mark's paper ever implemented as a GHC extension?
> "Strongly Typed Memory Areas"

It turns out most of the functionality is already available in
Haskell:

	Lightweight static resources, for safe embedded and systems
	programming
	http://okmij.org/ftp/Haskell/types.html#ls-resources

Chung-chieh Shan's TFP2007 talk specifically contrasted code from
Iavor/Mark's paper with Haskell code. Strongly typed memory areas are
possible in Haskell today.