8.2 точно работает

ага, но у меня там энивей не 2 инстанса, а 3. Так что придется ввести вспомогательный енум

но в целом работает

Dmitry спасибо

не нравится ... m (m a) ... как-то на ... m a ... хорошо бы параметры переделать

ну оно только для одного инстанса так криво

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

типа Loc t является продьюсером в монаде m

без этого указания потом гхц погрязнет в амбигуити

Dmitry нет, я всё-таки не до конца догоняю почему оно работает. Потому что IsLoc иньективна и на этом GHC успокаивается?

хм..., а мне непонятно, что непонятно?

IsLoc, конечно, не инъективна. Почти всегда False дает. Инъективность не при чем

в итоге после интеграции в модуль по месту использования валятся ошибки вида /haskell-wasm/src/Language/Wasm/Builder.hs:264:24: error: • Couldn't match type ‘OutTypeHelp (GetProdType (m34 (Proxy 'F32))) (m34 (Proxy 'F32))’ with ‘OutTypeHelp (GetProdType (m32 (Proxy 'F32))) (m32 (Proxy 'F32))’ arising from a use of ‘sub’

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

Была проблема, что Loc t и m (Proxy x) перекрывались. Так как в случае Loc (Proxy t) неясно какой инстанс использовать. Мы сказали, что, если Loc, то нужен инстанс для Loc, а не для m. (Это я телепатически догадался, а GHC не смог). Это мы явно передаем в первом параметре. Важно, что это не в констрейнте, а в нормальном параметре-типе.

А почему в одном месте m34?

т.е. в двух

почему они должны матчиться?

Если должны, напиши в сигнатуре констрейнт - в той функции, в которой вызываешь. Типа OutTypeHelp a ~ OutTypeHelp b

я покоментировал там лишнее что бы свести проблему к чему-то менее контекстнозависимому

есть например вот такая ошибка: haskell-wasm/src/Language/Wasm/Builder.hs:875:19: error: • Couldn't match type ‘OutType (Glob 'I32)’ with ‘OutType (Loc 'I32)’ arising from a use of ‘add’ NB: ‘OutType’ is a type function, and may not be injective

add :: (GenFunMonad m, Producer m a, Producer m b, OutType a ~ OutType b) => a -> b -> m (OutType a)

и вот само место вызова if' i32 ((heapNext `add` alignedSize) `lt_u` heapEnd)

OutTypeHelp a ~ OutTypeHelp b не так-то просто добавить, он уже 2 аргумента требует

А чему реально OutType (Glob 'I32) и второй равны?

потому что оба Proxy 'I32

если интересно больше контекста - https://github.com/SPY/haskell-wasm/blob/refactoring/builder-monad/src/Language/Wasm/Builder.hs#L875

Точно? Замени вызовы на undefined, загрузи ghci, сделай kind! OutType (Glob 'I32)

фух, может завтра гляну как-нибудь...

да, всё равно большое спасибо, у меня как минимум есть направление куда ковырять теперь

btw, λ> :kind! OutType (Glob 'I32) OutType (Glob 'I32) :: * = OutType (Glob 'I32)

он почему-то не раскрывает эту тайпфункцию

Посмотрел код. Я бы убрал ProducerType и лишний инстанс. Loc и Glob, похоже, одинаковые. Можно передавать Bool. import Data.Type.Bool .... m == Loc || m == Glob ...

Посмотрел код. Я бы убрал ProducerType и лишний инстанс. Loc и Glob, похоже, одинаковые. Можно передавать Bool. import Data.Type.Bool .... m == Loc || m == Glob ...

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

Я не очень понимаю почему гхц не может раскрыть OutType

Посмотрел код. Я бы убрал ProducerType и лишний инстанс. Loc и Glob, похоже, одинаковые. Можно передавать Bool. import Data.Type.Bool .... m == Loc || m == Glob ...

Ну и там разные имплементации функции produce для них

Мне по коду многое кажется неудачным. По последней ошибке - замена add на add @GenFun заменяет одну ошибку на другую ;-)

Кажется, что перекручено сильно...

А GADT туда не лезет?

Вроде для такого рода задач GADT самое то бывает

Всем привет. Подскажите, существует ли плагин для idea, который причесывает дизайн кода (аналог scalafmt) ?

Всем привет. Подскажите, существует ли плагин для idea, который причесывает дизайн кода (аналог scalafmt) ?

intellij-haskell (и haskforce?) умеет вызывать hindent и stylish-haskell

точно есть утилиты, которые можно запускать без idea

hindent, stylish-haskell, brittany, hfmt

в общем-то это и есть аналог scalafmt

@cblp_su @develop7 спасибо, втащил hfmt

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

разве что stylish для импортов

я пока тоже на stylish остановился

без форматеров

но коненчо иметь какой-то форматер единый было бы хорошо

не думаю, что это возможно

Мне кажется хаскель крайне свободный в плане форматирования

Например тот же блок if then else

Где-то его удобно одной строчкой

А где-то несколькими

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

тем временем для 8.6, похоже, готово удаление старой фичи, комитет это уже принял, но работы над имплементацией я заметил только сейчас убираются старые экстеншены DataKinds/PolyKinds, теперь эти прагмы будут включать TypeInType

Ребят а посоветуйте научпоп по категориям

чтобы доступным языком

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

brittany вроде как принципиально не трогает "код", а только декларации форматирует

Ребят а посоветуйте научпоп по категориям

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Милевски переводили же, в чатике по теоркату был линк

Я в ТК так и не смог, к стыду, но в закладках из того, что тут рекомендовали — http://telegra.ph/Materialy-po-teorii-kategorij-12-22 Из самого доступного, что я встречал — лекции Брагилевского (есть на youtube), но всё равно очень тяжело идёт.

https://vk.com/home_kana?w=wall-135720595_743

Милевски переводили же, в чатике по теоркату был линк

↑

brittany вроде как принципиально не трогает "код", а только декларации форматирует

это не так

емнип, этот форматтер вообще декларации не мог форматировать до недавнего времени

Хмм, просто "Retain newlines and comments unmodified". Ну ок

а если у меня есть модуль, можно как-то понять из какого он пакета? В GHCi например?

а, хотя уже нашёл этот модуль, но всё равно интересно, если кто в курсе

Хмм, просто "Retain newlines and comments unmodified". Ну ок

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

а если у меня есть модуль, можно как-то понять из какого он пакета? В GHCi например?

интересный вопрос. первое, что приходит в голову — поиск по Хакаджу или индекс модулей локального хаддока

но это явно не оптимально

ghc-pkg надо посмотреть

Оно вроде хуглится

он разве модули может показывать из пакетов?

с хуглом вопрос что модули они ещё и переименовываются :)

Можно хуглить хуглом снапшота, если стек используется

хотя в случае стакана вроде хугл должен по снэпшоту искать