From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id ECABFE004D for ; Sat, 18 Jul 2020 18:55:16 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.15.15 as permitted sender) identity=mailfrom; client-ip=212.227.15.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.15.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARkh4exwmNKYIKU/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+gRIJqq85mqBkHD//Il1AaPAdyFrakVwLOO7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVhTexe71/IRG5oQnMqsUbjpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8JwkK1Vrx2uqRJizYDXfo+bM+Fzfr/EfdMfWWZBXtpdWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAoof/uVQOqR6+BRSwBOjy1zJInGX53asn3OQlDArL2wwgEMwKsH?= =?us-ascii?q?TRsdX1KL0eXvuvzKbSyzXMcvdW1Czy6IjNfREtu/eMUqxsccfIz0QkCgzKgEmK?= =?us-ascii?q?p4P/IzOVyvoCs3Kd7+d4Wu+hi24qpxxxrDWgx8ohiI3Ei4AJx1zZ+yt0zog7K9?= =?us-ascii?q?O8RUJlYtOoDYVduiWaOYZyQ84vQW9mtSI6xLAIpJK1cy4Hw4kkyR7Hc/GLbZWE?= =?us-ascii?q?7gz5WOqPPzt1hmhpdK+/ihqo7EStyvXwWteo3FpXtCZJj8TAu38X2xDN6sWKRO?= =?us-ascii?q?Fx8lq/1TqT0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL2nUL2jLKKdkk+9eio?= =?us-ascii?q?7uvmbq/gppCCK494kgD+MqIwlcyjGek0LBUCU3aB9eiiyrHu/1f1TKhKg/Esj6?= =?us-ascii?q?XUsIjWJcEBqa64Bw9V3Jwj6xG6Dzq+0NQXg30HLFdYeBKblYTmIEvOL+r+Dfii?= =?us-ascii?q?h1Shizhrx/XJP7H7BJXCMGTDnK/7fblh805c1BYzzddH6p1IEL4BJfbzVlb1tN?= =?us-ascii?q?zZFR85Lxe5w/3nCdV4zoMRQ3iDAq6fMKPIsF+H/PgjI+eWZNxdhDGoIPEg47bz?= =?us-ascii?q?lnIjghdJdqCs2d4TaWukNvVgOUSQJ3T21IQvC2AP6yozSOn3lBWoSzdVa3L6C6?= =?us-ascii?q?Ix4jQmFMSsF47FSoSFj7mRmiG2AssFNSh9FlmQHCKwJM2/UPAWZXfKe5Izonk/?= =?us-ascii?q?TbGkDrQZ+1SuuQv9kuY1K+3J5msXsIKl0tVptbWKxEMCsAdsBsHY6FmjCmR9n2?= =?us-ascii?q?cGXTgzjfJwpFw7zFqfg/Eh365oUOdL7vYMaT8UcIbGxr0oBNXiHATMYoXRRQ?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CgDgB3KBNfhw8P49RggQmBTIE8AoIuM?= =?us-ascii?q?iyEM4gjiEiEGIYhhheJYoF8CwEDAQwsAQIEAQGGZwIcBwEEOAINAhABAQUBAQE?= =?us-ascii?q?CAQMDBAETAQEBCA0JCCmFYwyCNyKDQh0BATg0AiYCX4M5gksBAzACnmeLKIEyg?= =?us-ascii?q?wEBAQWCSoFyAUsDbIE3CYEOKAMBjHAPgUw/gTgMEIIfiD8zgi2bNok5kDQoB4J?= =?us-ascii?q?LFQSBBAQLmE8egmiOTo4SrS6DeoIBgWMzGi5FKgGCPj4SGQ2OOIgwhhsjMzcCB?= =?us-ascii?q?gEHAQEDCVkBAY5KAQE?= X-IPAS-Result: =?us-ascii?q?A0CgDgB3KBNfhw8P49RggQmBTIE8AoIuMiyEM4gjiEiEGIY?= =?us-ascii?q?hhheJYoF8CwEDAQwsAQIEAQGGZwIcBwEEOAINAhABAQUBAQECAQMDBAETAQEBC?= =?us-ascii?q?A0JCCmFYwyCNyKDQh0BATg0AiYCX4M5gksBAzACnmeLKIEygwEBAQWCSoFyAUs?= =?us-ascii?q?DbIE3CYEOKAMBjHAPgUw/gTgMEIIfiD8zgi2bNok5kDQoB4JLFQSBBAQLmE8eg?= =?us-ascii?q?miOTo4SrS6DeoIBgWMzGi5FKgGCPj4SGQ2OOIgwhhsjMzcCBgEHAQEDCVkBAY5?= =?us-ascii?q?KAQE?= X-IronPort-AV: E=Sophos;i="5.75,367,1589234400"; d="scan'208";a="460315900" X-MGA-submission: =?us-ascii?q?MDHdfto90klU/kMfZht42kaG/TgoKKhC3D2b1J?= =?us-ascii?q?Xg2Ia77pIwZiJkxOHkGDPr0Acst4m+9l9cuBCMlJ7KtdqIqTa1rVxcE3?= =?us-ascii?q?AJ06bCygo7CDcfI6asfejEF2YSUhpwDsj8afceNJo17oNVW2oGOFTUGt?= =?us-ascii?q?c2tmtPk+SK6shyUHAtiLnKuQ=3D=3D?= Received: from mout.gmx.net ([212.227.15.15]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Jul 2020 18:55:16 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1595091316; bh=fUHhxFQJxSiSHu+Ay0FnQRrJEDT8zflI6HAHUVrUfLo=; h=X-UI-Sender-Class:From:Date:Subject:To; b=RZ9hOC4psdsv04tN1nuRvrtD5zG7MCAb+Rr0Z1IQRSdukO5XxfIxAfdiAt3Kc5PBK MUkudABD/Wi2cmfMqPl+rEgxL+KuFvvpQmhuMn6AdBceFviIq5ybydAqFQjdnd7wdh G/HdyxXizA/DMJJSM3spC8C7AWubEvQZkjC5IaPI= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.1.66] ([201.114.253.120]) by mail.gmx.com (mrgmx005 [212.227.17.190]) with ESMTPSA (Nemesis) id 1MXp9i-1kMBWJ2YOq-00YE21; Sat, 18 Jul 2020 18:55:15 +0200 From: Helmut Brandl Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.80.23.2.2\)) Date: Sat, 18 Jul 2020 11:55:13 -0500 Message-Id: <3F5C5F7E-A102-4830-8833-9CDE30E4D8FB@gmx.net> To: caml users X-Mailer: Apple Mail (2.3608.80.23.2.2) X-Provags-ID: V03:K1:2OKXeaQupuIlJk9t3X3JhEynEOik5LBb6MiOygeiXoJNorwJEaI EAhP6CE3l7wp3N3zYoJbfhi1ZCJVd0ZUq2IWNQPw6EIsOYppX1eFDbP/8E/VrbfC0Bj6urO B83IldiT3UvNrk2gCz5OvT02oM4AvHqr9sYrP+LQzMhhGLufEbdLSJvWtR1UIz+9d0XUP4p knO5sbyV9JfkA6eD/TFmw== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:bBVvj2St8fI=:ntRQUIjCes7sTeG2FHLIW+ ls7pr73rSIAkztxd042lc4cYMQKyR6TqpPBdBVQrKXdoVG5Bz+xENA/km7bAGWat8QYyco383 KFK3jcqE2vXjTVD3x64VoKT3/tshu9VL5+s0EKPJpJqHYCr9qnKNfq9YvhcoP2MIHRTIRhIWm FwsH3d7oKqI2jJVK2wSmYaS88PySFfIED3e6vlxa1rJ02ZpNLaVfR+VQuw8DHIxZKYx0OXoqR 0cVt8slBrtrGWI6YM3J5dT2rVjuv/Q+KXjUrcdDXTpSTso7dLQj86XVYvUbeeiQEZ02cLrk/8 oot5VA31XUiwoAUya8MJQLsfeiuKkBQAkMHpzTHX8o68Fjm06A0XZgYRhObkLrAM+++Nzhe/Q F+P9leuVS5ix0JZF15eqZzGa9sim3oiQVBY9Q0aRjm0G9qfyvKDikj2WWmHoSw3eOvwoZKAFI svaKBJWteTRg7Fh5DVXPDW6y8XkOb15kCVjCR0+OjAPrTlg16Zwp+n0VCsAsc+Pqh5x10gnYF idaca6gpczDA4d9JdzO8K90AZQn5hXAHxtiTtOCOO+KkxQY4CMQ/a2ho9NCdLnivdxR0+9tJK 7QrRZFH60mNrzDmhig6Y/0Mhklmoo2UU+1+V2NfUA8sVyCsKJs1FUlEwdHYStSKKaZiE1Pl1s uE9w3d593+VP2TS79Zq5X1EC6GuEwTQSF45XxLvh4En2N2kNOF2xlQ3FwfshTDPMV+uG6iHCi O9hHm0OL+Dd+Oes3cM+YJDZQLxt8GjPSp6kJDq3wE1lTzBfSIC51titf2YR/U0hCMGVjtRlp0 bX2cqGty5EfMvyy5fWnjUqkv88xdojYpkxeR2IsQG86fmG6ewnac79F8VJgDj1Yjo8LGWqqLJ +APYbU1qEe2Q9iTENG4AmnCota+VliupqwY37prgJ3td2XAKbeukkhKxkU8Apk2rVrXz9hBst mtEyWfchqGfoPhq32OkRpSF2da1p0SCYXhV6ZVag7FajygQ8X6artlSl2hZSiQBZlRj9Yu2vO sQecnPz1oVEZHOIasZbD1e+Zxs16UIceid0DT/Q9GtVyXEf/vdeFHHKWrD2LsjIzPeQO+x8sf IEjtAOvEvzuhykg46VKKh8GkDip62dimsffFvgmOf/fbxc9EantidVxDbuLm/YkL97BZPWbPv pvbWML43XFL8FI4HxwPvTS4wj/sGa4SneUw3XK6OlSIwH6sPErLrnrADKpNfOPys4Wla1SDqq KMoYX/SBMhCyCko1UtCJzrugQ7wKcCmmay4XCVw== Subject: [Caml-list] Are there Haskell type families in camp Hi List, I was studying the possibilities of GADTs to emulate dependently typed = language features. I basically found that Ocaml and Haskell have rather = similar possibilities to define types indexed by types (i.e. GADTs). The singleton types are rather equivalent as well. I.e. I can have a = runtime representation of a type to make runtime decisions. However I have found no equivalent of Haskell=E2=80=99s type families in = Ocaml. My question: Is there a way to use singleton types to do type = computation in Ocaml? Thanks for any hint. =E2=80=94 Helmut=