Re: Perl 6: Static/Dynamic Strong/Weak Type Systems

I remember Audrey Tang mentioning that the Perl 6 type system has been influenced by the Dylan programming language, in which "Programs can be written on a continuum from fully dynamically typed to fully statically typed". So I guess Dylan could also be classified as "hybridly typed". When you stated that Perl 6 is the only language classifed as hybridly typed, I assume you are referring to this link: wikipedia Type System (next time, please provide the link you are referring to). Though this link classifies Lisp as dynamically typed, it does not explicitly mention the (Lisp-derived) Dylan.

Comment on Re: Perl 6: Static/Dynamic Strong/Weak Type Systems

Replies are listed 'Best First'.
Re^2: Perl 6: Static/Dynamic Strong/Weak Type Systems by salva (Canon) on Apr 16, 2006 at 10:34 UTC
(Common) Lisp also supports type declarations that may be used by the compiler to generate optimized code. I had always though that Perl6 is comming so close to Common Lisp that instead of writting a virtual machine like Parrot and a Perl6 to Parrot compiler, it would be much easier to write a Perl6 to Common Lisp translator and run it on top of a free Lisp environment like CMUCL.	[reply]
Re^3: Perl 6: Static/Dynamic Strong/Weak Type Systems by stvn (Monsignor) on Apr 16, 2006 at 13:37 UTC
There was actually some talk of a CL backend for Perl 6, especially given the CLOS-like direction the metamodel has taken. However, CL's type declarations are mostly just hints for the compiler, and (as the spec says) the behavior is largely undefined when a value that does not match the type is assigned to a variable with an attached type declaration. In effect (from what I can deduce) this means there is no actual type "checking" in CL. But regardless of this, since everything in Perl 6 will be an object, we basically thought of building it on top of CLOS. But alas, LISP has long suffered from several competing incomplete implementations and we could not find one with good enough (and fast enough) CLOS support to do this. -stvn	[reply]
Re^4: Perl 6: Static/Dynamic Strong/Weak Type Systems by salva (Canon) on Apr 16, 2006 at 14:21 UTC
In effect (from what I can deduce) this means there is no actual type "checking" in CL. I think this is implementation dependant, for instance, on CMUCL types are strictly checked.	[reply]