lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

Steven Donovan wrote:
>> I'd be curious what a language has to do to be strongly typed by this
>> definition....

I am not a specialist, but it seems that languages like Haskell and Scala are seen as (very) strongly typed. At least they have elaborate (and complex) type systems and are quite touchy about this. They are at least stronger than Java (with its generics using type erasure, although it indirectly affects Scala as well).

On 10/02/2011 11:14, Axel Kittenberger wrote:
Correct me if I'm wrong, but I always understood under strong types no
implicit//hidden typecasts.

Well, Scala makes lot of use of implicits, but at least they are defined formally... And they sure ease the task of the programmer (eg. for Java compatibility) although they can bring confusion as well.

Philippe Lhoste
--  (near) Paris -- France
--  --  --  --  --  --  --  --  --  --  --  --  --  --