Y
Size: a a a
2020 November 07
MK
типы и классы в одном неймспейсы живут
MK
вроде как
AA
В сигнатуре слева от
=> это точно класс, а справа точно тип. Импорта по имени у меня нетречь-то про неймспейс
AA
Он ругается на "Ambiguous occurence" в сигнатуре, тогда как там оно точно unambiguous, мог бы и разрулить.
разрешения имен по типам в хаскеле почти нет
AA
это разные неймспейсы а не выьор по типу же
2020 November 08
JS
А как он решает,
Foo.bar это bar из модуля Foo или композиция с конструктором Foo? (это если без RecordDotSyntax ещё)по наличию пробела
к
а есть хорошие линзы, которые построены на OverloadedLabels?
generic-lens очень хорошие, но нужно быть готовым к увеличению времени компиляции
к
Enum класс и Enum свой дата-тип клашатся по той же причине, почему клашатся
и точно так же как тут можно сделать полиморфное значение
f :: String
f = show x <> x
так и с типами можно
x :: Int
x = 1
x :: String
x = "1"
и точно так же как тут можно сделать полиморфное значение
class X a where
x :: a
instance X Int where
x = 1
instance X String where
x = "1"f :: String
f = show x <> x
так и с типами можно
data LocalEnum = A | B | C
class MyEnum c where
type Enum' :: c
instance MyEnum (Type -> Constraint) where
type Enum' = Enum
instance MyEnum Type where
type Enum' = LocalEnum
f :: Enum' a => a -> Enum'
f _ = AYS
generic-lens очень хорошие, но нужно быть готовым к увеличению времени компиляции
Я думаю, можно же попробовать наиболее грамотно раскидать модули, чтобы обходилось максимально без перекомпиляции?
AA
Я думаю, можно же попробовать наиболее грамотно раскидать модули, чтобы обходилось максимально без перекомпиляции?
они на месте использования генерируются