Sept. 27, 2009
5:12 a.m.
On 25 Sep 2009, at 01:06, Gerald Britton wrote:
I think that the idea that there is a continuum from weak typing to strong typing is useful. At the weak end, the compiler lets you do anything with anything without any declarations. At the strong end, you have to declare everything and explicitly code all type conversions.
IIRC (15+ years...), in some ML variants you need no type declaration but there are no implicit type conversions either. -- Arnaud