English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Module type troubles
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-07-18 (13:24)
From: Chris King <colanderman@g...>
Subject: Re: [Caml-list] Module type troubles
On 7/18/06, Jean-Marie Gaillourdet <jm@gaillourdet.net> wrote:
> As far as I understand ML modules, the only way to achieve that is to
> capture your type variables with abstract types in separate modules,
> i.e. Foo and Bar have to get their type parameters as modules.

I was hoping to keep the functions polymorphic but it seems like
functors like you say are the best route... they'll probably end up
making my code cleaner anyway :P

Chris King