[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A bit further toward the flamewar
From: |
Hans Aberg |
Subject: |
Re: A bit further toward the flamewar |
Date: |
Thu, 13 Oct 2011 21:16:08 +0200 |
On 13 Oct 2011, at 18:30, Linas Vepstas wrote:
> On 13 October 2011 10:20, Andy Wingo <address@hidden> wrote:
>> On Thu 13 Oct 2011 16:26, address@hidden (Ludovic Courtès) writes:
>>
>> Anyway this second, proof side of types, is the side that Scheme does
>> not have. C has a stronger story in that regard.
>
> Lack of types in scheme has made me day-dream about learning
> ocaml or haskell.
The Haskell Hindley-Milner type system, as implemented, prevents function name
overloading except in the form of classes, which in effect steal function
names. Getting around it by not loading or rewriting those classes has in
practice proven to be too cumbersome.
Hans
- Re: A bit further toward the flamewar, (continued)
- Re: A bit further toward the flamewar, Mike Gran, 2011/10/13
- Re: A bit further toward the flamewar, Linas Vepstas, 2011/10/13
- Re: A bit further toward the flamewar, address@hidden, 2011/10/13
- Re: A bit further toward the flamewar, Ian Price, 2011/10/13
- Re: A bit further toward the flamewar, Andy Wingo, 2011/10/14
- Re: A bit further toward the flamewar, Linas Vepstas, 2011/10/14
- Re: A bit further toward the flamewar, Andy Wingo, 2011/10/17
- Re: A bit further toward the flamewar, Andy Wingo, 2011/10/14
- Re: A bit further toward the flamewar, Linas Vepstas, 2011/10/14
- Re: A bit further toward the flamewar, Andy Wingo, 2011/10/14
- Re: A bit further toward the flamewar,
Hans Aberg <=
- 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, 2011/10/14
- 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