к
Size: a a a
2021 March 02
[
хм. Ща почекаю галочки тогда
[
[
всё, нашёл.
Пока ничО не поменялось
Пока ничО не поменялось
[
Ну, сё, как обычно, пол инета вам в комп
O
Так, вопрос по код-стайлу. Это тот самый момент, когда вам разрешается обругать меня любым вам угодным способом. Так писать законно?
можно же гораздо проще:
let sq = join (*); l = [1..100]; ms = sq . sum; sm = sum . map sq; taskSix = ms l - sm l(что проще - шутка)
c
теперь у нас есть правила, и мы будем их придерживаться http://bit.ly/λrules
Может лучше обычную ссылку на них оставить? В целом я просто очень отрицательно отношусь ко всем этим скорачивателям
[
можно же гораздо проще:
let sq = join (*); l = [1..100]; ms = sq . sum; sm = sum . map sq; taskSix = ms l - sm l(что проще - шутка)
Да не, норм получилось
[
можно даже чуть добавить нейминга и выкинуть нахрен join как оверхед
IR
где на хакадже взять констрейнт, что один тайплевел список есть префикс другого?
upd: https://kseo.github.io/posts/2017-01-16-type-level-functions-using-closed-type-families.html
upd: https://kseo.github.io/posts/2017-01-16-type-level-functions-using-closed-type-families.html
c
sum . map это foldMapc
Жалко
via так и не доработали расширение. Тогда бы вообще красиво было!0
Привет чят.
0
Я давно не писал на хаскеле и всё забыл.
0
Как в хаскеле выглядит кайнд типа
Ty, который можно было бы использовать как Ty '[ 1, 2, 3]