[Haskell-cafe] Serialization of (a -> b) and IO a

[Gábor Lehel]

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.


>
> Regards,
>    Malcolm
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>



-- 
Work is punishment for failing to procrastinate effectively.