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