From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id CC6C4BBAF for ; Thu, 3 Jun 2010 14:56:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocBAHtDB0yAAtnEkWdsb2JhbAAwkV+MGBUBAQEBCQsKBxEFHbYRiF+FFgQ X-IronPort-AV: E=Sophos;i="4.53,354,1272837600"; d="scan'208";a="51696024" Received: from unknown (HELO smtp01.srv.cs.cmu.edu) ([128.2.217.196]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Jun 2010 14:56:53 +0200 Received: from stratocaster.home (c-24-23-98-102.hsd1.pa.comcast.net [24.23.98.102]) (authenticated bits=0) by smtp01.srv.cs.cmu.edu (8.13.6/8.13.6) with ESMTP id o53CumuS008167 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Thu, 3 Jun 2010 08:56:48 -0400 (EDT) Received: from ecc by stratocaster.home with local (Exim 4.71) (envelope-from ) id 1OJrrW-0006aR-1Z for caml-list@yquem.inria.fr; Wed, 02 Jun 2010 13:36:18 -0400 Date: Wed, 2 Jun 2010 13:36:18 -0400 From: Eric Cooper To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Questions concerning modules as first-class values Message-ID: <20100602173618.GD23344@localhost> Mail-Followup-To: caml-list@yquem.inria.fr References: <367372.3609.qm@web111501.mail.gq1.yahoo.com> <21533_1275496091_o52GSC5l015052_4C068697.5050007@frisch.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <21533_1275496091_o52GSC5l015052_4C068697.5050007@frisch.fr> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: mimedefang-cmuscs on 128.2.217.196 X-Spam: no; 0.00; 0200,:01 frisch:01 runtime:01 command-line:01 plug-in:98 wrote:01 caml-list:01 marshal:01 alain:01 data:02 modules:02 argument:02 implement:06 variable:06 wed:06 On Wed, Jun 02, 2010 at 06:28:07PM +0200, Alain Frisch wrote: > In particular, this allows the program to decide at runtime (given > an environment variable or a command-line argument) to use some > particular (functorized) implementation of a data structure over > another. Is it possible to marshal and unmarshal these packages? That might be a nice way to implement a plug-in architecture. -- Eric Cooper e c c @ c m u . e d u