[Libguestfs] [PATCH 02/27] daemon: Allow parts of the daemon and APIs to be written in OCaml.

[Richard W.M. Jones]

On Thu, Jul 20, 2017 at 01:44:14PM +0200, Pino Toscano wrote:
> An interface like:
>   val f : t -> ('a -> 'b) -> 'a -> 'b
>   val fn : t -> (unit -> unit) -> 'a

I'm still not very clear.

In any case you can't [without using unsafe OCaml features] have an
interface that returns 'a without some parameter also being
polymorphic.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v