[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

	Lightweight static resources, for safe embedded and systems

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