Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Translation between datatypes with binding
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Markus Mottl <markus@o...>
Subject: Re: [Caml-list] Translation between datatypes with binding
On Mon, 05 Jul 2004, Jojgov, G.I. wrote:
> I am trying to use OCAML as a logical framework to implement two systems
> with binding and to define a translation from one to the other. Ideally,
> I would like to be able to write code like this

It may be more convenient to use polymorphic variants here (see
below for example), because you can keep the code more abstract.
Another possibility would be to use type functors.  To make the latter
convenient, this would however require the use of the compiler flag
"-rectypes" so I won't go into details.

Here is my solution using polymorphic variants:

---------------------------------------------------------------------------
let rec trans trans_id inv_trans = function
  | `SomeValue id -> `SomeValue (trans_id id)
  | `SomeBinder (id, body) ->
      let trans_body v = inv_trans (body (trans trans_id inv_trans v)) in
      `SomeBinder (trans_id id, trans_body)

let rec trans_1_2 expr1 = trans string_of_int trans_2_1 expr1
and trans_2_1 expr2 = trans int_of_string trans_1_2 expr2
---------------------------------------------------------------------------

> (this is a simplified version of the real datatypes and the translation
> that I want to use)

It's not correct: you also need a conversion function from expr2 to
expr1 in order to implement translations for higher-order stuff (i.e.
functions like "body").  Objects won't help here either, because they,
too, cannot have a model for the following in the general case (you'd
always be stuck with a finite amount of translations):

  val invert : ('a -> 'b) -> ('b -> 'a)

> My questions are: Is there a natural way to define a function like the
> translation function above on datatypes? Is there another way to
> implement these structures? I guess the only solution is to use classes,
> but I already have some code dealing with the two concrete types and
> preferably I would like to reuse the code.

If you can't do something with algebraic datatypes, you won't be able
to do it with objects either.  If you are not afraid of higher-order
functions, code reuse is also easy with algebraic datatypes.

Regards,
Markus

-- 
Markus Mottl          http://www.oefai.at/~markus          markus@oefai.at

-------------------
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