[OFFTOPIC] Re: Handling extensions of programming languages (Perl)

[Stefan Monnier <monnier@iro.umontreal.ca>]

>>> That was my first thought as well.  But then, the declarators appear in
>>> places where other languages have their types.
>>
>> [ I think you use a very restricted definition of "other languages" here.
>>   It's definitely not the case for most of the statically typed languages
>>   I've used, except for C.
>>   I'm thinking of OCaml, SML, Haskell, Agda, Coq, Modula-2, Pascal, Ada, ... ]
>
> Guilty, your honor.  In the last years I've dealt with Emacs Lisp (only
> very recently), Perl, C, Java, JavaScript ... and before that with a
> dialect of PL/1, assembly languages (68000, x86, /390) ... and before
> that with FORTRAN, where everyone's type system seemed to be IMPLICIT
> INTEGER I-N.  So indeed, almost no intersection with your list.

Of those the only ones that are statically typed seem to be C, Java,
Fortran and PL/1; and AFAICT only 50% (C and Java) use a syntax where
the type is placed at a location comparable to where `my` is placed in
Perl, IMO.


        Stefan