А⚙
на днях кстати произошло в некотором роде историческое событие в мире компиляторов - появился первый self-hosted язык с зависимыми типами :)
Idris?
Size: a a a
2020 May 20
AG
второй да
PS
на днях кстати произошло в некотором роде историческое событие в мире компиляторов - появился первый self-hosted язык с зависимыми типами :)
А зачем там тогда Scheme? :)
AG
он через него компилится
А⚙
А зачем там тогда Scheme? :)
Вы так говорите, как будто Scheme — это что-то нужное
AG
т.е. всё интересное там происходит до получения IR уровня нетипизированных лямбд, дальше задача считается решенной :)
PS
он через него компилится
То есть он нужен для раскрутки.
AG
То есть он нужен для раскрутки.
ну да, схемный раскруточный файл это сохраненный выхлоп компилятора на самом себе
PS
ну да, схемный раскруточный файл это сохраненный выхлоп компилятора на самом себе
А представление VMCode где-то потом используется? Я вижу, что можно сделать его дамп, но трансляторов из VMCode->куда-то пока не вижу.
AG
я так понял это work in progress
AG
т.е. схема на начальном этапе, а потом более специализированные бэкенды
PS
т.е. схема на начальном этапе, а потом более специализированные бэкенды
Ага, я думал, там сразу все идет через прослойку VMCode.
2020 May 21
dt
Шестнадцатая глава -
Еще в многотомнике Übersetzerbau (Compiler Design) [Reinhard Wilhelm et al.] один из томов
error handling. Dick Grune, Ceriel Jacobs - Parsing Techniques. 2nd ed. 2007.Еще в многотомнике Übersetzerbau (Compiler Design) [Reinhard Wilhelm et al.] один из томов
Syntactic and Semantic Analysis.Про грамматики и порождение текста.
На 15-ой странице -
На 15-ой странице -
2.2.2 generating sentences from a formal grammar.V
Про грамматики и порождение текста.
На 15-ой странице -
На 15-ой странице -
2.2.2 generating sentences from a formal grammar.Спасибо!
VM
Vasiliy Tereshkov
Продолжаю эксперименты со статической типизацией в своём скриптовом языке Umka. К версии 0.2 пришло осознание, что без RTTI не будет правильно работать сборка мусора (особенно в случае интерфейсов). Интересно, может быть, я тут что-то упустил - и без RTTI обойтись можно?
Заодно добавил то, о чём меня много спрашивали - более или менее реалистичный пример внедрения интерпретатора в программу на C, как это делают Lua и Wren.
https://github.com/vtereshkov/umka-lang
Заодно добавил то, о чём меня много спрашивали - более или менее реалистичный пример внедрения интерпретатора в программу на C, как это делают Lua и Wren.
https://github.com/vtereshkov/umka-lang
Про GC: можно и без RTTI, но только "богемский" сборщик мусора. А у консервативных сборщиков есть известные недостатки.
( подробнее - см. л.ящик, чуть позже)
( подробнее - см. л.ящик, чуть позже)
а
Разраб собственного ЯП, в кои-то веки не динамически типизированного
Я тоже этот самый человек!
K
А что такое "богемский"?
K
ааа