[Haskell-cafe] Serialization of (a -> b) and IO a
illissius at gmail.com
Thu Nov 11 08:42:55 EST 2010
On Thu, Nov 11, 2010 at 2:29 PM, Malcolm Wallace <malcolm.wallace at me.com> wrote:
>> I'll just note that LLVM is only
>> platform independent to a degree. Or rather, I believe the situation
>> is that it *is* architecture independent, but it doesn't abstract
>> anything else besides the architecture
> In particular, imagine how you might serialise a Haskell function which is
> an FFI binding to some external platform-specific library (e.g. Posix,
> Win32, Gtk+, WPF), such that you could save it on a Windows machine, copy to
> Linux or Mac, and start it running again.
...and FFI imports are something you definitely can't serialize, so
that's one case where you either have it say "call the linked-in
function with the name 'whatever'" and hope it's the same one, or just
disallow it entirely.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Work is punishment for failing to procrastinate effectively.
More information about the Haskell-Cafe