[Replying just to this small bit. Also not on guile-user, so please cc
me on replies]
On Thu, Nov 8, 2012 at 3:46 PM, Ian Price wrote:
>
> At least, these are my immediate reactions, I will be happy to be proved
> wrong. (I'm going to CC Typed Racket's SamTH, I expect a clos-like
> solution has b
2012/11/8 Ian Price :
>> I've heard a lot about the type system of Haskell, but I don't know
>> any details. Neither do I know much about racket's, but I know for
>> sure that it doesn't suit my taste.
> How can you accurately judge something you don't know much about?
Because it's my taste that I
Hi,
Panicz Maciej Godek skribis:
> There is, however, a good base for a type system shipped with guile's
> GOOPS. And I think that it would be wisest to extend it, so the
> language remains coherent.
GOOPS provides nothing beyond syntactic support. It’s only about
dynamic typing.
For static t
Panicz Maciej Godek writes:
> I've heard a lot about the type system of Haskell, but I don't know
> any details. Neither do I know much about racket's, but I know for
> sure that it doesn't suit my taste.
How can you accurately judge something you don't know much about?
> GOOPS' type system is l
> The first part of this message may look irrelevent, but you'll
> understand why I decided to start this way.
>
> I'm going to write a library.
>
> Here is the list of things I care about (from the most important to
> the least important):
>
> - Strict type system;
> - Wide community;
> - Perfo
