[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A bit further toward the flamewar
From: |
rixed |
Subject: |
Re: A bit further toward the flamewar |
Date: |
Fri, 14 Oct 2011 11:37:12 +0200 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
> Did you know that Coq would only compile a function when it can prove
> that it terminates? That???s another kind of compiler-supported proof one
> quickly gets used to.
It's funny how researchers are concerned by proofs that a program
terminates, while most engineers try hard everyday to design programs so
that they never terminates (unexpectedly). :)
I realize we merely don't work in the same fields. I always write
trivial softwares that handle complex data structures and internal
states, while you probably, both as a researcher and a guile hacker, are
more used to write complex softwares manipulating in non-trivial ways
mere lists of symbols.
So I'm very interested in static type checking while, for instance,
I never fear that one of my simple for-loop may not terminate ; but I
understand that you could be very interested in Coq proving that a
complex recursive algorithm eventually terminates, while you don't care
much about the type checking.
- Re: A bit further toward the flamewar, (continued)
- Re: A bit further toward the flamewar, Hans Aberg, 2011/10/13
- Re: A bit further toward the flamewar, Panicz Maciej Godek, 2011/10/14
- Re: A bit further toward the flamewar, Ludovic Courtès, 2011/10/13
- Re: A bit further toward the flamewar, rixed, 2011/10/13
- Re: A bit further toward the flamewar, Ludovic Courtès, 2011/10/13
- Re: A bit further toward the flamewar, Hans Aberg, 2011/10/13
- Re: A bit further toward the flamewar, Ludovic Courtès, 2011/10/14
- Re: A bit further toward the flamewar, Hans Aberg, 2011/10/14
- Re: A bit further toward the flamewar,
rixed <=
- Re: A bit further toward the flamewar, Ludovic Courtès, 2011/10/14
Re: Why is guile still so slow?, Andy Wingo, 2011/10/12
Re: Why is guile still so slow?, John Lewis, 2011/10/12