ЕР
Есть ещё неплохие практики получающие получть плюшки строгой типизации, формально используя не строгую, типа каст типов только в большую сторону, то есть безопасно, потому что без потерь
Size: a a a
2019 February 21
YZ
Угу. И языков с по-настоящему строгой типизацией мало. Я знаю только один такой - - OCaml
YZ
Там даже разные наборы операторов для арифметических действий над целыми числами, и над вещественными числами.
ЕР
YZ
Да, хорошая статья
EV
Не знаю о чем спор.
Если типы определяются в рантайме - типизация динамическая, на этапе компиляции - статическая.
Если в языке есть неявный каст типов, то есть 1 + "2" = 3, типизация нестрогая(слабая), если 1 + "2" выдает ошибку - строгая(сильная)
Если типы определяются в рантайме - типизация динамическая, на этапе компиляции - статическая.
Если в языке есть неявный каст типов, то есть 1 + "2" = 3, типизация нестрогая(слабая), если 1 + "2" выдает ошибку - строгая(сильная)
хохохохохохо
EV
в С нельзя складывать 1 и «2»
EV
а типизация там слабая
EV
как так?
ЕР
как так?
Вот так
#include <stdio.h>
int main(void) {
int a=1;
float b = 2;
float c = a + b;
printf("%f", c);
}
#include <stdio.h>
int main(void) {
int a=1;
float b = 2;
float c = a + b;
printf("%f", c);
}
ЕР
Или даже так, ещё веселее
#include <stdio.h>
int main(void) {
int a=1;
char b = '2';
float c = a + b;
printf("%f", c);
}
#include <stdio.h>
int main(void) {
int a=1;
char b = '2';
float c = a + b;
printf("%f", c);
}
EV
хмммм
EV
Вот так
#include <stdio.h>
int main(void) {
int a=1;
float b = 2;
float c = a + b;
printf("%f", c);
}
#include <stdio.h>
int main(void) {
int a=1;
float b = 2;
float c = a + b;
printf("%f", c);
}
float с int можно много где складывать
EV
например, в ruby, а он сильно типизированный
EV
Или даже так, ещё веселее
#include <stdio.h>
int main(void) {
int a=1;
char b = '2';
float c = a + b;
printf("%f", c);
}
#include <stdio.h>
int main(void) {
int a=1;
char b = '2';
float c = a + b;
printf("%f", c);
}
а строку с числом можно сложить в Java
EV
и Java тоже сильно типизированный
EV
что тут все ещё не вяжется
ЕР
Есть ещё неплохие практики получающие получть плюшки строгой типизации, формально используя не строгую, типа каст типов только в большую сторону, то есть безопасно, потому что без потерь
.
ЕР
Ок Int+float неудачный пример пример
EV
но ведь 1 + "2" = 3 в JS достигается как раз через касти типов