From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <raould@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 83DF8BBC4
	for <caml-list@yquem.inria.fr>; Tue,  3 Mar 2009 22:40:13 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApYDAMYyrUnRVdmrhWdsb2JhbACUKD8BAQEKCQwHEASxVIEHj3YBAwEDhAMG
X-IronPort-AV: E=Sophos;i="4.38,297,1233529200"; 
   d="scan'208";a="36047743"
Received: from mail-gx0-f171.google.com ([209.85.217.171])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Mar 2009 22:40:13 +0100
Received: by gxk19 with SMTP id 19so5872277gxk.3
        for <caml-list@yquem.inria.fr>; Tue, 03 Mar 2009 13:40:12 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:date:message-id:subject
         :from:to:content-type:content-transfer-encoding;
        bh=JT+q6Sw87fdqVue+e7/a3TZax7ccELv16HqR43tBe08=;
        b=B8+y7CbHracSf1rxNYR0C746rYVKJWaA4kZhnAU07lbDjkdvVqfC2PXuANhJWrCEG6
         Tjm4kNx+QjGzL19R+ofyuNJj/gtCgvifbHLJw2sZZAbtWMJKbeyC7M3FMMDyJazn0FPi
         W14W5XexlsNRQDu70Jw1kUS64zdYoFhVoRvRs=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type
         :content-transfer-encoding;
        b=OaalQSa7SZ2Kg9MTY5F+oAgMlUOsy7Vp7DFxFte9tRmggiKe/R220026s8ACGC7hCW
         Y75313wwKY2fQ4gTQzfCMk/kmf4sBB++yij9c8SsQC3v8Kn1bPSM7yNAej1N39Dfn+rn
         /186iMT/jKJGCMRU1eGEdsQcd5sb28UYgzw3Q=
MIME-Version: 1.0
Received: by 10.150.230.8 with SMTP id c8mr13190800ybh.153.1236116411788; Tue, 
	03 Mar 2009 13:40:11 -0800 (PST)
Date: Tue, 3 Mar 2009 13:40:11 -0800
Message-ID: <91a2ba3e0903031340wcdc976cp52522eb35f7ccb73@mail.gmail.com>
Subject: stl?
From: Raoul Duke <raould@gmail.com>
To: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; stl:01 polymorphism:01 stl:01 stepanov:01 iirc:01 o'caml:01 caml:02 archives:02 supported:02 bugs:03 programming:03 let:03 implement:06 mainstream:06 discussion:06 

hi,

the caml archives show discussion around C++ polymorphism wrt STL
(since Stepanov iirc said that C++ was the only language which
supported what he needed to let him implement his generic programming)
but i didn't yet see anywhere a concrete implementation or mapping
from C++ STL to O'Caml.

i'm just trying to get my head around what it might look like, and
if/how it might be useful. (it just bugs me that somebody can claim
that C++ is the /only/ language that could do it -- maybe the real
quote implied "mainstream" or something. apparently Ada wasn't up to
snuff http://www.sgi.com/tech/stl/drdobbs-interview.html)

sincerely.