GNU bug report logs - #38605
[WIP MLton 0/1] Add MLton

Previous Next

Full log

Message #23 received at 38605 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: Brett Gilio <brettg <at> posteo.net>, 38605 <at> debbugs.gnu.org
Subject: Re: [bug#38605] [WIP MLton 0/1] Add MLton
Date: Mon, 16 Dec 2019 22:23:39 +0100

Hi Simon,

zimoun <zimon.toutoune <at> gmail.com> skribis:

> 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/

Right, thanks for the pointer!  CakeML is truly impressive.  It’s also
nice to see how the tiny diagram to the right of the web page clearly
and succinctly describes its compiler/language tower.

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.