Телеграмм чат группы prophp7 страница 11375

23:39пожаловаться #1

/bin/cat in PHP

Алексей Гевондян

в один момент времени одна переменная может иметь 1 тип. осталось только писать так, чтобы переменная имела 1 и только 1 тип от начала и до конца своей жизни. и будет норм.

Можно написать условие, которое может вызывать изменение типа

23:39пожаловаться #2

В сях тип обязан указывать тип в коде - это место хранения информации о типе, а в пхп он может быть вычислен

23:39пожаловаться #3

АГ

Альберт Степанцев

да в прямом
мне больше нечего добавить

да, аргументы - не ваша сильная сторона.

23:39пожаловаться #4

Но это тип

в плане?

в плане что подобный подход никак не может. Это всё равно что кормить пса кошачьим кормом и считать, что это кот

23:40пожаловаться #6

АГ

Можно написать условие, которое может вызывать изменение типа

например? в бул переделать? ну в следующей строке кода переменная интом быть не перестанет же

23:40пожаловаться #7

/bin/cat in PHP

В пхп есть такая функция как settype

В сях тип обязан указывать тип в коде - это место хранения информации о типе, а в пхп он может быть вычислен

А если есть тип any, язык всё равно считается статически типизированным?

23:41пожаловаться #9

АГ

В пхп есть такая функция как settype

она меняет тип, известен наперед тип до и тип после. но лучше так не делать, а новую переменную завести $b = (string) $a например.

23:41пожаловаться #10

Artem Molotov

А если есть тип any, язык всё равно считается статически типизированным?

а почему вообще должно быть обратное?

23:42пожаловаться #11

АГ

Artem Molotov

А если есть тип any, язык всё равно считается статически типизированным?

в пыхе такого нет же, даже mixed нет, это просто обозначение неизвестности типа

Альберт Степанцев... in PHP

23:42пожаловаться #12

АС

Artem Molotov

А если есть тип any, язык всё равно считается статически типизированным?

даже в статической типизации есть место выводу типа

23:42пожаловаться #13

/bin/cat in PHP


$x;
if(mt_rand(0, 2) === 2){
    $x = true;
} else {
    $x = 10;
}

Тип нельзя вывести во время компиляции. Только в рантайме

23:42пожаловаться #14

это всего лишь явное указание, что тебе тип не важен

23:42пожаловаться #15

Alexcc in PHP

Почти во всех сторо типизированных языках есть костыль который дает независимость от типа

23:43пожаловаться #16


$x;
if(mt_rand(0, 2) === 2){
    $x = true;
} else {
    $x = 10;
}

Тип нельзя вывести во время компиляции. Только в рантайме

а юнион тайп уже не тип?

23:43пожаловаться #17

АГ


$x;
if(mt_rand(0, 2) === 2){
    $x = true;
} else {
    $x = 10;
}

Тип нельзя вывести во время компиляции. Только в рантайме

если создать инструмент, который запретит такие штуки - то будет норм) ошибка "переменная х уже выше объявлена как bool. используйте другую переменную"

23:43пожаловаться #18

такое даже в сях есть есличо

23:43пожаловаться #19

Alexcc in PHP

с++ шаблоны go пустые интерфейсы c# Object дальше можно еще долго продолжать