IP
ну и генерировать васм несложно
Size: a a a
2021 January 08
BD
вообще выглядит как идеально подходящий для его случая вариант
BD
можно даже для начала пол-спеки реализовать без особых извращений и потом уже дальше идти разбираться
IP
binaryen очень удобный, и можно прокинуть в любой язык @vyorkin
IP
и есть готовые бинды к жсу
BD
и сильно упростит жизнь тех кому потом в этих смарт контрактах разбираться
AS
wasm житит (обычно), он хочет интерпретировать
Компилировать же тоже!
кY
спасибо, да, в конце-концов в любом случае это в васм надо будет компилировать (тк ewasm)
BD
идеально )
AG
я хочу сделать визуальный язык для смарт-контрактов, для EVM (ethereum virtual machine)
звучит очень похоже на то, чем мы в стейтбоксе занимались :)
2021 January 09
кY
если это то, что нагуглил, то у вас было в 1000 раз интереснее, чем то, что я думаю запилить)
AG
да, у нас была идея что визуальные языки неюзабельны без композициональности
AG
поэтому мы в качестве отправной точки использовали струнные диаграммы для моноидальных категорий
AG
ну и это быстро привело к тому что мы начали пилить универсальный редактор для теорката :)
кY
прикольно, только вот на днях читал "7 эскизов о композиционности" (как турист!) %) Спивака и Фонга. не, я вообще ерундой страдаю полнейшей :)
AG
да, ей мы тоже вдохновлялись, у меня даже есть копия с подписями авторов :)
AT
Кстати, книжка неплохо написана в целом)
s
ну и это быстро привело к тому что мы начали пилить универсальный редактор для теорката :)
Можно ссылку, кстати?
Dv
У нас вообще семь модераторов, но в последнее время в активных кроме @GabrielFallen и @maxgraey никого не вижу
Я иногда кого-нибудь мочу :)
AT
звучит очень похоже на то, чем мы в стейтбоксе занимались :)
Больше не занимаетесь? Что случилось?