d
но если говорить про скалу, человек в совершенстве владеющий фп, тк, тт явно будет отличаться от чувака, который пишет на скале как привык в своем императивном языке
Size: a a a
2019 June 19
d
можно однозначно сказать уровень скилла конкретно по языку и какой код на выходе будет
OO
но если говорить про скалу, человек в совершенстве владеющий фп, тк, тт явно будет отличаться от чувака, который пишет на скале как привык в своем императивном языке
что такое "тт" ?
GP
что такое "тт" ?
видимо теория типов
d
что такое "тт" ?
HoTT
GP
а; хотт вообще
d
ну вы поняли, два чувака вроде как помидоры и чечню прошли
d
но один выдает более совершенный и эффективный код, так как лучше инструментом владеет
OO
есть большие сомнения, что навороченный по заветам гуру "фп, тк, тт" код является более эффективным или совершенным
AK
но один выдает более совершенный и эффективный код, так как лучше инструментом владеет
Эффективность кода от инструмента вообще в последнюю очередь зависит :)
Разве что эффективность шлёпанья строчек
Разве что эффективность шлёпанья строчек
d
это хорошая тема для обсуждения
AK
есть большие сомнения, что навороченный по заветам гуру "фп, тк, тт" код является более эффективным или совершенным
таки да. Всему своё место
GP
есть большие сомнения, что навороченный по заветам гуру "фп, тк, тт" код является более эффективным или совершенным
да, нужен баланс в знаниях какой-то
не только теория но и уметь применить
не только теория но и уметь применить
d
как оно на самом деле
d
но сторонники наворот указывают на то, чтомы большой пласт работы перекладываем на компилятор
d
и плюс многие типы багов уходят сами собой
OO
а про "достаточно продвинутый компилятор" уже рассказывали?
OO
и как он в недалеком будущем будет делать 99% работы?
d
а про "достаточно продвинутый компилятор" уже рассказывали?
я готов послушать разные мнения
d
ради баланса