I agree with Simon on this:
On Wed, Feb 29, 2012 at 08:58, Simon Schick <[email protected]> wrote:
> I'd like to split this discussion in parts:
>
> - just type-hint in functions (as we have it with classes and arrays) or
> bind a variable to a strict type?
> - should it then also be possible bind variables to a specific class
> or interface?
> - should we go for weak or strong types?
> - the type-hint is also weak in one way because it accepts all that's
> compatible with the given type.
These make a lot more sense in terms of discussion and those who don't
agree on having strong type implemented in the language core would
probably see value in type-hinting like we have with classes & arrays
(even if here we enter again in a strong vs. weak discussion).
I for once agree it can be useful to have type-hinting for the other
types, including throwing an error if there's loss of data in
conversion. Although I'm not so sure about having strong types...
Regards,
Daniel Macedo