Archives of the Caml mailing list > Message from Alexander V. Voinov

Browse thread

[Caml-list] What about polymorphic methods?

Alessandro Baretta
- Jacques Garrigue
  - Lauri Alanko
    - Jacques Garrigue
  - Alessandro Baretta
    - Jacques Garrigue
  - John Prevost
  - Alessandro Baretta
    - John Max Skaller
      - Alessandro Baretta
    - John Max Skaller
      - Alexander V. Voinov
      - Daniel de Rauglaudre
        
        John Max Skaller
        
        Jacques Garrigue
        
        Daniel de Rauglaudre
      - Daniel de Rauglaudre

Date:	-- (:)
From:	Alexander V. Voinov <avv@q...>
Subject:	Re: [Caml-list] Possible use for camlp4

Hi John et al.

John Max Skaller wrote:
> 
> Hmm.. can camlp4 generate C?
> If so.. how about some language for generating
> Ocaml/C binding code? Surely that would make
> handling things easier than the existing macro solution?

When I worked with Arity/Prolog many years ago I extremely enjoyed its
_inline C_ feature, which allowed exactly what you would think of it,
and it was very useful. It had also a "traditional" (swiggable we would
say nowadays) interface to C.

Is it possible to implement such an inline C via camlp4?

Alexander
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners