А
а про что тогда?
Size: a a a
2021 April 08
CD
Это про эсперанто скорее
TK
C ABI - это соглашения о именовании функций, порядках их аргументов, стеке и прочем, насколько я понимаю. Чтобы через ffi иметь возможность расположить в оперативке одну библиотеку на все программы, использующие её.
B
There’s a video somewhere in one of our talks of an Uber engineer typing a single line statement in Xcode and then waiting 45 seconds for the letter to appear in the editor slowly, one-by-one.
А чего они жетбрейнс ИДЕ не попробовали?
ХКод такой каличный, это ппц
А чего они жетбрейнс ИДЕ не попробовали?
ХКод такой каличный, это ппц
TK
Но оно даже не динамически связывает, а статически
А
ну да, c abi - это для ffi, когда два разных бинарных модуля между собой должны общаться на низкоуровневом эсперанто
А
но только оно тут не причём
А
потому что это вообще отдельный вопрос
CD
не отдельный
CD
статическая форма трейта не позволяет связываться в бинарном виде
А
у бинарников скомпилированных не сишным компилятором может быть свой abi
CD
она требует генерации кода
А
далёкий от сишного
А
а ты про это
А
ну да
TK
Так трейт это вообще ничто на уровне типов, а через dyn тоже нельзя по ffi, потому что указатель толстый получается.
CD
Да пофиг на foreign, ты хоть с бинарём своего языка свяжись
TK
Короче, вся информация о типах должна быть известна, а все обобщения мономорфизированы, иначе ни из какого языка нельзя будет с библиотекой общаться
s
В компиляторе есть много мест, которые могут сколь угодно сильно тормозить.
CD
Ну и суть что мы из простейших допущений получим ту самую виндовую COM