AT
Strictness analyser встроен в GHC.
Size: a a a
2021 May 03
EL
Я уже поехал, спасибо
А⚙
Если ты про вывод строгости, то он временами немного неочевидно работает
AT
Ну, это лучшее, что есть для поиска утекающих задумок помимо динамического анализа и мясных мешков.
Всяко получше встроенных средств для поиска UB.
Всяко получше встроенных средств для поиска UB.
EL
Кстати, если вы ещё не знаете про 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/
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
Ну можно было как в Клине сделать предупреждения анализатора строгости. Чтобы в функции
add :: Int -> Int -> Int
add a b = a + b
он заставлял расставить аннотации.
add :: Int -> Int -> Int
add a b = a + b
он заставлял расставить аннотации.
D
Немного не связано с компиляторами, надеюсь админы не будут против
Выберите определение машинного кода
1. Машинный код — это то, что предоставляет процессор внешнему миру. То, во что транслируется его ассемблер. Может интерпретироваться как самим процессором, так и его микропрограммами (х86).
2. Машинный код — это код, который интерпретируется непосредственно самим физическим устройством.
Выберите определение машинного кода
1. Машинный код — это то, что предоставляет процессор внешнему миру. То, во что транслируется его ассемблер. Может интерпретироваться как самим процессором, так и его микропрограммами (х86).
2. Машинный код — это код, который интерпретируется непосредственно самим физическим устройством.
D
Я согласен с
Анонимный опрос
Проголосовало: 63kO
Бинарные трансляторы и эмуляторы же ещё есть, вообще не железка так то
kO
Ну и строго говоря это просто набор байтов, который загрузчик процесса для цпу, драйвер для гпу/нпу кладёт в сегмент кода/области памяти, на которые замарплены очереди команд. Как он сгенерен не имеет значения, хоть рандомным генератором. И он даже не обязательно валиден, железка может бросить хардварный эксепшн в этом случае.
2021 May 04
EL
Где вариант "Я фронтендер"?
LA
Фронтендер-компиляторщик? :)
EL
Интерпретаторы считаются?
LA
Думаю, да
AT
Так сейчас даже JS компилируют в JS Бабелем. 🤷♀
EL
Читаю вакансию:
> Strong CS foundations with ability to design and implement algorithms operating on typical frontend related data structures
This is what I call "black magic"
> 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
just "magic" please
ДК
Это касается лишь тех замыканий, которые переезжают в кучу. Те, что не покидают стека, и те, что не захватывают локальных переменных (например, метод объекта) вполне себе работают и без gc.
AT
Для справки: замыкания, которые НЕ захватывают локальных переменных НЕ называются замыканиями.
ДК
В D это всё называется делегатами.