K
https://docs.racket-lang.org/ts-guide/occurrence-typing.html - что-то такое? Ну, как бы алгебраические типы + case...of и так это делают, например.
А что за NbE?
А что за NbE?
Size: a a a
2021 July 02
AT
Normalization by Evaluation.
AG
популярный подход к реализации полной редукции (т.е. частичных вычислений под байндерами)
AG
используется в основном в пруверах для проверки дефиниционального равенства - два символьных выражения равны если имеют одну строгую нф
A
А сами реализации подходят? Как я понимаю, occurrence typing - примерно то же самое, что и type narrowing, который есть например в TypeScript. И в тайпчекерах питона тоже используется, так что можно ещё на mypy и pyright посмотреть
DP
a.k.a. Flow-sensitive typing
DP
Про Flow и про local type inference статьи выходили.
2021 July 03
DP
а есть какие-то подвижки в LLVM по поводу поддержки операций над битовыми полями в регистрах и памяти на уровне генерации кода?
DP
Переслано от Dmitry Ponyatov
на самом деле это вопрос бэкенда LLVM (генерация кода для редких архитектур с битовой адресацией или бит.операций для остальных), и походу там конь не валялся
2021 July 04
АП
Есть deep binding, есть lexical addressing.
Какие ещё есть стратегии variable lookup?
Какие ещё есть стратегии variable lookup?
K
dynamic scope, lexical scope
АП
ой, это не то. Я походу не точно выразился.
Меня интересует:
Как ещё можно делать variable lookup?
Меня интересует:
Как ещё можно делать variable lookup?
K
Подстановками (копировать тело определения, заменяя имя переменной на значение); тащить в эвалуаторе параметром мапу (имя -> значение); индексы де Бройна (de Brujin); locally nameless;
bound от КметтаK
bound, собственно, и есть реализация locally nameless
АП
дык мапу надо таскать в любом случае, не?
АП
как по мне, индексы де Бройна по сути то же что и lexical addressing
AT
Scope graphs!!! 😄
AT
Или Вы про лукап в рантайме?
АП
мне интересно и то и другое
AT
Ну, для compile-time я предложил, в рантайме -- смотря что пишем. В интерпретаторе таскаем environment в том или ином виде, в компиляторе -- разные есть варианты, смотря что за переменные.