|
Сообщение от DjDiablo
|
|
Ну думаю что неявное определение типа это тоже самое что отсутствие типа.
|
Типы есть почти во всех языках, разве что правила приведения могут отличаться.
К примеру, в С/С++ можно сделать так:
int number = 1;
number = 'a';
А Erlang, где отсутствует статическая аннотация типов, так нельзя делать даже с переменной того же типа:
$ erl
0> Number = 0 .
1> Number = 1 .
** exception error: no match of right hand side value 1