MK
А зачем такая штука может быть нужна?
Size: a a a
2020 June 01
АХ
В sqlite-simple два параметра передаются через 2-тулю, а 1, сюрприз, через 1-туплю. Т.е. Only
JS
для
Tuple '[a], напримерVZ
g :: (a,b) -- warning
g = (c,d) -- warning
Я не очень понял, с этим пропозалом обычные тупли будут вести к варнингам в -Wall?
Этот ворнинг не будет в -Wall
VZ
Его функция очень специфична
MK
Ну вообще, имя типа = имени конструктора это почти всегда так
Ты просто продакшен не писал давно ;)
Ты просто продакшен не писал давно ;)
MK
Было бы грустно иметь на это варнинг
AA
да это фичи для модулей на другом языке фактически
АХ
Хотя добавляем тик в DataKinds, убираем тик в DataKinds тоже не очень-то
А такое:
во что превратится?
А такое:
foo :: Foo '[Int,Char]
foo = ... [1,2,3] ...
во что превратится?
VZ
foo :: Foo [Int, Char]
foo = … [1,2,3] ...
foo = … [1,2,3] ...
VZ
Тиков больше не будет вообще.
MK
Тиков больше не будет вообще.
А нервных?
VZ
Нервные появляются у меня пока смотрю на обсуждение.
AA
Тиков больше не будет вообще.
это может и зря, для кода в классическом стиле с парой тайплевелостраданий где-то в углу, тики может и лучше пошли бы
VZ
А, точнее они будут, но для TH
VZ
Типа там
makeLenses ‘FooVZ
Который сейчас
’’FooVZ
Вот двойных не будет совсем.