DT
В языках с нормальными системами типов такое и есть
Thus
Size: a a a
2020 July 03
DT
Значит в пхп нормальная система типов?) если там можно так же, просто буковок больше
AK
там не можно так же
AK
ты не можешь комбинировать типы как минимум настколько гибко
AK
+ это в рантайме все проверяется
A
Значит в пхп нормальная система типов?) если там можно так же, просто буковок больше
Нельзя так-же.
DT
Ну напиши плагин к псалм, будет в компайл
AK
к чему спор?
AK
я не понимаю что ты пытаешься донести
DT
Как это соотносится с системой типов?
DT
Пример с zerotoone не показателен
A
Ну напиши плагин к псалм, будет в компайл
Что переводится "реализуй в псалме нормальную систему типов" и будет тебе "нормальная система типов"
DT
Это можно и в пхп
A
Это можно и в пхп
Этого нельзя в пхп. Нет в нем сейчас операторов на уровне типов.
DT
Что переводится "реализуй в псалме нормальную систему типов" и будет тебе "нормальная система типов"
Это простая валидации примитивная, то что ты показал. Где эта мощная и великая система типов то?
DT
Вот в чем вопрос
A
Это простая валидации примитивная, то что ты показал. Где эта мощная и великая система типов то?
Окей. Это простая примитивная валидация. Закрыли тему.
DT
так и запишем, в скале крутая система типов, круче чем в пхп, потому что можно в одну строчку записать
DT
а в пхп целый файл придется создавать
A
а в пхп целый файл придется создавать
Угу. Под каждое ограничение. И писать валидатор под каждое ограничение. И писать ручные трасформации из одного ограничения в другие, чтобы можно было число больше 5 запихать туда, где нужно число больше четырех.