instance forall a . Foo a => Bar a <=> instance Foo a => Bar a

И теперь написать инстанс Bar можно только для типов, для которых реализован Foo

тыкаете свои forall а потом думаете, что это новые фичи

А, стоп

И теперь написать инстанс Bar можно только для типов, для которых реализован Foo

уже я написал как это сделать так чтобы было

Я неправильно понял

пожалуйста, если играешь в проксю - проксируй все

Это ж констрейнт в экземпляре, а не в объявлении класса типов

class Bar where bar :: Bar a default bar :: Foo a => Bar a bar = foo

^

class Bar where bar :: Bar a default bar :: Foo a => Bar a bar = foo

а можно это же через TF?

как? зачем? почему?

это другой инструмент

тут мы только говорим, как зоделать дефотную имплементацию метода

придётся правда писать instance Bar A для всех типов

но там идеальных решений нету

{-# OVERLAPPABLE #-} instance (Foo a) => Bar a where bar = foo {-# OVERLAPPING #-} instance Bar Int where bar = 6

если Int не реализует Foo

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

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

а в stm-conduit с entangledPair вообще не ясно что делать

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

А разве в этом случае компилятор на скажет о конфликте инстансов?

на этом моменте пойдут и будет все плохо

т.е. если для одного класса можно через этот путь или default signatures то, если хочется 2 дефолта то ещё придётся запихнуть метод это разрешающий

что возможно, но выглядит как костыли

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

где есть множественное отношение принадлежности

и по этому отношению строется инстанс

@lightgreen похоже обновление stm-conduit откладывается минимум до завтра

там все сложно

интересно https://github.com/nfrisby/coxswain

https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain

@A64m_qb0 ^

http://hackage.haskell.org/package/HList-0.2.3/docs/Data-HList-GhcSyntax.html

скорее наоборот как раз

Void терминальный Unit инициальный (или наоборот)

врятли наоборот

хотя я всегда путаюсь

Void начальный, Unit конечный

Потому что из Void к любому другому объекту стрелка начинается (absurd), а в Unit заканчивается (const ())

а да

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

а в логике False и True

или не True? то, что из False все следует это ясно

Если стрелка импликация то да, True из чего угодно можно заключить

и в религиях из небытия возникает Монада (пифагорейская)

@qnikst, если рассматривать исчисление высказываний в форме натурального вывода как категорию, то да, False и True. это можно глянуть у Стива Ауди или у Ламбека-Скотта еще

Быстрые свидания бесполезны. 30 секунд не хватает для того, чтобы объяснить все преимущества функционального программирования на Haskell.

?

кто пояснит почему codensity дает монаду, а density - комонаду? вроде приставка co должна говорить о комонаде

ну и применимость codensity для того чтобы улучшить Free monad (сделать Church версию) помню читал пейпер про это

кто пояснит почему codensity дает монаду, а density - комонаду? вроде приставка co должна говорить о комонаде

Потому что "ко-" означает дуальность, а не возможность рассмотрения сущности как комонады

Потому что "ко-" означает дуальность, а не возможность рассмотрения сущности как комонады

density дает comonad если f функтор

Понятия не имею что такое density

coco = id :^D

Вот и все что я хочу сказать

кто пояснит почему codensity дает монаду, а density - комонаду? вроде приставка co должна говорить о комонаде

я не понимаю, в чем проблема

density создает комонаду если мы добавим ко, то очевидно что и комонада задуалится, получается codensity создает монаду в чем проблема?

density создает комонаду если мы добавим ко, то очевидно что и комонада задуалится, получается codensity создает монаду в чем проблема?

в именовании)

ну так уж получилось)

я думал плотность - монада коплотность - комонада

Codensity, Yoneda из Ran Density, Coyoneda из Lan

если Ran - это обобщение всех continuation то Lan это обобщение всех cocontinuation какой бы пример найти с cocontinuation? вот например CoCont есть такое?

ERROR: S client not available

а можно генерировать полиморфные линзы как-то?

хочу в структуре data F a = F { name :: a } иметь линзу name :: Lens (F a) (F b) a b

makeLenses генерирует мономорфные линзы, т.е. name :: Lens' (F a) a

EnvT?

хмммм, да должен вроде полиморфные генерировать, странно

> data F a = F { _name :: a }; makeLenses ''F > :t name name :: (Functor f, Profunctor p) => p a1 (f a2) -> p (F a1) (f (F a2))

EnvT?

Нет, так его просто прозвали в одном из пейперов, который я уже врятли найду.

Быстрые свидания бесполезны. 30 секунд не хватает для того, чтобы объяснить все преимущества функционального программирования на Haskell.

/save

coco = id :^D

co . co = id тогда уж

народ, подскажите плз, как [Bool] перевести в байты?

Руками не вариант?

там будет несколько сложнее у ByteString есть cons, который принимает Word8 то есть нужно разбить массив булов на чанки по 8 булов, каждый чанк превратить в Word8, а потом законсить их все

в конечном итоге я из [Bool] хочу получить ByteString

начни с take 8

нет, лучше splitAt 8

порции свернуть с помощью Data.Bits.bit, например

главное — тупо/остроконечность не перепутать

блин у mergeConduit вообще какая-то адская кривая семантика

а исправлять я боюсь, поломаю же юзкейсы

(картинка xkcd про пробел перегревающий комп)

в конечном итоге я из [Bool] хочу получить ByteString

был binary-bits или как-то так, кривой вусмерть

(картинка xkcd про пробел перегревающий комп)

Можно ссыль? Не помню такого

https://xkcd.com/1172/

ааааа

https://xkcd.com/1172/

Это хорошо, да

у merge sources не может быть адекватной семантики.. что делать!!

https://xkcd.com/1172/

А, точно. Там ещё стрип про M-x C-c butterfly был

у merge sources не может быть адекватной семантики.. что делать!!

а вот эта тоже не адекватная? https://hackage.haskell.org/package/conduit-merge

а вот эта тоже не адекватная? https://hackage.haskell.org/package/conduit-merge

тоже ;). на самом деле тут все в порядке, она имеет более ограниченный тип и такая функция имеет адекватную семантику, не ту которой бы хотелось в stm- conduit, но адекватную хотя бы

всё равно не подходит?