G
Смысл умножения
Size: a a a
2020 June 10
b
речь идет о том, когда у тебя один оператор, но у него может быть несколько пропозициональных знаков
b
(такого быть не должно)
b
но в многих системах типов такое возможно
ЕС
Смысл сложения
Угу, и это можно сделать через тайпклассы)
ЕС
Переопределение существующих операций
G
Ну да, в принципе
ЕС
(такого быть не должно)
Да, согласен
ЕС
Ещё раздражает импорт методов из тайпклассов в гребанных языках
ЕС
Как можно было до такого додуматься?
b
короче проблема в том, что никто из этих задротов которые занимаются в универе разработкой компиляторов — не учил в школе Витгенштейна
b
b
а потом спрашивают: почему над кодерками все прикалываются? вот пожалуйста
ЕС
короче проблема в том, что никто из этих задротов которые занимаются в универе разработкой компиляторов — не учил в школе Витгенштейна
Проблема в том, что эти люди не задумываются о разработке с практической точки зрения, поскольку никогда не работали программистами в энтерпрайзе
b
как же над вами не прикалываться если вы такие ограниченные со своими компьютерами ничего не знаете кроме своего хаскеля…
AZ
В идеальном языке нельзя определять новые операторы
как тогда мне такое в идеальном языке написать
foo : (x :Int ** myFunc x == 10)b
Проблема в том, что эти люди не задумываются о разработке с практической точки зрения, поскольку никогда не работали программистами в энтерпрайзе
я тебе больше скажу, эти люди как правило два слова внятно связать не могут
ЕС
как тогда мне такое в идеальном языке написать
foo : (x :Int ** myFunc x == 10)Расскажи что это значит
b
не говоря уже о “разработке” вещей
AZ
Расскажи что это значит
говорит, что вернет такой инт, что вызов фунции myFunc на нём возвращает 10