R
Никто не должен быть свободен
Size: a a a
2020 October 23
AC
Вот будет вакансия сеньор разворачиватель листов за 300к\нс и что ты со своим растом делать будешь?
пойду в дворники
AC
там тоже в таком мире будут хорошо платить
VD
Выучил раст - иди подметай. Хороший язык.
DF
Дворник зимой неоч
R
Дворник в Калифорнии получает 13 баксов в час
DF
Си можно генерировать зато
DF
Но писать на нем это себя не уважать
R
Дворник в Калифорнии получает 13 баксов в час
Этож почти 2200 долларов в месяц
DF
Кек
AG
Так в нем даже лист нельзя развернуть же.
списки надо вот так разворачивать: https://github.com/imdea-software/htt/blob/master/Examples/llistR.v
VD
списки надо вот так разворачивать: https://github.com/imdea-software/htt/blob/master/Examples/llistR.v
Каждый раз плохеет от таких портянок.
AG
зато в сегфолт развернуть нельзя
VD
Ну вот лично мой моск разворачивается в сегфолт прям.
R
На собеседовании можно написать на доске
LO
Dollar Føølish
Но писать на нем это себя не уважать
когда уже на ghc rts на русте перепишут
R
И сказать опровергните
JC
Каждый раз плохеет от таких портянок.
Тут ещё довольно понятно всё
VD
И сказать опровергните
А тебе в ответ "всё фигня, переделывай", а потом еще и на личности переходят.
AG
ну тут на самом деле часть портянки можно убрать, там не все леммы именно для реверса нужны