EO
Агриться не обязательно
Size: a a a
2020 August 07
AT
Агриться не обязательно
Что делать? 😊
AT
Предполагать, что у меня есть node_modules, в которых есть пакет с типами, но я этого не знаю тоже не обязательно было делать. 😉
AT
Не то, чтобы принципиально лучше GitHub, но всё равно спасибо! 😊
c
ну на гх там же мастер обычно, может отличаться от выгрузки в npm
AT
ну на гх там же мастер обычно, может отличаться от выгрузки в npm
Это мне более-менее пофиг, см. выше. 😃
c
а ты пытаешься написать свой тайпчекер не используя тс?
AT
а ты пытаешься написать свой тайпчекер не используя тс?
Пока — нет. 😊
Пока что просто сигнатуры нескольких функций хотел посмотреть/проверить.
А так я пишу некоторый статический анализатор TS-кода. Скоро и до "проверки" типов доберусь. На самом деле мне их только парсить нужно будет.
Пока что просто сигнатуры нескольких функций хотел посмотреть/проверить.
А так я пишу некоторый статический анализатор TS-кода. Скоро и до "проверки" типов доберусь. На самом деле мне их только парсить нужно будет.
MP
Пока — нет. 😊
Пока что просто сигнатуры нескольких функций хотел посмотреть/проверить.
А так я пишу некоторый статический анализатор TS-кода. Скоро и до "проверки" типов доберусь. На самом деле мне их только парсить нужно будет.
Пока что просто сигнатуры нескольких функций хотел посмотреть/проверить.
А так я пишу некоторый статический анализатор TS-кода. Скоро и до "проверки" типов доберусь. На самом деле мне их только парсить нужно будет.
можно немного больше информации? Как ты собираешься этот недоязык проверять (к сожалению эта интересная тема может не вкладываться в рамки этой группы, так что если есть ссылка буду благодарен)
AT
можно немного больше информации? Как ты собираешься этот недоязык проверять (к сожалению эта интересная тема может не вкладываться в рамки этой группы, так что если есть ссылка буду благодарен)
Я работаю над поддержкой TS в одном из модулей в недрах https://www.ptsecurity.com/ru-ru/products/ai/ но это полный оффтоп. 😊
AT
"Как проверять этот (и другие) недоязыки" — конкретно наш модуль делает "облегчённый вариант" абстрактной интерпретации.
c
"Как проверять этот (и другие) недоязыки" — конкретно наш модуль делает "облегчённый вариант" абстрактной интерпретации.
но там наверное у вас все построено на очень сильных допущениях чистоты кода, т к в js можно творить все что угодно неявным образом что сломает любую тайпсистему
MP
"Как проверять этот (и другие) недоязыки" — конкретно наш модуль делает "облегчённый вариант" абстрактной интерпретации.
а где будет правильное место для такого рода обсуждений? (просто интересуюсь)
AT
но там наверное у вас все построено на очень сильных допущениях чистоты кода, т к в js можно творить все что угодно неявным образом что сломает любую тайпсистему
У нас всё построено на допущении, что мы по-любому будем пропускать как false positives, так и false negatives. 😃
Типы вообще нам нужны только для уменьшения количества false positives, так-то они ни на что особо не влияют, и тот же движок будет прожёвывать и чистый JS.
Типы вообще нам нужны только для уменьшения количества false positives, так-то они ни на что особо не влияют, и тот же движок будет прожёвывать и чистый JS.
AT
а где будет правильное место для такого рода обсуждений? (просто интересуюсь)
Компиляторный чат.
MP
но там наверное у вас все построено на очень сильных допущениях чистоты кода, т к в js можно творить все что угодно неявным образом что сломает любую тайпсистему
там наверно трансляция на микро ЕДСЛ а потом по набору вызовов делают анализ горячих точек
AT
там наверно трансляция на микро ЕДСЛ а потом по набору вызовов делают анализ горячих точек
Вообще нет. 😊 Даже не очень понял, что Вы имеете в виду?
MP
Вообще нет. 😊 Даже не очень понял, что Вы имеете в виду?
первичный парсинг -> АСТ -> очистка от не релевантных операции -> парсинг (наверно через реально подгружаемый код , чтоб сохранить семантику -> идентификация вызовов АПИ которые потенциально опасны -> приоритизация на основе рулов -> репорт . НО как я упомянул это все спекуляция, на салфетке
AT
первичный парсинг -> АСТ -> очистка от не релевантных операции -> парсинг (наверно через реально подгружаемый код , чтоб сохранить семантику -> идентификация вызовов АПИ которые потенциально опасны -> приоритизация на основе рулов -> репорт . НО как я упомянул это все спекуляция, на салфетке
Примерно так, только без втрого парсинга (хотя это спорно, там есть стадия конвертации в другой AST) и без приоритезации. 😊