AS
ага, и это только те нулл-чеки, которые должны породить исключение? пойдёт, хоть и не идеально
Size: a a a
2019 September 21
E
ага вроде
E
хотя оно и по дефолту немного само оптимизировалось - если ллвм видит что один из бранечей ведет к исключению (есть слово unreachable) то он по дефолту сразу понижает вес бранча (аля G_UNLIKELY)
E
т.е. кодген ветку с исключением запихнет куда-нибудь подальше
E
вот так это выглядит
E
в самом низу (соре за АТТ синтаксис) без тестов
2019 September 22
dt
Есть ли акторы для fpc pascal ? A то ничего не ищется.
2019 September 23
M
4-битовая виртуальная машина написанная исключительно на cистеме типов TypeScript-а (которая кстати тюринг-полная):
https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c23d6e
https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c23d6e
AG
осталось компилятор написать
AY
лучше просто счеты выстругать.
VS
как будто тьюринг полная система типов — это что-то хорошее
K
ну можно было и до 8 бит добить, ну что это такое
M
как будто тьюринг полная система типов — это что-то хорошее
Ты так говоришь, как будто опасаешься что кто то начнет вирусы писать используя лишь систему типов)
K
биткоины майнить
VS
MaxGraey
Ты так говоришь, как будто опасаешься что кто то начнет вирусы писать используя лишь систему типов)
обычно тьюринг полнота системы типов — это неприятный сайдэффект
VS
а не цель
VS
на самом деле это значит, что твой тайпчекер гарантировано не всегда завершается
M
на самом деле это значит, что твой тайпчекер гарантировано не всегда завершается
То есть? Ты про compiler bomb?
VS
то есть у тебя тайпчекинг может в какой-то момент упасть с таймаутом и непонятной ошибкой