K
Есть
https://guitarvydas.github.io/2021/05/15/WASM-Arithmetic-Transpiler.html
Очередная "компиляция в Wasm для самых маленьких", на этот раз с Ohm-JS.
Size: a a a
2021 May 25
PS
"Ohm-JS expects programmers to write follow-on code in JavaScript.". Хороший какой генератор компиляторов :)
AT
Модно-молодёжно! 😁
AT
Переслано от Alexander Tchitchigi...
https://arxiv.org/abs/2105.10819
Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection
Dependently-typed host languages empower users to verify a wide range of properties of embedded languages and programs written in them. Designers of such embedded languages are faced with a difficult choice between using a shallow or a deep embedding. The former is easier to use because the entire infrastructure of the host langauge is immediately available. Meanwhile, the latter gives full access to the structure of embedded programs, but is difficult to use in practice, especially when the embedded language is itself dependently typed.
The main insight presented in this paper is that the choice between shallow and deep embedding can be eliminated by working in a host language with reflection capabilities: we start from a shallow embedding that can use all libraries and tools of the host language, and later use reflection to expose the deep structure of the embedded programs.
Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection
Dependently-typed host languages empower users to verify a wide range of properties of embedded languages and programs written in them. Designers of such embedded languages are faced with a difficult choice between using a shallow or a deep embedding. The former is easier to use because the entire infrastructure of the host langauge is immediately available. Meanwhile, the latter gives full access to the structure of embedded programs, but is difficult to use in practice, especially when the embedded language is itself dependently typed.
The main insight presented in this paper is that the choice between shallow and deep embedding can be eliminated by working in a host language with reflection capabilities: we start from a shallow embedding that can use all libraries and tools of the host language, and later use reflection to expose the deep structure of the embedded programs.
2021 May 26
P
nice 👍
AT
Alive2: Bounded Translation Validation for LLVM
https://www.cs.utah.edu/~regehr/alive2-pldi21.pdf
https://www.cs.utah.edu/~regehr/alive2-pldi21.pdf
РС
гайс а что используется для трансляции с одного ЯП на другой?
вопрос и про инструменты и про подходы
комбинатор парсеров разве не подходят для этого?
вопрос и про инструменты и про подходы
комбинатор парсеров разве не подходят для этого?
к
я удивлен, что в этом чате очень много внимания уделяют парсингу
к
вроде как минорнейшая часть трансляторов и компиляторов
AT
Это называется "компиляция". 😂
к
на парсер-коминаборах можно распарсить конечно, но транслировать-то все равно нужно будет как-то отдельно
AT
Комбинаторы — только первая глава истории... 😊
РС
source - to -source имею в виду
h
ну... компиляция )
AT
А какая разница?
РС
ды всмысле
к
да тут снова терминосрач. Вроде бы договорились, что трансляторы это подкласс компиляторов, которые выдают что-то, что не принято считать низкоуровневым языком
h
нет особой разницы между компилировать в LLVM IR, машинный код или в другой яп.
И там и там можно построить сложнейшую систему со статическим анализом, подсказками и тд. А можно в тупую брать и разные конструкции переводить в output код, хоть даже без AST (просто это больно будет)
И там и там можно построить сложнейшую систему со статическим анализом, подсказками и тд. А можно в тупую брать и разные конструкции переводить в output код, хоть даже без AST (просто это больно будет)