F
потому хуй нам а не дженерики
ну наколеночное решение Феррара делал же )
Size: a a a
2019 December 03
SP
FOX
ну наколеночное решение Феррара делал же )
оно в компайл тайме работает.
SP
в компайл тайме все просто
SP
в рантайме дорого
SP
да даже вопрос что делать с рефлексией
SP
и прочими прелестями интроспеции.
F
мыть чаще надо, что тут сделать ещё
KN
может разберешься перед тем как пробовать умные слова говорить?)
private some $int - инвариант
func(int $int) - преконишн
func(): int - посткондишн
а то, что у них логика захардкожена и нельзя условия писать - это уже не важно)))
func(int $int) - преконишн
func(): int - посткондишн
а то, что у них логика захардкожена и нельзя условия писать - это уже не важно)))
SP
private some $int - инвариант
func(int $int) - преконишн
func(): int - посткондишн
а то, что у них логика захардкожена и нельзя условия писать - это уже не важно)))
func(int $int) - преконишн
func(): int - посткондишн
а то, что у них логика захардкожена и нельзя условия писать - это уже не важно)))
это типы. инварианты и прочие атрибуты логики Хоара это более широкая штука. То что ты их типами выражаешь это да. Но от этого оно не перестает быть типами
KN
ну дык
SP
и по факту являются не типами, а инвариантами (пре/посткондишенами)
по факту это ТИПЫ которые позволяют тебе частично покрывать инварианты стэйта и прекондишены операций
SP
ключевое слово тут "ты не прав со своей формулировкой"
SP
$x / $y
SP
какие тут прекондишены у операции
/SP
и как ты можешь их покрыть типами в пыхе
KN
я Стогову пару недель назад наборсил на тему добавления фичи с
type email ($val) => preg_match(....) > 0KN
=)
SP
я Стогову пару недель назад наборсил на тему добавления фичи с
type email ($val) => preg_match(....) > 0у тебя уже есть
assert и не еби головуSP
причем assert даже круче потому что ты можешь их отрубить
Д
омг, нахуй типы
овер999999 рефлексии это проблема пхп, а не типов