JS
а зачем ещё один?
Size: a a a
2020 July 10
JS
кто-то заводил, но туда никто не пошёл
JS
для тех, кому сложно код постить в телеге, есть чат в Gitter
U1
для тех, кому сложно код постить в телеге, есть чат в Gitter
Понял. Спасибо)
MK
для тех, кому сложно код постить в телеге, есть чат в Gitter
а туда кто-то смотрит вообще?
JS
Там немного удобней по категориям сделать можно разделить общение
можете попробовать завести и посмотреть, сколько людей придут
JS
а туда кто-то смотрит вообще?
человека 3
JS
включая меня
JS
Там немного удобней по категориям сделать можно разделить общение
у нас есть форумы и сайт для статей. посмотрите по ссылкам в описании этого чата.
U1
у нас есть форумы и сайт для статей. посмотрите по ссылкам в описании этого чата.
Как раз оттуда я сюда попал)
MK
короче, у меня есть тип-сумма
мне нужно уметь определять функции
т.е. по терму этого типа обработать текущий конструктор, и при дженериковском обходе тоже обработать
первую я могу получить через тайпкласс и паттерн-метчинг (используя
хочу 1. чтобы было одно место 2. чтобы компилятор проверял, что я описал все варианты в сумме
aмне нужно уметь определять функции
a -> String и C1 c f -> Stringт.е. по терму этого типа обработать текущий конструктор, и при дженериковском обходе тоже обработать
первую я могу получить через тайпкласс и паттерн-метчинг (используя
{}), а вторую через symbolVal и функцию String -> Stringхочу 1. чтобы было одно место 2. чтобы компилятор проверял, что я описал все варианты в сумме
MK
что можно придумать?
MK
я п.2 решил, но ценой дублирования функций
g
а про KasperskyOS никто
А причем здесь их ос?
a
короче, у меня есть тип-сумма
мне нужно уметь определять функции
т.е. по терму этого типа обработать текущий конструктор, и при дженериковском обходе тоже обработать
первую я могу получить через тайпкласс и паттерн-метчинг (используя
хочу 1. чтобы было одно место 2. чтобы компилятор проверял, что я описал все варианты в сумме
aмне нужно уметь определять функции
a -> String и C1 c f -> Stringт.е. по терму этого типа обработать текущий конструктор, и при дженериковском обходе тоже обработать
первую я могу получить через тайпкласс и паттерн-метчинг (используя
{}), а вторую через symbolVal и функцию String -> Stringхочу 1. чтобы было одно место 2. чтобы компилятор проверял, что я описал все варианты в сумме
Ну создай тайпкласс дефолтный метод которого требует его генерик обход,
возможно я не понял задачу конечно
class Foo a where
con :: a -> String
default con :: (GFoo (G.Rep a)) => a -> String
con = gCon @(G.Rep a)
возможно я не понял задачу конечно
MK
это не решает вторую задачу, вроде
a
это не решает вторую задачу, вроде
он упадёт от нехватки инстансов
JS
А причем здесь их ос?
тоже Хаскель в проде
VY
а для happy info файлов не существует какой-то способа визуализировать граф?