SS
Но я не знаю, там придется вляпаться в грязь из IO
Size: a a a
2020 May 02
SS
говорят что на хаскеле работы нет. пиздят? можно же что-то выполнять на хаскеле используя умение промывать заказчику мозги доказывая что эта же задача может быть выполнена не на его яп?
Есть
SS
Я вот удивился, но даже сеньоры раста есть
SS
Хотя там от сеньора опыта требуется больше, чем Раст существует
𝙼
а что там с окнами? мне доводилось сидеть только на восьмерке недолго
JC
говорят что на хаскеле работы нет. пиздят? можно же что-то выполнять на хаскеле используя умение промывать заказчику мозги доказывая что эта же задача может быть выполнена не на его яп?
Без б
JC
Если ты сеньор и можешь вытащить проект в одно рыло
SS
Вообще, на расте балдежно объекты большие обрабатывать и делать что-то с математикой
SS
Но математикой не в плане вычислений, а в плане абстракций и объектов
SS
По идее, на хаскелле можно было бы доказательную программу написать, что оперирует математическими выводами
JC
Проблемы с Хаскелем и остальными ФП языками это то, что мало у кого есть промышленного опыта на них
JC
По идее, на хаскелле можно было бы доказательную программу написать, что оперирует математическими выводами
Не, для этого хаскель слишком слаб
JC
Раст еще слабее
SS
Не, для этого хаскель слишком слаб
Достаточен
JC
Вот все штуки, о которых ты говоришь пишутся на языках с более прокаченой системой типов
SS
Agda
JC
Idris, Coq и прочие с зависимыми типами
SS
Это та самая штука на хаскелле
SS
Вот все штуки, о которых ты говоришь пишутся на языках с более прокаченой системой типов
Есть более сильные системы типов?
JC
Agda
Да, типо того