к
Size: a a a
2020 May 11
AA
можно аж несколько пакетов в одном файле писать, не то что модулей
AA
а как это делать?
это нельзя использовать на практике правда, потому что эта функциональность не дружит со всей остальной инфраструктурой, но вообще bkp или bpk файлы все время забывают так или эдак там расширение
AA
мне нравится вот эта ошибка в агде:
В 99% случаев она означает, что в функцию, которая ожидает обычную функцию без зависимостей, была передана зависимая функция. Что обычно легко отследить. Но только если ты уже знаешь, что именно эта ошибка означает. Они бы с тем же успехом могли ее на клингонском выдавать
Cannot instantiate the metavariable _6 to solution Vec _A_8 n
since it contains the variable n
which is not in scope of the metavariable or irrelevant in the metavariable but relevant in the solution
when checking that the inferred type of an application
Vec _A_8 n
matches the expected type
_B_6
В 99% случаев она означает, что в функцию, которая ожидает обычную функцию без зависимостей, была передана зависимая функция. Что обычно легко отследить. Но только если ты уже знаешь, что именно эта ошибка означает. Они бы с тем же успехом могли ее на клингонском выдавать
но захотели бы вы читать это объяснение в этом сообщении об ошибке 500000 раз после того как первый раз его прочли? а вот в том треде реально хотят
AA
ну штош, может можно и самому такое написать, вроде не очень сложно
есть пара пропозалов для более практичной формы такого
AA
хотя было бы неплохо иметь тул, который на основании каких-то эвристик работающих на новичковом коде объяснял бы ошибки
R
но захотели бы вы читать это объяснение в этом сообщении об ошибке 500000 раз после того как первый раз его прочли? а вот в том треде реально хотят
пару предложений в конце этой ошибки никому бы не повредили. Когда много всяких разных видов ошибок, и значение каждой из них нужно выводить дедуктивным путем, это раздражает
но то, что там в треде, это конечно маразм
но то, что там в треде, это конечно маразм
AV
А в fold-ах есть что-то что персентили считает?
AV
хотя бы один конкретный
ЗП
что ты имеешь ввиду?
AV
а то только mean вижу
AV
а библиотеке foldl и подобных есть ли фунции умеющие считать персентиль определенную
AV
О, норм, спасибо
AV
Правда я тупой и не хочу из их histogram переводить в персентили 🙁
AV
@A64m_qb0 а maximum1 есть в foldl?