а fooViaBar имеет аргумент

@cblp_su ^

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

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

ну и вообще если пример более понятный то было бы круче

class CFoo a where foo :: TFoo a class CFoo a => CFooBar a where foobar :: TFooBar a class CFoo a => CFooBaz a where foobaz :: TFooBaz a fooViaBar :: TFooBar a -> TFoo a fooViaBaz :: TFooBaz a -> TFoo a data X instance CFoo X where foo = fooViaBar foobar instance CFooBar X where foobar = (realImplementation) data Y instance CFoo Y where foo = fooViaBaz foobaz instance CFooBaz Y where foobaz = (realImplementation)

теперь вроде должны сойтись

а реальный код вот https://github.com/ff-notes/ron/blob/master/ron/lib/RON/Data/Internal.hs

а хочется иметь CFoo, такое чтобы реализация foo определялась типом?

извиняюсь, что несколько туплю пока

т.е. как бы выглядел идеализированный пример

хочется, чтобы было больше гарантий и меньше избыточности. в частности, хочется (1) гарантию, что не определены одновременно CFooBar и CFooBaz и (2) чтобы не писать тривиальный CFoo, а чтобы он сам автомагически выводился

+

методы принципиальны?

@cblp_su закрытое множество классов CFooBa* ?

для закрытого: data Q = R | Z class CFoo x (a :: Q) | x -> a where foo :: TFoo x тогда ты не можешь определить только CFooBar или CFooBaz

1.hs:33:10: error: • Couldn't match type ‘'Z’ with ‘'R’ arising from a functional dependency between: constraint ‘CFoo Y 'R’ arising from the superclasses of an instance declaration instance ‘CFoo Y 'Z’ at 1.hs:31:10-17 • In the instance declaration for ‘CFooBar Y’

или: 1.hs:31:10: error: Functional dependencies conflict between instance declarations: instance CFoo Y 'Z -- Defined at 1.hs:31:10 instance CFoo Y 'R -- Defined at 1.hs:32:10 | 31 | instance CFoo Y Z where foo = fooViaBaz (foobaz @ Y)

для открытого множества это не сработает

но буков все равно столько же сколько у тебя

более хороший вариант это писать только CFoo

@cblp_su или что-то такое: https://paste.pound-python.org/show/k5lDF5glG3Qbemrjs1Q4/

CFoo определяет через какой тип ты работаешь, сможешь только один на тип определить

FooVia определяет realImplementation

fooVia' юзерский метод, который тупо работает

если бы realImplementation можно было бы куда-нить вынести или обобщить или вытащить в CFoo то тогда бы FooVia можно было бы автоматом получить

если у тебя есть зависимость, то можно втащить TFooBar в классы

инъективность т.е. есть

тогда можно TypeApplication в fooVia' выкинуть

@cblp_su Я использовал такой подход: class FooImpl (Impl a) а => Foo a where type Impl a foo :: Foo a => TFoo a foo = defined via fooImpl class FooImpl tag a where fooImpl :: Proxy tag -> TFoo a

Но мне не были нужны разные TWhateverFoo

типы не сходятся?

1 строка

У меня сходились. Я это для хитровывернутой сериализации

Ну может UndecidableInstances нужен

у тебя в контексте у FooImpl 1 параметр

Забыл а

так лучше :)

ну тоже 2 класса выходит, вроде как у меня в пасте

1 определяющий тег, второй строящий нужное по тегу

О! Можно прямо по ним и диспетчирезоваться class FooImpl t where toTFoo :: t a -> TFoo a class FooImpl (Impl a) => Foo a where type Impl a fooImpl :: Impl a a

и метод общий написанный через второй класс

Ага

последний вариант мне нравится

Да. Первый я придумал для того чтобы выбирать чем сериализовать данные (цбором, жсоном...)

Диму Маликова приглашали уже?

он еще пишет свой новый трек "ты моя монада"

он еще пишет свой новый трек "ты моя монада"

Он войдет в новый релиз под названием "Мой функциональный рай"

в @haskell_blah plz

методы принципиальны?

не понял вопрос

да неважно, читай что там ниже

@cblp_su закрытое множество классов CFooBa* ?

да

@cblp_su или что-то такое: https://paste.pound-python.org/show/k5lDF5glG3Qbemrjs1Q4/

спасибо! я что-то похожее пытался сделать, но недогнул

О! Можно прямо по ним и диспетчирезоваться class FooImpl t where toTFoo :: t a -> TFoo a class FooImpl (Impl a) => Foo a where type Impl a fooImpl :: Impl a a

и тебе спасибо

все продолжают "циклы" чинить https://github.com/ghc/ghc/commit/e655aac18c5b240f27fcaf26317ad87be5ce8b96

справедливости ради, они уже какие-то крохи добирают, по настоящему плохо они компилировались в 7.8, 7.10 и 8.0

> A quick run of NoFib revealed no regression or improvements whatsoever.

удивительное рядом

разница в добавлении INLINE?

а почитал

> Notice that f does not inline into the RHS of c, because the INLINE pragma stops it;

почему?

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

ERROR: S client not available

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

а логично

А что за прикол с тремя кнопками?

Боты научились кнопки жать?

сейчас еще и откатят наверное

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

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

HIW?

Haskell Implementors Workshop

https://github.com/grin-tech/ghc-grin

Они еще не сделали ничего рабочего

(даже на игрушечном уровне)

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

но ведь можно просто взять и поучаствовать. ну, несколько сотен баксов только заплатить придётся, но это ерунда

проще простого, конечно

Боюсь, вместе с дорогой из России побольше чем несколько сотен.

учитывая где это - несколько тысяч

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

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

запись есть же

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

но не icfp

слишком серьезное мероприятие для этого

запись есть же

см выше

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

а зачем вообще этот ghc-grin ?

Медленно это из-за конкретного человека, насчёт качества: само икфп в норм качестве, а вот воркшопы никак не осилят, да

название стрёмное) усмешка

ну это да

да и само icfp обычно говно

Я не из зажопинска, но митап у нас настолько убогий, что ни видео, ни слайдов. Да и желания туда ходить уже тоже нет

Я не из зажопинска, но митап у нас настолько убогий, что ни видео, ни слайдов. Да и желания туда ходить уже тоже нет

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

Я не из зажопинска, но митап у нас настолько убогий, что ни видео, ни слайдов. Да и желания туда ходить уже тоже нет

возвращайтесь в РФ