[Haskell-cafe] Re: Strongly Typed Memory Areas

oleg at okmij.org oleg at okmij.org
Thu Sep 18 22:57:02 EDT 2008


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.

 


More information about the Haskell-Cafe mailing list