E
есть у каво примеры?
возможно когда-то получится без скобочек, как в хаскеле
Size: a a a
2021 March 10
R
твердое каррированное ядро
R
возможно когда-то получится без скобочек, как в хаскеле
пох на скобки
E
ну оно красиво так
R
пожилой пидор?
R
ну оно красиво так
ну так се аргумент
E
ну так се аргумент
так а что ты собственно ещё от него хочешь
R
так а что ты собственно ещё от него хочешь
юзабилити
R
в скале карирование типы позволяет выводить проще
E
юзабилити
вот и все юзабилити, вывод типов и скобочки
R
но и не всегда вродь
R
вот и все юзабилити, вывод типов и скобочки
что скобочки
E
что скобочки
ну, в скале ничего, а в хаскеле их отсутствие
Oℕ
@odomontois а что ты для идриса используешь? вскод? идею?
не использую идрис, но какую нахрен идею
R
не использую идрис, но какую нахрен идею
идею использования идеи
E
не использую идрис, но какую нахрен идею
ну я подумал, раз для хаскеля есть плагин, возможно и под идрис чето придумали
S
эт кста ты
R
логгинг например оч удобно на жабе
Oℕ
на хаскеле прикладное, конечно, гораздо проще, чем на котлиножабе