раз
так вы что же, вот прямо так хотите сделать upperBound Int без всяких @ @@ +_+_+_+_+_ <<<>>>> please be type of ?
ай ай ай
так а что плохого-то в @? Один символ, зато никакой двусмысленности по поводу того, какой скоуп имеется в виду и является ли аргумент функции видимым или нет. В агде это будет upperBound {Int}, и это удобно.
так в том и дело, что они хотят сделать чтоб не было (имеется в виду какой-то скоуп)
ну все равно же надо будет как-то различать между видимыми и невидимыми аргументами, даже если скоупы смержить
да, но в обсуждаемом случае аргумент как раз видимый, потому и @ нет
Обсуждают сегодня