FFI, safe vs unsafe

Taral taralx at gmail.com
Wed Apr 12 17:40:29 EDT 2006

On 4/12/06, Wolfgang Thaller <wolfgang.thaller at gmx.net> wrote:
> Personally, I'm still in favour of inverting this. We are not in
> court here, so every foreign function is guilty until proven
> innocent. Every foreign function might be "longrunning" unless the
> programmer happens to know otherwise. So maybe... "returnsquickly"?

Hear, hear:

fast - takes very little time to execute
pure - side-effect free
nocallback - does not call back into Haskell

Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Haskell-prime mailing list