On Sat, May 19, 2012 at 11:44 PM, john skaller
wrote:
> I guess it depends on the base language: Racket and Clojure are
> both Lisp/Scheme dialects, right?
well, they do use sexprs at least. code that is written to take
advantage of loosey goosey forms of dynamic typing with runtime
autocasting w
On 20/05/2012, at 12:16 PM, Raoul Duke wrote:
>> The right way to do it is to do the static typing first. Then provide
>> flexible but statically typed constructions. The more flexible you make
>> them the more closely it resembles dynamic typing, but now we have
>> a range of alternatives.
>
> w
On Sat, May 19, 2012 at 12:32 AM, john skaller
wrote:
> We'll get to that. Felix was always meant to be dynamically typed.
> It is a scripting language after all. However, the way forward I have
> chosen is: instead of "Python is dynamically typed lets try (in vain) to
> add optional static typing
On 19/05/2012, at 4:44 PM, john skaller wrote:
>
> At the moment you have to do this:
>
> typedef ab = (a:int, bint);
> p (z :>> ab);
>
> i.e. you have to explicitly coerce the record to have the exact fields the
> function requires.
Ah, I should add some comments on "polymorphism" here, mea
