АГ
В шаблонном метапрограммировании вообще никаких эффектов, оно даже более safe, чем хаскель!
Шаблонное и в Хаскеле есть. Там, правда, свое понимают под шаблонами. Но еще там можно делать IO
Size: a a a
2020 October 26
АГ
А вообще, не парьтесь про safe/unsafe. Просто пишите полезные программы
АГ
Конечно сложно. Легче типы над типами ворочать
A
С таким подходом и в C++ дофига гарантий. Программа же вообще делает ровно то, что вы написали. 🤷♀
Мне концептульно не нравится одномерная шкала нет гарантий - дофига гарантий. Хорошо бы по смотреть что именно гарантируется, зачем это нужно разработчику и чего оно стоит.
A
А вообще, не парьтесь про safe/unsafe. Просто пишите полезные программы
Скучнааа
AT
Мне концептульно не нравится одномерная шкала нет гарантий - дофига гарантий. Хорошо бы по смотреть что именно гарантируется, зачем это нужно разработчику и чего оно стоит.
Я, в общем-то, конечно, согласен, но по личным впечатлениям градация получается в духе от "нормально -- просто пишешь и оно работает (Haskell)" к "что??? чистота и эффекты не разделяются, у кого есть время всё оборачивать в перехват исключений и проверки на null?! (Scala)" к "блин, что значит ЕЩЁ меньше гарантий?!! (Java)" к "ёбаное UB на каждом шагу!!!"
АГ
UBDSM
Y
UBDSM
Undefinedly Behaving Deterministic State Machine?
АГ
Оксюморон
L
Haskell?
χλ
Haskell?
Ахах
АГ
Haskell?
Дружок, чего проснулся-то, спи дальше
АГ
50 лет развития лиспа,создание целой парадигмы программирования, 100 больших ученых-исследователей, и все, чего они добились в области ИИ - то тупящий @LiscriptBot . ИИ, который мы заслужили
AT
50 лет развития лиспа,создание целой парадигмы программирования, 100 больших ученых-исследователей, и все, чего они добились в области ИИ - то тупящий @LiscriptBot . ИИ, который мы заслужили
Верно! Самые продвинутые ИИ сейчас пишут либо на плюсах, либо на Яве. Что, безусловно, доказывает! 😂