Нездоровое скорее потому что может вызвать некогерентность инстансов. Мне так кажется

может

хотя не должно

Все проблемы, естественно, от сирот (если есть)

Все проблемы, естественно, от сирот (если есть)

Очень глубокая мысль, коллега.

@PineappleZombie нету сирот

class EqT a b t instance EqT a a True instance EqT a b False такое же как-то можно было с MPTC+FD сделать?

если добавить a b -> t то ругается

closed type family норм тут

а это уже не получается data Search = Head | Tail class SearchDest c req b instance CInf c req => SearchDest c req 'Head instance SearchDest c t 'Tail

а частичное применение typefamilies незя?

чтож за жизнь

компиляется!!!!

--- Dependecy list type family DepList (a :: k) :: [k] type instance DepList Category = '[] type instance DepList Arrow = '[Category] -- Encode single level of the class depth. class C0 o is | o -> is where c0 :: forall x . Rec (x :-- o) is instance C0 Category '[] where c0 = RNil instance C0 Arrow '[Category] where c0 = S (Sub Dict) :& RNil instance C0 ArrowChoice '[Arrow] where c0 = S (Sub Dict) :& RNil

как убрать повторы?

и можно ли

\o/ закодил обратные зависимости

если у нас в есть A => B, и у нас есть в руках B c то можно вывести A c

не знаю зачем

на работе вчера кто-то Freer Arrows делал и ему нужно было

ад ещё тот, кто-нить хочет TypeLevel олимпиадку?

хочешь показать, что твоё кунфу лучше?

нет, надеюсь, что кто-то расскажет как упростить

в такой хрени обычно начинаешь влезать в какое-то направление и можешь упустить другие более простые

(ну и да, показать что кунфу лучше, куда ж без этого :картинка_с_самураем_с_лямбдой:)

free arrow видел) http://blog.sigfpe.com/2017/01/building-free-arrows-from-components.html но freer!

(ну и да, показать что кунфу лучше, куда ж без этого :картинка_с_самураем_с_лямбдой:)

newtype Freer cst eff a b = Freer { runFreer :: forall x. cst x => (eff ~> x) -> x a b }

вот такая штука там написана была

@xgrommx в общем для неё хочется написать инстансы

Category, Arrow, ArrowChoice

@qnikst ~> это nt?

оно просто пишется для instance Category (Freer Caterogy eff)

type x ~> y = forall a b. x a b -> y a b

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

т.е. instance Category (Freer Arrow eff) и т.д.

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

несмотря на то, что Category => Arrow

в общем инстансов n^2

и хотелось бы чтобы этого не было

@qnikst нашел такое https://stackoverflow.com/questions/12001350/useful-operations-on-free-arrows

ща скоро гист ещё запощу

@qnikst мб видел мб нет https://codegists.com/snippet/haskell/freerhs_nc6_haskell

а это гист того, кто начал мучаться у нас над этим

судя по нику nc6

))было бы потом не плохо пример использования

это не ко мне уже

Баунти: открытые issues в открытом проекте: https://github.com/hexresearch/nixdeploy за вознаграждение! 1) Берете issue, 2) форкаете 3) фиксите 4) делаете PR 5) профит. Проект предназначен для деплоймента nix-выражений на серверы/кластеры, где отсутствует nixos, т.е на почти все доступные на облачных хостингах виртуалки. Открытый проект на Haskell для nix за деньги. Уже в продакшене.

issues на русском : ]

код тоже надо было на русском писать

ну, хотя бы комменты

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

а эмодзи можно?

> Проектируем SaaS решение, запускающееся на ноутбуке @qnikst А что, с этим проблемы бывают?

а эмодзи можно?

можно

оооо

https://stackoverflow.com/questions/31965349/using-emoji-in-haskell

а 💩 идёт как оператор или имя?

как характеристика любого чужого кода

а все-таки не совсем

как оператор

a 💩 b = undefined

Это тип ошибки.

http://lpaste.net/53241 https://users.livejournal.com/-darkus-/612724.html

так то

и так хаскель в 80 колонок не влезает

> Проектируем SaaS решение, запускающееся на ноутбуке @qnikst А что, с этим проблемы бывают?

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

на самом деле ничего сверх нового нету : ]

@qnikst ну а как их еще разрабатывать\тестить?

у нас production варинт на облако/линуксы/винду (2мя способами)

а эмодзи можно?

фу таким быть

@lonokhov ну вот сказали что доклад не интересный, пойду плакать

и так хаскель в 80 колонок не влезает

Не нужно, VT100 поддерживает 130

/me ушёл плакать

@qnikst интересный конечно, чо ты

все поздно, я уже ушёл плакать

=)

я все еще смотрю доклады с haskellx

доклад по optics очень грустный, там пытаются сделать абстрактные линзы и честно перечисляют все недостатки такого подхода. (плюсом там выходят только сообщения об ошибках)

кстати что там интересное, я так и не смотрел :/