Size: a a a

Compiler Development

2021 May 03

AT

Alexander Tchitchigi... in Compiler Development
Strictness analyser встроен в GHC.
источник

EL

Evgeny Link in Compiler Development
Я уже поехал, спасибо
источник

А⚙

Антон ⚙️ in Compiler Development
Если ты про вывод строгости, то он временами немного неочевидно работает
источник

AT

Alexander Tchitchigi... in Compiler Development
Ну, это лучшее, что есть для поиска утекающих задумок помимо динамического анализа и мясных мешков.
Всяко получше встроенных средств для поиска UB.
источник

EL

Evgeny Link in Compiler Development
Кстати, если вы ещё не знаете про MIP*=RE

We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages.

Папер: https://arxiv.org/abs/2001.04383
Фоллоу пост: https://quantumfrontiers.com/2020/03/01/the-shape-of-mip-re/
источник

KR

K R in Compiler Development
Ну можно было как в Клине сделать предупреждения анализатора строгости. Чтобы в функции

add :: Int -> Int -> Int
add a b = a + b

он заставлял расставить аннотации.
источник

D

Danya in Compiler Development
Немного не связано с компиляторами, надеюсь админы не будут против
Выберите определение машинного кода
1. Машинный код — это то, что предоставляет процессор внешнему миру. То, во что транслируется его ассемблер. Может интерпретироваться как самим процессором, так и его микропрограммами (х86).
2. Машинный код — это код, который интерпретируется непосредственно самим физическим устройством.
источник

D

Danya in Compiler Development
Я согласен с
Анонимный опрос
71%
1
29%
2
Проголосовало: 49
источник

kO

kikimych O_O in Compiler Development
Бинарные трансляторы и эмуляторы же ещё есть, вообще не железка так то
источник

kO

kikimych O_O in Compiler Development
Ну и строго говоря это просто набор байтов, который загрузчик процесса для цпу, драйвер для гпу/нпу кладёт в сегмент кода/области памяти, на которые замарплены очереди команд. Как он сгенерен не имеет значения, хоть рандомным генератором. И он даже не обязательно валиден, железка может бросить хардварный эксепшн в этом случае.
источник
2021 May 04

EL

Evgeny Link in Compiler Development
Где вариант "Я фронтендер"?
источник

LA

Liber Azerate in Compiler Development
Фронтендер-компиляторщик? :)
источник

EL

Evgeny Link in Compiler Development
Интерпретаторы считаются?
источник

LA

Liber Azerate in Compiler Development
Думаю, да
источник

AT

Alexander Tchitchigi... in Compiler Development
Так сейчас даже JS компилируют в JS Бабелем. 🤷‍♀
источник

EL

Evgeny Link in Compiler Development
Читаю вакансию:
> Strong CS foundations with ability to design and implement algorithms operating on typical frontend related data structures

This is what I call "black magic"
источник

Т8

Т-34 85 in Compiler Development
just "magic" please
источник

ДК

Дмитрий К in Compiler Development
Это касается лишь тех замыканий, которые переезжают в кучу. Те, что не покидают стека, и те, что не захватывают локальных переменных (например, метод объекта) вполне себе работают и без gc.
источник

AT

Alexander Tchitchigi... in Compiler Development
Для справки: замыкания, которые НЕ захватывают локальных переменных НЕ называются замыканиями.
источник

ДК

Дмитрий К in Compiler Development
В D это всё называется делегатами.
источник