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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
