M
Да есть такое я вон тоже уже не могу саботировать чаты
Size: a a a
2020 August 03
M
AZ
Да есть такое я вон тоже уже не могу саботировать чаты
неповоротливый стал? :)
NL
Хороший разговор, узнал по Z3 в llvm.
ГС
Почему функциональщина так любит заигрывать с кучей сложных операторов? Наследие математики?
потому что удобнее писать "1 + 2" и "f . g", а не "1.add(2)" и "f.compose(g)" или "add 1 2" и "compose f g". Остальные операторы не намного сложнее, просто привыкнуть надо
NL
потому что удобнее писать "1 + 2" и "f . g", а не "1.add(2)" и "f.compose(g)" или "add 1 2" и "compose f g". Остальные операторы не намного сложнее, просто привыкнуть надо
Согласен с аргументом об удобстве, но в Хаскеле зря затащили этот символ
. для композиции, лучше бы для рекордов и row-полиморфизма взяли. А для композиции взяли бы юникодный ● например.Т8
Шо тут происходит? Беркус, Замазачик...
NL
Т-34 85
Шо тут происходит? Беркус, Замазачик...
Тебе есть 30 лет?
Т8
Ну а так часть проблем уйдет, но у тебя всё равно останутся проблемы с чужими типами для которых ты не можешь INumeric реализовать
А так часто нужны эти чужие? Да ещё и будучи числовыми
Т8
Тебе есть 30 лет?
Неа
ГС
Согласен с аргументом об удобстве, но в Хаскеле зря затащили этот символ
. для композиции, лучше бы для рекордов и row-полиморфизма взяли. А для композиции взяли бы юникодный ● например.. композит линзы, так что для рекордов он тоже подходит 🤓. А юникодные операторы - ну такоэ, набирать уже не так удобно
Т8
Пока далековато до 30. Но время, сука, быстро идёт
ГС
. композит линзы, так что для рекордов он тоже подходит 🤓. А юникодные операторы - ну такоэ, набирать уже не так удобно
вон, в скале отказались от юникодных стрелочек, говорят, юзайте шрифты с лигатурами
Т8
вон, в скале отказались от юникодных стрелочек, говорят, юзайте шрифты с лигатурами
Обж, зачем такие шрифты? Они меня бесят, уж лучше ->
NL
. композит линзы, так что для рекордов он тоже подходит 🤓. А юникодные операторы - ну такоэ, набирать уже не так удобно
Линзами не сделаешь удобно, например как в пурсе. А сейчас уже можно использовать юникод в программах, все редакторы развились достаточно хорошо, и набирать можно не менее быстро.
С
Т-34 85
Пока далековато до 30. Но время, сука, быстро идёт
После 30 оно пойдёт ещё быстрее.
ГС
Т-34 85
Обж, зачем такие шрифты? Они меня бесят, уж лучше ->
ну, мне больше нравится) Стрелочка - это как бы одно слово, один символ с точки зрения смысла. С лигатурами он просто выглядит ровнее, чем ->
Т8
После 30 оно пойдёт ещё быстрее.
Хм, а с чем это связано? Семья?
Т8
(дети)
NL
вон, в скале отказались от юникодных стрелочек, говорят, юзайте шрифты с лигатурами
Да, в случае наскальных стрелочек это работает, согласен. А вот
Короче, я не понимаю, почему в 2020м нужно программы составлять исключительно с помощью символов в аскии-кодировке, особенно если вспомнить, что программы пишутся для людей.
°C ты не наберёшь, заперевшись исключительно в аскии.Короче, я не понимаю, почему в 2020м нужно программы составлять исключительно с помощью символов в аскии-кодировке, особенно если вспомнить, что программы пишутся для людей.