DP
я хочу сделать визуальный язык для смарт-контрактов, для EVM (ethereum virtual machine)
тогда тебя скорее должна интересовать доказуемость правильности работы. а это уже очень сложная тема
Size: a a a
2021 January 08
кY
ну самая виртуальная машина описана в желтой бумаге эфириума и я уже читал ее и представляю как она работает (разбирал реализацию из parity и писал свою). мне больше интересно как сделать часть, по которой генерировать байткод для неё. может есть какие-то книжки с примерами fbp языков, вроде "давайте сделаем свой игрушечный fbp language с визуальным редактором"
AT
подскажите, пожалуйста, где\что можно почитать на тему?
Можно начать отсюда.
PS
Некоторые вещи являются общими для многих визуальных языков. В частности, при трансляции необходимо упорядочить выполнение отдельных блоков. В простых случаях для этого достаточно топологической сортировки.
кY
попробую поковырять примеры таких языков)
AS
Я немного выпала из реальности, но могу вернуться!
Как я тебя понимаю! (извините за оффтоп)
Зарабатываешься, потом устаешь и … выпадаешь. А жизнь в чате кипит 🙂
Зарабатываешься, потом устаешь и … выпадаешь. А жизнь в чате кипит 🙂
АУ
Как я тебя понимаю! (извините за оффтоп)
Зарабатываешься, потом устаешь и … выпадаешь. А жизнь в чате кипит 🙂
Зарабатываешься, потом устаешь и … выпадаешь. А жизнь в чате кипит 🙂
Ага, внезапно оказалось, что когда компиляторы горят на работе, то не до чата 🌚
AS
Да это ж Wasm! 😂
Присоединяюсь!
PS
Ага, внезапно оказалось, что когда компиляторы горят на работе, то не до чата 🌚
А чат и сопутствующие ему материалы совсем-совсем не помогают в этой работе?
АУ
А чат и сопутствующие ему материалы совсем-совсем не помогают в этой работе?
Пока нет, у меня чаще всего прозаические проблемы. Типа завести симулятор без документации
AS
А чат и сопутствующие ему материалы совсем-совсем не помогают в этой работе?
Мне, увы, не в работе, но помогают.
1) Получаю удовольвствие от изучения предоставляемых материалов.
2) Накапливаю теорию
3) Скоро будет, где применять - применим! 🙂
1) Получаю удовольвствие от изучения предоставляемых материалов.
2) Накапливаю теорию
3) Скоро будет, где применять - применим! 🙂
PS
С одной стороны, хорошо, что не было ответов в духе: мы используем передовые подходы в полиэдральной оптимизации, а в чате обсуждают всякий примитив и ругаются :)
АУ
У меня временный спад интереса к теории, увы. Не знаю, в чём дело, может переезд вырубил меня и прочие радости 2020
AG
а куда переезд?
АУ
а куда переезд?
В Ирландию, я теперь Movidius пилю в Intel
AG
поздравляю!
PS
В Ирландию, я теперь Movidius пилю в Intel
О! Это же интересный проект! С Halide уже имели дело?
IP
В Ирландию, я теперь Movidius пилю в Intel
вау, нифига тут профи сидят
IP
классная штука
PS
И вот вам, пожалуйста, как я и говорил давно — компиляторщики очень нужны для работы со спецпроцессорами.