у нас пока нет Пролога на уровне типов

тут m определена и известна

и StM m () ~ ()

ого! есть гист?

нету минимального кейса

а резать проект очень долго

в чуть-чуть более простом случае рядом все ок

есть 2 возможные причины:

в твоё описание не верится

В серванте нет ничего сложного

1. я туплю и не вижу *другую* ошибку типов

2. компилятор дурак

тут каким-то образом информация об m не доехала

даже если добавить Proxy m не спасает

control $ \unlift -> do serv <- join $ atomically $ asum [ readTVar lock >>= check >> pure (async $ unlift $ act ws) убираем async и все ок

без примера не могу помочь

а с примером сможешь?

смогу попытаться

я не знаю сколько делать минимальный пример

т.к. в соседнем месте такой же по структуре код работает

у меня 100% случаев «ну почему же компилятор не выводит!?» заканчивались «хм, действительно, здесь нельзя вывести»

serv <- asyncM $ control $ \unlift -> join $ atomically $ asum [ readTVar lock >>= check >> pure (unlift $ act ws) так работает asyncM :: MonadFork m => m a -> m (Async a)

а не, тут все ок

у act тип -> m a был, а должен был быть -> m ()

что не следовало из текста ошибки

о чем и ругань

вот 2 примера выше, могу типы написать это что-то рядом с минимальным примером, если хочешь вечером могу компиляющееся сделать

@cblp_su я вечером таки попробую сделать мимимальный пример

кто-то работал с https://hackage.haskell.org/package/compdata ? чем это лучше чем recursion-schemes?

я попробую эти примеры поисследовать

но повторюсь что rant о том, что если у тебя a :: () -> () -> m () и код control $ \unlift -> unlift $ a ()

то тебе скажут не о том, что a применён к недостаточному числу агрументов (ошибка типов)

а о том, что StM m () не равно ()

это в общем-то понятно почему так, но очень неудобно

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

о, в катипе мой патч уже приняли можно продолжать портирование на винду

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

возможности всяких разных списков через [,,] делать

т.е. какой-нить HList в haskell так не написать

возможности всяких разных списков через [,,] делать

пример?

[a,b,c] :: HList [Int,String, Double] я там могу сделать

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

всякие применения applicative можно без idiom brackets или синтаксического оверхеда на <$> <*> писать

bind оператор не прибит гвоздями к монадам

точнее так, do нотация не прибита гвоздями к монадам

RebindableSyntax тоже вроде в haskell позволяет это делать

Rebindable для списков вроде же не работает

пришёл домой и пабырику накидал тот же кодец, что и на работе, на vinyl

оказалось, что vinyl совсем не страшный, даже наоборот

я вот про это, если что

https://pastebin.com/EhXR9Scd

vinyl очень приятный

я очень сильно удивился когда узнал что он более общий чем HList

а не наоборот

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

а сегодня я кое-как не без вашей помощи дошёл до определения Rec, и оказалось, что всё очень даже доступно

о, там tutorial появился?

прикольно я его понял когда статью по Generic Programming Лё читал

Rebindable для списков вроде же не работает

есть OverloadedLists, который немного смягчает синтаксис списков, но HList он не может

я знаю, но это совсем не то

замена [...] на fromList [...]

да, это не решение, а шажок в сторону

но можно ведь кортежами записывать HList

кортежи в идрисе, кстати, тоже подсахарённые

(a, b, x) = (a, (b, x))

Vasiliy я сделал функцию в твоём подходе

@cblp_su можно vector-fixed-hetero конечно

если бы как в идрисе было, было бы нормално

сейчас запосчу решение

fs1 :: HList ts -> HList (Map A ts) -> HList (Map M ts) fs1 (_ :&: z) (y :&: ys) = (M y) :&: (fs1 z ys) fs1 HNil HNil = HNil вместо первого HList можно свою проксю запилить по которой матчить можно или сигнетоны

можно undefined-ы хранить

но vinyl лучше

собственно, как я и подозревал, нужен какой-то объект, который будет подтверждать ts, в смысле, :&: он или HNil

ну можно typeclass

тогда Proxy ts будет достаточно

proxy ts

но инфа о ts нужна

жалко typefamiliesdependencies недопилены

можно бы было в Map f a :: b | f a -> b сделать было бы счастье

а, то есть, сделать класс, инстансами которого будут Proxy '[] и Proxy (x ': xs) ?