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.

Haskell-Cafe mailing list

Reply via email to