......@tututu.tu> wrote: lundi, 1 septembre 2008 Ã 22:55 Rediffusions : Pas de rediffusion Puccini - Turandot (Allemagne, Espagne, 2008, 120mn) ZDF Chef de choeur: Francesc Perales, Luis Garrido Costumier: Chen Tong Xun Chef d'orchestre: Lorin Maazel, Zubin Mehta Due direttori? Ciao Roberto Non so il francese e quindi posso solo copiare e ...
...> wrote: lundi, 1 septembre 2008 Ã 22:55 Rediffusions : Pas de rediffusion Puccini - Turandot (Allemagne, Espagne, 2008, 120mn) ZDF Chef de choeur: Francesc Perales, Luis Garrido Costumier: Chen Tong Xun Chef d'orchestre: Lorin Maazel, Zubin Mehta Due direttori? Ciao Roberto Non so il francese e quindi posso solo copiare e incollare il testo seguente, vedi...
...If I think about it, my only point was, that the expression << if random() 0.5 then "a" else 2 > could be typed an stricter than the completely dynamic types of Lisp or Peral (which, I think, are actually polymorphic), specifically as some kind of union type. This is certainly so. But precisely in the moment you do this typing, you do not have a "value of unknown type" ...
... If I think about it, my only point was, that the expression << if random() 0.5 then "a" else 2 > could be typed an stricter than the completely dynamic types of Lisp or Peral (which, I think, are actually polymorphic), specifically as some kind of union type. This is certainly so. But precisely in the moment you do this typing, you do not have a "value of unknown type" anymore. :)...
...If I think about it, my only point was, that the expression << if random() 0.5 then "a" else 2 > could be typed an stricter than the completely dynamic types of Lisp or Peral (which, I think, are actually polymorphic), specifically as some kind of union type. It all depends on the typing system used. I hope I got the terminology right or at least understandable. Regards -- Markus
