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

Previous Next

Package: guix-patches;

Reported by: Brett Gilio <brettg <at> posteo.net>

Date: Sat, 14 Dec 2019 03:59:02 UTC

Severity: normal

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

Bug is archived. No further changes may be made.

Full log

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

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

Hi,

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

On Mon, 16 Dec 2019 at 11:03, Ludovic Courtès <ludo <at> 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
This bug report was last modified 3 years and 23 days ago.

Previous Next

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