PS
Kir
Для того, чтобы разобраться с катаморфизмом, не нужно теорката. Это просто свёртка дерева.
Вопрос в том, как подбить ООП-людей в это влезть. Они ведь просто создадут класс TreeWalker, определят там методы preorder, postorder и так далее.
Size: a a a
2019 December 29
AV
он не может собрать софт %) слишком плохо все написано
а тебе не нужно чтобы он мог собрать софт. тебе нужно, чтобы он смог распарсить код
AV
и вытащить семантику из него - всякие типы и проч
FO
а тебе не нужно чтобы он мог собрать софт. тебе нужно, чтобы он смог распарсить код
а как мне на выходе потом получить сорцы?
AV
а как мне на выходе потом получить сорцы?
точно - не знаю. надо погуглить или тут у знающего народа поспрошать
YS
MaxGraey
Расскажите это датасатанистам и статистам, которые на R, python и julia пишут, что они глупые и нужно сразу писать на C++, Java, Rust или Swift
как датасаенс связан с прототипированием? их скриптики на R — это сразу продакшен, то есть код непосредственно для бизнеса
M
как датасаенс связан с прототипированием? их скриптики на R — это сразу продакшен, то есть код непосредственно для бизнеса
Для R может быть, для julia, matlab, python далеко не всегда а лишь прототип и мат модель для проверки гипотизы которая потом уже переноситься на C++, Rust, CUDA и т д
YS
ну да, прототипировать проще на динамике, рефакторить понаписанное - в статике, вот бы еще магический шаг посередине.
динамический объект = статический словарь. вот вам магический шаг посередине.
AV
MaxGraey
Для R может быть, для julia, matlab, python далеко не всегда а лишь прототип и мат модель для проверки гипотизы которая потом уже переноситься на C++, Rust, CUDA и т д
в FPGA 🙂
M
в FPGA 🙂
тоже да) Может им на verilog сразу писать?)
BD
MaxGraey
А на python или julia ты можешь начинать писать что то полезное уже сейчас, достаточно быть знакомым с Си, паскалем или бейсиком
Написать да, а вот после тебя будут переписывать и материться. Хорошо любить себя конечно, но надо и про мейнтейнеров подумать на досуге.
AV
MaxGraey
тоже да) Может им на verilog сразу писать?)
ну, кстати, матлаб тут, как язык, вообще роли не играет. замени его на Lua или на питон какой, или даже на ц++ - мало что изменится.
а вот инструменты матлабовские и либы - это да.
а вот инструменты матлабовские и либы - это да.
BD
динамический объект = статический словарь. вот вам магический шаг посередине.
И где это дает нам типы?
AV
матлаб, как язык - очень слабая штука. слабая, не надежная и дюже тормозная
YS
И где это дает нам типы?
в любом типизированном языке. можно начать со словарей и потихоньку переписывать их на типизированные структуры
BD
в любом типизированном языке. можно начать со словарей и потихоньку переписывать их на типизированные структуры
Это не подходит под определение «магического шага», скорее под «болезненное поползновение». Похожие штуки уже есть в ts и несколько более удобные при этом.
PS
в любом типизированном языке. можно начать со словарей и потихоньку переписывать их на типизированные структуры
К частичным отображениям можно еще добавить термы, множества... и тогда переписывать уже будет необязательно :)
YS
Это не подходит под определение «магического шага», скорее под «болезненное поползновение». Похожие штуки уже есть в ts и несколько более удобные при этом.
эх, если бы там ещё меченые суммы были, можно было бы писать реальные программы на TS
BD
эх, если бы там ещё меченые суммы были, можно было бы писать реальные программы на TS
что это и зачем оно для TS?
2019 December 30
BD
https://docs.raku.org/type/HyperWhatever чтош, видно что с любовью подошли