компилируется, это полный код

вот как так вопросы можно задавать :/

а расскажите в каком порядке type application работает, а то явечно путаюсь

я думал всегда, как в forall

вот как так вопросы можно задавать :/

Мой косяк, да

тяжело понять как подсказать ; )

и если ошибки копируешь, пожалуйста копируй с контекстом

Написал же - реализация tell

а она где-то была?

Самой реализации не было, зато была сигнатура в интерфейсе

давай сигнатуру

Завтра в гит залью

ну ок

Сейчас код уже не под рукой

class C1 o i where inner :: o x :- i x

вот если я пишу inner

у меня есть x o i в каком порядке их применять?

блин чего-то я плохо понимаю все эти constraints

мимимимальный пример без либы не заработал

Намдака что-то понесло

несколько лет незад

http://lurkmore.to/Обсуждение:Haskell боже, какое чтиво

Я Хаскелем заинтересовался из-за статьи на лурке. Про какого-то мутного ботана-троля с ЛОРа.

как вы это читаете

+1 за хаскель после ЛОРа (не лурка)

У вас лурчанка, сэры!

Я заинтересовался хаскелем из-за xmonad'а, гггг

я наоборот 8)

вспомнить бы, с чего я вдруг заинтересовался хаскелем...

товарищи

у меня вопрос

я хочу применить один и тот же TypeAppliocation

но "неизвестной" переменной

т.е. у меня есть c0`trans` proof

в c0 и proof живет i x :- o x

но итоговая функция у меня forall x . ...

если бы ему скормить type application было бы норм, но мне неоткуда взять x

о сделал

уняня

так.. блин как сделать case на тайпклассах

у меня oleggery из мозга утекает

ааааааааааааааааааа

у меня есть Vynil Record

(x ': xs) , если есть C0 x то один инстанс, если нет то смотреть C1 xs который бежит по всем xs

чего-то не соображу как, но ведь вроде делал

причем я знаю как разделить взгляд в голову и хвост, но я не знаю как отключить взгляд в хвост, если в голове все хорошо

что-то вроде этого? instance C0 f x => R f (x ‘: tl) type family RecAny C1 (f :: k -> *) (l : k) :: Constraint where … instance RecAny C1 f tl => R f (x ‘: tl)

f можно отовсюду поубирать, если (x ‘: tl) :: [*]

instance CInf c req => CInfSearch 'Head (c:cs) req where cInfSearch _ (S proof :& _) = cInf @ c @req `trans` proof instance CInfSearch 'Head cs req => CInfSearch 'Tail (c:cs) req where cInfSearch _ (_ :& rest) = cInfSearch (Proxy @ Head) rest

вот у меня есть такая штука

@catamorphism не понимаю что у тебя чего-то : (

у меня Head/Tail можно выкинуть если мешают

в заголовке инстансов должно быть (c ‘: cs) по идее, а не (c:cs)

да пофиг

warning скажет поправлю

newtype (:--) x o i = S (o x :- i x) class C0 o is | o -> is where c0 :: forall x . Rec (x :-- o) is -- 1 уровень задается пользователем class CInf o req where cInf :: o x :- req x -- глубокий поиск

т.е. для каждого элемента в Vinyl нужно посмотреть есть ли у него CInf элемент цель

если есть до вернуть у первого, если нету, то обломаться

если поиск в голове или проход хвоста я могу сделать, то case не могу

для Forall бы сработало

а, я кажется понял что ты хочешь

так, планерка, сейчас бэкграундом подумаю

причем все бы круто было если бы я на уровне типов, а не констрейнтов мог работать

придумал похоже

по идее тебе нужна закрытая TF, которая будет констрейнт возвращать

class Worker (ok :: Bool) (xs :: [*]) instance (Worker (WhateverTypeFun x) xs) => Class (x : xs)

?

TF мне словарик не даст

ну и мне нужна TFFD минимум

я это уже проходил, там выводиться ничерта не будет поскольку АКСИОМЫ

Так при выборе инстанса компилятор смотрит только в instance head

так вопрос в том, как поднять эту штуку в head

сейчас через пару вспомогательных тайпклассов пробую

по моему это что-то очень нездоровое

а можно на конструировании этим озаботиться, а не при разборе? Можно сделать кастомный функтор для винила, у которого есть Dict или кайнд * -> (Tag, *), где data Tag = C0 | C1

по моему это что-то очень нездоровое

тут уже because I can

а не потому, что надо

а можно на конструировании этим озаботиться, а не при разборе? Можно сделать кастомный функтор для винила, у которого есть Dict или кайнд * -> (Tag, *), где data Tag = C0 | C1

нельзя

с TH можно, а так нельзя

ну или с многобукаф тоже можно, хочу без многабукаф