MK
хрен знает, я не уверен
Size: a a a
2021 January 18
AA
ну это некрасиво
да, я их не люблю (я обычно все емелеужасы в хаскеле не люблю)
AP
ну нужен какой-то способ биндить типы всё равно
Я пишу слишком боринг наверное, мне не часто нужно. Когда нужно, лучше включить явно имхо. Иначе внезапно вещи типа f::forall a. a -> a \nf a = a перестают работать насколько я помню
AP
хрен знает, я не уверен
Ну да, как-то не по хаскельному (приходилось год назад много студенческого SML читать вот это боль была)
MK
в коке, вроде, параметры-типы биндятся так же, как параметры-значения
MK
правда там это одно и то же =)
AA
меня неприятно поразило как комитетчики на вью и паттерн-синонимы наехали, то что рекорд вайлдкардс много кто ненавидит я ожидал
AA
но конечно для юзабельных рекордов надо пять экстеншонов как и раньше писать
MK
при этом NamedFieldPuns включили
MK
но конечно для юзабельных рекордов надо пять экстеншонов как и раньше писать
да мало кто пользуется DRF
AA
вообще если заметно и уменьшится у кого количество ленгвидж прагм, так только потому что люди любят писать то, что другие прагмы включают и так
AP
при этом NamedFieldPuns включили
Ну там объяснение весьма четкое (можно конечно не соглашаться), что у баиндинга должен быть баиндер
MK
вообще если заметно и уменьшится у кого количество ленгвидж прагм, так только потому что люди любят писать то, что другие прагмы включают и так
из этого списка такие только дерайвы и эксплисит форол
MK
не?
AA
ну нет, к примеру, фандепы включают МПТЦ, но люди массово пишут и то и другое, без этого включение МПТЦ в 2021 ниче не сэкономит
AA
НО Я ДУМАЛ, ЧТО GHC2021 БУДЕТ ЕЩЕ ХУЖЕ
AA
но все еще думаю, что вреда будет больше, потому что куча хаскелистов будут про любой не включенный туда экстеншон визжать что нЕлЬзЯ еГо иСпОлЬзОвАтЬ, или даже, что он депрекейтед, как про n+k говороят
MK
кстати, а какой смысл в поликайндах без датакайндов, гадтов и семейств?
MK
нафига их-то включили
AA
ну, про любой, кроме перегруженных строк и лямбдакейса