Should these functions be available through the standard FFI? IMHO they should. Their functionality on a variety of concrete types can be archieved by using C, in an ugly and inefficient way. FFI already contains the level of unsafety they are at. They are useful, especially in the context of FFI. They are used all over hslibs: Concurrent, SocketPrim, Posix, MatchPS, XmlParse, Memo, Readline, Select, QuickCheckBatch, Unique. I used them in 5 out of 8 bindings to random C libraries (Bzip2, Curses, Libgr, Readline, Zlib). They are available in all four Haskell implementations, only through different modules. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK
Mon, 19 Mar 2001 11:04:43 -0700, Alastair Reid <reid@cs.utah.edu> pisze:
Should these functions be available through the standard FFI? IMHO they should.
I don't understand the question. Are you asking which modules should export them?
Yes. IMHO they should be made as "standard" as the rest of FFI and exported from module Foreign. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK
qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) wrote,
Mon, 19 Mar 2001 11:04:43 -0700, Alastair Reid <reid@cs.utah.edu> pisze:
Should these functions be available through the standard FFI? IMHO they should.
I don't understand the question. Are you asking which modules should export them?
Yes. IMHO they should be made as "standard" as the rest of FFI and exported from module Foreign.
I guess, you could a (maybe inefficient) version of unsafePerformIO using the FFI functionality anyway. This gives us a default implementation, so I thing, we should include it. I am not so sure about unsafeInterleaveIO. Manuel
On 18-Mar-2001, Marcin 'Qrczak' Kowalczyk <qrczak@knm.org.pl> wrote:
Should these functions be available through the standard FFI?
IMHO: yes, they should be available, either through the standard FFI or through some other standard module. But it would be a good idea to document their semantics. -- Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit | of excellence is a lethal habit" WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
participants (4)
-
Alastair Reid -
Fergus Henderson -
Manuel M. T. Chakravarty -
qrczak＠knm.org.pl