После такого сообщения можно догадаться

эдско с картером прикольно в твиттере ругаются

про Хокинга все уже в курсе?

😞

Не было еще либ, которая полностью mtl реэкспортит с инвестированными аргументами раннеров?

в universum же есть!:)

эдско с картером прикольно в твиттере ругаются

про ООП что ли?

+

А где?

https://twitter.com/EdskoDeVries/status/971688656275755008

и далее

а чем у нас хорошо тестится forall a b . forall c: P(a,b,c) => свойство?

в принципе со smallcheck можно и все проверить

открытка одептам раскраски исходников регэкспами

вроде в этом чати было

открытка одептам раскраски исходников регэкспами

ITT адапты раскраски переменных с черно-белым кодом

stackage strikes back https://twitter.com/hvrgnu/status/973895690156945408

Товарищи хаскеллисты. Решил у вас тут спросить. Вот есть у вас как минимум такое https://hackage.haskell.org/package/adjunctions-4.4/docs/Data-Functor-Rep.html А что если мой функтор может содержать, а может не содержать значения? И мне нужно что-то а-ля tabulate :: (Rep f -> Either (EmptyRep f) a) -> f aкак это можно реализовать? явно Compose (Either Foo) f ?

> может содержать, а может не содержать значения как Maybe?

> может содержать, а может не содержать значения как Maybe?

да, или в общем случае Either, чтобы всё-таки "несодержащая" ветка не была синглтоном

я не понимаю, о чём этот класс, но инстансов для Maybe и Either у него нет, наверное, неспроста

я не понимаю, о чём этот класс, но инстансов для Maybe и Either у него нет, наверное, неспроста

да, он только для "принципиально непустых функторов"

функторов, которые изоморфны функции из какого-то пространства

representable functor, вообще говоря хорошо гуглящаяся вещь, если интересно и нужен категорный контекст

а программный контекст у него есть?

stackage strikes back https://twitter.com/hvrgnu/status/973895690156945408

Свежий лтс-11 уже с версией 1.2.3

может, он по этому поводу и замажорился?

а программный контекст у него есть?

функторов, которые изоморфны функции не знаю, стоит раскрытия, юзкейзов?

может, он по этому поводу и замажорился?

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

лтс по поводу перехода найтли на 8.4

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

Это как? (чейнжлог не читал)

в чейнджлоге вроде особо не раскрывалось

это про бэкпэк или что-то новенькое?

c 8.4 бекпак поддерживает абстракцию типов которые не только Type т.е. можно писать сигнатуру signature Foo where import GHC.Types data Rep :: RuntimeRep data Number :: TYPE Rep и потом имплементацию module Foo where import GHC.Types import GHC.Prim type Rep = IntRep type Number = Int# и так далее, полиморфный код не на универсальном представлении, а такой где все анлифтнутое

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

Прикольно, спасибо

ну, я думаю, первый кто попробует с этим пострадать сразу 10 багов гхц зарепортит

ну и соотвественно имитировать анлифтед ньютайпы, которые еще только как фича одобрены, но не имплементированы

т.е. data Maybe a в сигнатуре и type Maybe a = (# a | (##) #) в имплементации

прикольно

была бы задача ещё где применить поигратьс

работоспособность всего этого я еще правда не проверял

(там естественно еще кайнд сигнатуры с рантаймреп должны быть)

чёт мне не нравится эта страничка

что я должен сделать? запаковать файлики и скинуть туда?

не загружай на hackage, не совершай ошибку

да я думал хакадж это круто

либо туда результат sdist, либо cabal upload

вроде все норм пацаны на хакадж скидывают пакеты

не плоди мусора - чище будет!

лучше бы этого не делали

https://hackage.haskell.org/package/cabal-upload вот этот?

Ага, а то станет как NPM

stack upload тоже работает

https://hackage.haskell.org/package/cabal-upload вот этот?

нет, обычный кабал, который cabal-install

лучше бы на самом деле можно было ему кинуть ссылку на гитхаб с тегом

а то локально тут ещё мусор всякий

cabal sdist соберёт что надо

без мусора

прикольно

в юзергайде даж слово upload отсутствует

кабал как обычно...

законтрибьютье

вон @lonokhov там допиливал read-the-docs

кстати, а куда он с канала потерялся?

блин у меня cabal update завис

написал checking и всё

что там проверять можно

ну не апдейт

аплоад

Я всегда через вебню загружал

кстати, а куда он с канала потерялся?

Я? Я тут болею, вместе с дочкой. За сегодня я посмотрел холодное сердце 3 раза.

ну хокей

странно автоподстановка не подсвечивала

Отпусти и забудь

Через кабал можно ещё и документацию залить

Я всегда через вебню загружал

а там в свою очередь Forbidden пишет (403 я уже сам видимо выдумал)

А аккаунт есть?

есть

Странно. Может заглючило что?

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