АГ
крч надо псалм в ядро встраивать, проверку как этап обработки кода с киданием варнингов / ошибок.
Size: a a a
2020 July 27
A
крч надо псалм в ядро встраивать, проверку как этап обработки кода с киданием варнингов / ошибок.
Мы пошли по вторму кругу =\
ЕР
У псалма и так довольно сложная для разработки система типов, автор старается ничего нового не добавлять, тем более hkt
SP
И дальше люди начинают руководствоваться логикой "стат типизация не ловит логические ошибки - стат типизация не нужна"
На это вот прекрасный доклад: https://www.destroyallsoftware.com/talks/ideology
VS
крч надо псалм в ядро встраивать, проверку как этап обработки кода с киданием варнингов / ошибок.
Компиляцию?
S
а где ссылка на принятый рфц по дженерикам? есть у кого-нить под рукой?
а что, где-то рфц по дженерикам принимали?)
АГ
после выхода на восьмерку с аннотациями надо только перевести псалм с комментов на аннотации, и заживем)
ЕР
Нужна такая же с зав типами
АГ
а что, где-то рфц по дженерикам принимали?)
просто говорят "уже есть", вот я и хочу увидеть приятый рфц)
A
У псалма и так довольно сложная для разработки система типов, автор старается ничего нового не добавлять, тем более hkt
Т.е. ты думаешь, что если кто-то сделать HKT и сделает мердж реквест его завернут?
АГ
Vlad Sobenko
Компиляцию?
компиляцию джит реализовать будет
SP
Проблема с дженеииками в пыхе банальна - импакт на производительность
АГ
достаточно проверки просто... по аннотациям
ЕР
Проблема с дженеииками в пыхе банальна - импакт на производительность
Не в этом, а в том что они в принципе не гарантирует ничего заранее
ЕР
Проблема с дженеииками в пыхе банальна - импакт на производительность
SP
Не в этом, а в том что они в принципе не гарантирует ничего заранее
Ну как, я не про проверку типов в рантацме, я на накладные расходы на уровне zval
ЕР
Т.е. ты думаешь, что если кто-то сделать HKT и сделает мердж реквест его завернут?
Если кто-то сделает то может быть, но я слабо верю в такой исход)
VS
А что такое hkt?
ЕР
Vlad Sobenko
А что такое hkt?
Higher-kinded types