P
О Господи, только не опять
(меня правда бесят однобуквенные переменные)
Size: a a a
2020 February 25
NL
это уже для компилятора.
Не только, например в
sort :: (Ord a) => [a] -> [a] удобно воспользоваться нативным для данного типа порядком.λ
(меня правда бесят однобуквенные переменные)
Какая длина должна быть у переменной s?
quote s = "\"" <> s <> "\""P
Не только, например в
sort :: (Ord a) => [a] -> [a] удобно воспользоваться нативным для данного типа порядком.порядок часто субъективный в прикладных программах, вспомни, например, как бд табличку можно сортировать по одной или несколькими колонкам
P
Какая длина должна быть у переменной s?
quote s = "\"" <> s <> "\"""string".length | "text".length
λ
"string".length | "text".length
Но зачем?
λ
Зачем так портить жизнь читателю кода?
P
Но зачем?
чтоб ты вслух читал quote string is quotemark followed by string followed by quotemark
λ
чтоб ты вслух читал quote string is quotemark followed by string followed by quotemark
Ужас
λ
То есть вместо одной секунды на чтение функции человек тут должен потратить секунд 5?
P
Ужас
прям читаешь программу как её описание для тупых, очень ужасно, да
NL
порядок часто субъективный в прикладных программах, вспомни, например, как бд табличку можно сортировать по одной или несколькими колонкам
Да, бывает, на этот случай можно использовать
sortBy или sortWith. Но это только пример, что можно вывести и использовать функционал, специфичный для типа.P
То есть вместо одной секунды на чтение функции человек тут должен потратить секунд 5?
наоборот, теперь тебе не надо помнить контекст даже
λ
наоборот, теперь тебе не надо помнить контекст даже
Мне итак не надо ничего помнить
λ
Какая длина должна быть у переменной s?
quote s = "\"" <> s <> "\""Но в таком виде чтобы понять функцию, не надо её читать словами, достаточно взглядом оценить структуру выражения и пойти дальше
P
Да, бывает, на этот случай можно использовать
sortBy или sortWith. Но это только пример, что можно вывести и использовать функционал, специфичный для типа.ну, у тебя тип Ord<T> равноценно (Т, С: Comparator<T>) и так, тут нечего выводить особо
P
Но в таком виде чтобы понять функцию, не надо её читать словами, достаточно взглядом оценить структуру выражения и пойти дальше
недостаточно, тебе тоже надо думать про типы, про типы пусть компилятор думает
λ
Я за подобные словесные описания ненавидел документацию в питоне. Вместо того, чтобы дать мне какой-то тлдр, в котором структурно видно, что это за функция, авторы заставляют читать какую-то войну и мир.
P
потому что мб s это не стринга, но для неё определён string + s
λ
недостаточно, тебе тоже надо думать про типы, про типы пусть компилятор думает
Уж лучше про типы думать, чем про термы