В этом чате геополипы завелись

баним всех

*меня в первую очередь*

В этом чате геополипы завелись

Надо забрасывать читать валлерстайна

чего вдруг огромный-то?

ну незнаааю.

Потом х.з. в какой модуль этот АДТ сунуть еще

Maybe Either Either как-то правда попахивает

а вообще Джаспер всё верно говорит, рекомендую https://www.youtube.com/watch?v=-X1vrxQUETM https://github.com/jaspervdj/talks/blob/master/2018-haskellerz-getting-things-done/slides.md

Maybe Either Either как-то правда попахивает

ну это он преувеличивает. но парочка Either иногда бывает...

ну вот я тут тоже не уверен.

Prelude.Extended хм

Extended это как Utils..

или Missing которое немного smells

лучше Extra

хорошо в жиес, называешь целый модуль по имени целой одной функции в нем на две строчки, в npm выкладываешь

Extended это как Utils..

это как раз у него вместо Utils. из Utils ты сам модуль не экспортируешь

Data.ByteString.Utils ?

Acme.Data.ByteString ?

ну ты посмотри на слайд то

ну как я понял, предполагался общий Utils как свалка для всего

import Data.ByteString.Utils as BS import Data.ByteString as BS vs import Data.ByteString.Extended as BS

а тут предлагается разделение на модули, с добавлением Extra поэтому мы можем заимпортить старый модуль то есть посыл не в экспорте старого модуля + extended, а в группировке своих функций по модулям (а уже это дает возможность экспортить старый модуль)

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

> I think having a .Types module is a Haskell antipattern. TRIGGERED

Кану то ты не напугаешь зигой

Так что это какая-то hyperamid

> I think having a .Types module is a Haskell antipattern. TRIGGERED

ну вот всерашний тормозной телегобот как раз из-за этого паттерна тормозной

тормозной в смысле компиляции

Вообще хороший доклад

ну вот всерашний тормозной телегобот как раз из-за этого паттерна тормозной

Прочитал "теле-гобот"

но последние пару лет, похоже, это уже основные обсуждаемые тормоза

ну ты посмотри на слайд то

я читал их уже

я читал их уже

ну тогда же понятно чем от Utils отличается

но пирамида не совсем правильная все же.

ну тогда же понятно чем от Utils отличается

если я делаю utils я тоже реэкспортирую

в чем разница то (но яобычно не делаю utils)

тем более это не гарантирует того, что не будет Externded1 и Extended2

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

но популярные библиотеки часто не такие

про Types там про то, что только типы причем все подряд

это действительно убого

если я делаю utils я тоже реэкспортирую

Разница между MyProgram.Utils в котором всё подряд и Data.ByteString.Extended в котором только ByteString

ну Utils где все подряд это точно антипаттерн

про Types там про то, что только типы причем все подряд

Ну я так делал когда тип надо еще где-то. Допустим у меня есть ProjectId, UserId, AssetId и они нужны в разных модулях где Project, User, Asset определены

но такого даже в MissingH нету

Но он предлагает Internal

я так понял он против Types где только типы

т.к. там нужны и инстансы а для них функции всякие

если у тебя есть Transport types то такое взлетит

там обычно инстансы только автогенеренные и никаких метород

методов

он за разделение Types на проблемные области

не только

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

strawman какой-то

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

Ну у меня есть Huita.API.Types.Core -- AssetId,ProjectIId, ... FileName Huita.API.Types.Project -- Project, ProjectExpanded Huita.API.Project -- servant

ну и вот вчера же был модуль со всеми рекордами (и инстансами для них, правда)

ну и вот вчера же был модуль со всеми рекордами (и инстансами для них, правда)

С оргомной суммой рекордов!

.Types модули отстой

по смыслу делить надо, а не по принципу “тут типы, а тут функции"

ну а как еще организовать модуль с сервантовым API?

там вообще всё типы

.API?

ну а в нем у тебя что всё пачкой?

у меня вообще API.A.B

С оргомной суммой рекордов!

там она процентов 20% модуля и помимо нее еще куча рекордов

и реэкспортится

потом import API и норм

там она процентов 20% модуля и помимо нее еще куча рекордов

но Generic на этом и затыкается

потом import API и норм

Причем всё написано сразу для квалифицированных импортов, как Джаспер советует. Да?

я за неквалифицированные

мне под квалифицированные больше нравится

юзаю квалифицированные, только когда этого не избежать

proj ^. API.createdBy.API.userId

а то, doBla (bla :: Bla)

Однако я бы предпочёл что-бы Control.Concurrent.STM.* были под квалифицированные импорты написаны

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