I'm curious exactly what is safe and what is unsafe to wrap
unsafePerformIO around when it comes to FFI calls. If there's a general
discussion of this somewhere and someone could send me a pointer that
would be another acceptable solution. I googled for unsafePerformIO
FFI but nothing relevant
Hi,
please consider the following example (from Mark P. Jones: Type Classes
with Functional Dependencies LNCS 1782, ESOP 2000), that I've extended
with a function one:
class Collects e ce | ce - e where
empty :: ce
insert :: e - ce - ce
member :: e - ce - Bool
one:: ce - e
Hal Daume [EMAIL PROTECTED] writes:
I'm curious exactly what is safe and what is unsafe to wrap
unsafePerformIO around when it comes to FFI calls.
Here's a simple test:
Could you imagine an alternative implementation of the same API in
pure Haskell? (Don't consider efficiency or effort