From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 302CF7EC6E
	for <caml-list@sympa.inria.fr>; Fri, 13 Jun 2014 11:42:20 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="postmaster@tempura.bentobako.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoABAP7GmlNeFydAl2dsb2JhbABag1+DRaZ0BpkVCgGBBRYPAQEBAQEIFgc8hAMBAQQBIw8BBTsFBgsLGgIFFgsCAgkDAgECAQ04EwgBAYg2DAmyU58+F4EqhDKIE3QWgl+BTAEDkBGLaIU3kBg
X-IPAS-Result: AoABAP7GmlNeFydAl2dsb2JhbABag1+DRaZ0BpkVCgGBBRYPAQEBAQEIFgc8hAMBAQQBIw8BBTsFBgsLGgIFFgsCAgkDAgECAQ04EwgBAYg2DAmyU58+F4EqhDKIE3QWgl+BTAEDkBGLaIU3kBg
X-IronPort-AV: E=Sophos;i="5.01,470,1400018400"; 
   d="scan'208";a="67009910"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 13 Jun 2014 11:42:19 +0200
Received: from [10.226.206.62] (129-202.252-81.static-ip.oleane.fr [81.252.202.129])
	by tempura.bentobako.org (Postfix) with ESMTPSA id 1BF1C164D
	for <caml-list@inria.fr>; Fri, 13 Jun 2014 11:42:15 +0200 (CEST)
Message-ID: <539AC776.3010201@linux-france.org>
Date: Fri, 13 Jun 2014 11:42:14 +0200
From: David MENTRE <dmentre@linux-france.org>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAJBwKuWZHefK-_hD7TdOxKFK8YFU06NXjn2UZSgu6O_5aXVcHQ@mail.gmail.com>
In-Reply-To: <CAJBwKuWZHefK-_hD7TdOxKFK8YFU06NXjn2UZSgu6O_5aXVcHQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Adding Dimensions to types

Hello,

Le 13/06/2014 11:10, Roberto Di Cosmo a écrit :
> More recently, you can find support for physical dimensions incorporated
> into F# [3].

Also in Ada 2012 
(http://www.adacore.com/adaanswers/gems/gem-136-how-tall-is-a-kilogram/) 
or even in some extensions to C (http://mbeddr.com/).

> Now the question that arose yesterday, and that we could not answer
> right away, is whether it is possible to encode such dymension checking
> in OCaml today using only the existing type-system features

I am also interested in the answer.

Sincerely yours,
david