G
ну я и говорю про оффсет
Ты говоришь про адрес
Size: a a a
2020 March 07
AZ
только это не потому что в нем монадические типчики, просто не успели сделать таргет
p
всё это есть в расте, с монадическими резалтами, футурами, итераторами и опшнами
1. Слишком много абстракций, ты по сути не контролируешь работу программы в рантайме, а тебе важен каждый байт.
2. Минимальный размер хеловорда на расте без СТД около 609 КБ, что дохрена
2. Минимальный размер хеловорда на расте без СТД около 609 КБ, что дохрена
∅ч
Ты говоришь про адрес
адрес+оффсет
∅ч
я говорил про относительный адрес поля) типо оффсет
AZ
Т-34 85
Нет, не всегда. Иногда можно применить более хитрые трюки
либо генерируешь по структурке на тип. либо боксишь
AZ
есть еще костыльный вариант типа типы с одинакоым размером коэрсить в одну структуру, и тэгом таскать что за данные внутри
∅ч
1. Слишком много абстракций, ты по сути не контролируешь работу программы в рантайме, а тебе важен каждый байт.
2. Минимальный размер хеловорда на расте без СТД около 609 КБ, что дохрена
2. Минимальный размер хеловорда на расте без СТД около 609 КБ, что дохрена
а после strip?
AZ
но это на любителя
AL
интересно, тот питерский доклад раст-встроенщиков так и не попал на запись никуда? жалк, они там болью делились довольно детально
p
а после strip?
Это после всевозможных оптимизаций
G
адрес+оффсет
Теперь правильно
λ
Эх, как же хорошо не писать под мк
AZ
интересно, тот питерский доклад раст-встроенщиков так и не попал на запись никуда? жалк, они там болью делились довольно детально
боль из-за опшнов? Или может все же борровчекер и плохая поддержка ффи и таргета?
Т8
с чего это макросы не так сильно разрастаюстя если это буквально одно и то же?
Потому что макросы очень редко рекурсивно вызывает себя. А шаблоны могут херову тучу раз проинстанцироваться
DS
А зачем?
Иногда удобно, например вот так можно ввести тип натурального преобразования c красивым типом как у функций:
trait ~>[F[_], G[_]] {
def apply[A](f: F[A]): G[A]
}
val headNat = new NonEmptyList ~> Id {
def apply[A](f: NonEmptyList[A]): Id[A] = f.head
}
headNat(NonEmptyList(1, Nil)) // выведет 1
val optionToList: Option ~> List = ???
val headOptionNat: List ~> Option = ???
// и т.д. и т.п.AL
боль из-за опшнов? Или может все же борровчекер и плохая поддержка ффи и таргета?
там вообще куча всякой боли была, я уже не помню точно
p
боль из-за опшнов? Или может все же борровчекер и плохая поддержка ффи и таргета?
Какой там размера хеловорда бинаря у растовского приложения с СТД после всяких стрипов?
p
1.5 МБ вроде
AL