EG
Идея линейных типов в целом не нова
Size: a a a
2020 May 27
EG
Идея того, что так можно жить и без ГЦ, тоже
EG
Но адекватной реализации я пока не видел
KR
Да, витало в воздухе. Но конкретного чего-то не было.
SP
черч все изобрел еще в 50х а вы просто не хотели слушать
KR
черч все изобрел еще в 50х а вы просто не хотели слушать
у него безтиповое исчисление было, нет?
DS
А здесь, в neut, всё на привычных типчиках, без извращений вида "каждая функция - уникальный тип" и с хорошим таким вагоном завтипной "магии".
На самом деле можно было жить и без этой ерунды, если ты язык был бы с каким-нибудь whole program optimizer и partial evaluation повсюду
p
Но адекватной реализации я пока не видел
ASAP же. Скидывали реализацию на расте.
EG
ASAP же. Скидывали реализацию на расте.
Скинь ещё раз, потому что я нашёл только какую-то хероту про authentication protocol
EG
> This library is awesome. If you use Rust and want ASAP, you should use this!
У чувака нехилое самомнение
У чувака нехилое самомнение
p
На самом деле можно было жить и без этой ерунды, если ты язык был бы с каким-нибудь whole program optimizer и partial evaluation повсюду
Как partial evaluation помогает менеджить память?
DS
На самом деле можно было жить и без этой ерунды, если ты язык был бы с каким-нибудь whole program optimizer и partial evaluation повсюду
Тебе не нужно вообще париться с указанием лайфтаймов, если ты можешь заинлайнить всю программу вместе и автоматом там их расставить.
p
Типо запускать программу и смотреть чтобы ссылки жили столько сколько надо? Или как
DS
Как partial evaluation помогает менеджить память?
Идея в том, что ты инлайнешь ВСЁ и компилятор оптимизирует и анализирует именно эту портянку, тогда по идее он сможет справиться автоматом с расстановкой лайфтаймов, как он делает это сейчас в рамках одной функции
DS
Но компилиться это будет долго, да
p
Oh my
p
Инлайнить всю программу... Это мощно конечно. Учитывая что ты расставляешь лайфтаймы и потом выкидывает этот код.
p
Скинь ещё раз, потому что я нашёл только какую-то хероту про authentication protocol
EG
Сайт классный
EG
Я это видел