p
зав. типы увеличивают его мощность
Что значит мощность?
Size: a a a
2020 April 24
G
во всю зав. типы использовать ты скорее всего не сможешь, какой-то процент покрывает раст уже
B
блин какой же раст медленный
Компиляция или исполнение?
SP
исполнение
D
исполнение
интересно
B
Боль
p
Dima
я хз, я как не захожу в offtopic,мне кажется тут на idris-е или agda как минимум все пишут
На них писать нельзя потому что либ нет
D
На них писать нельзя потому что либ нет
тебе ничто не мешает их цнаписать
p
А так чё бы нет
G
Что значит мощность?
значит без построение транслятора на языке фишек тебе не видать
B
Dima
интересно
Ну раст както подозрительно много анролов циклов делает, непонятео зачем, тае что модет быть
G
линейные типы есть у раста
p
Dima
тебе ничто не мешает их цнаписать
Мешает ограниченность жизни.
D
Ну раст както подозрительно много анролов циклов делает, непонятео зачем, тае что модет быть
раст или llvm?
G
все что тебе надо есть, а больше ты вряд ли сможешь выразить
B
Dima
раст или llvm?
Да без разницы)
D
ну хз
B
Оно по сути за пределы кеша может вылезти, простыня эта
p
все что тебе надо есть, а больше ты вряд ли сможешь выразить
Чё ты токсишь
G
Чё ты токсишь
нука напиши док-во инъективности rev