From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:58822)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1igvVL-00017l-Hc
 for guix-patches@gnu.org; Mon, 16 Dec 2019 13:54:04 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1igvVK-0005vK-EV
 for guix-patches@gnu.org; Mon, 16 Dec 2019 13:54:03 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:34385)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1igvVK-0005uX-Bb
 for guix-patches@gnu.org; Mon, 16 Dec 2019 13:54:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1igvVK-0008WI-9w
 for guix-patches@gnu.org; Mon, 16 Dec 2019 13:54:02 -0500
Subject: [bug#38605] [WIP MLton 0/1] Add MLton
Resent-Message-ID: <handler.38605.B38605.157652240432703@debbugs.gnu.org>
MIME-Version: 1.0
References: <877e2z7e3x.fsf@posteo.net> <87v9qix001.fsf@gnu.org>
 <87y2vd43uo.fsf@posteo.net> <87tv60k2pw.fsf@gnu.org>
In-Reply-To: <87tv60k2pw.fsf@gnu.org>
From: zimoun <zimon.toutoune@gmail.com>
Date: Sun, 15 Dec 2019 02:59:47 +0100
Message-ID: <CAJ3okZ3+6rVQuG9hGr6PRiQmsMMBoFA3PjuRLN22oMuNDVsktA@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: Brett Gilio <brettg@posteo.net>, 38605@debbugs.gnu.org

Hi,

I am -- for sure -- not in topic. :-)

On Mon, 16 Dec 2019 at 11:03, Ludovic Court=C3=A8s <ludo@gnu.org> wrote:

> summit).  This sounds very much like programming language research
> question.

To my knowledge, the most advanced ML-family language able to
bootstrap (and verified with prover etc.) is CakeML (subset of
Standard ML).

(And not packaged in Guix, AFAICT.)

https://cakeml.org/


All the best,
simon