From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4GE2vd8011920
	for <caml-list@sympa-roc.inria.fr>; Mon, 16 May 2011 16:02:57 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuQBAJEt0U1KfVI0kGdsb2JhbACmDggUAQEBAQkJDQcUBCGIcKFFjBqCNYRdN4hiAQEDBoYTBJARhC+BEYVFO4M3
X-IronPort-AV: E=Sophos;i="4.64,374,1301868000"; 
   d="scan'208";a="99135559"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 May 2011 16:02:52 +0200
Received: by mail-ww0-f52.google.com with SMTP id 31so6046046wwb.9
        for <caml-list@inria.fr>; Mon, 16 May 2011 07:02:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:subject:mime-version:content-type:from
         :in-reply-to:date:cc:content-transfer-encoding:message-id:references
         :to:x-mailer;
        bh=MNVURFoQI8kogfKz/DZZy8BdMVi2L8YbH42AcNTsikY=;
        b=upAXU7AqKqegg8smUEYe5GcaC1hwq6nwjLclZizsUTUIdJ43ckM+VZBG2SrgOVgxGF
         l/SQcVkrM0VE4W405cyQyEydKoQCBxGAURFDwf87bEQH1YgEp9XCeHsW0Deh1y1+oCo2
         sF3G75sMBtUZAc5sANMUZ9SYLFIIqEJ337yfs=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        b=S0DldrCgkH3WYur3mgd6odEBwxHycL0VUTSx4a3sKRPuqy3J0U01wFHaA8iRd2R5XI
         Bn6+jPdVcGWl5wRcUFysB2gfm2GlKHqo3iXuh9wAcxNketxRc2FfO3N7aNSJ8CGATwIA
         UbX5Bi0TgGEb9qw8FQt9OWUAL1B61/9Pd5J+k=
Received: by 10.227.39.66 with SMTP id f2mr3373165wbe.2.1305554571899;
        Mon, 16 May 2011 07:02:51 -0700 (PDT)
Received: from [10.0.1.31] ([87.54.60.37])
        by mx.google.com with ESMTPS id w25sm3164538wbd.39.2011.05.16.07.02.48
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 16 May 2011 07:02:49 -0700 (PDT)
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=us-ascii
From: Joel Reymont <joelr1@gmail.com>
In-Reply-To: <BANLkTinJ430ee7=TN9mNQmghPjYU0U+STA@mail.gmail.com>
Date: Mon, 16 May 2011 16:02:46 +0200
Cc: Goswin von Brederlow <goswin-v-b@web.de>, caml-list <caml-list@inria.fr>
Message-Id: <4B14DFCC-03B8-49CD-87A6-844D23FAC53A@gmail.com>
References: <F2D1D152-1088-4E6F-8267-AD6510FE10BD@gmail.com> <87wrhr9n88.fsf@frosties.localnet> <BANLkTik79B8+OgTHvieYDzL_DKs4su68wg@mail.gmail.com> <522E096A-D3D5-466A-A445-AC5932F7B68F@gmail.com> <BANLkTinJ430ee7=TN9mNQmghPjYU0U+STA@mail.gmail.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
X-Mailer: Apple Mail (2.1084)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4GE2vd8011920
Subject: Re: [Caml-list] do i need a private row type?


On May 16, 2011, at 3:39 PM, Gabriel Scherer wrote:

> More generally, I don't think the polymorphic variants bring anything more that what you could have with simple abstract types here.

How would I accomplish this with simple abstract types?

For example, how do I do this?

module Device :
sig

  val streamer  : [`Pull] Socket.t -> [`Push] Socket.t -> unit
  val forwarder : [`Sub] Socket.t -> [`Pub] Socket.t -> unit
  val queue     : [`Router] Socket.t -> [`Dealer] Socket.t -> unit

end

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------