т.е. это return для функции storyViewed?

это законно?

законно, но жутковато

наверное датасатанист какой

с питона переехал

это нормально а вот то что кривда порофлить сюда притащил и не помог человеку это уже так себе

это нормально а вот то что кривда порофлить сюда притащил и не помог человеку это уже так себе

Насчёт минуса в карму, я знаю, сам таким был и так далее не хорошо. Но что хотел автор не понятно

Простите

Токсический пост: Начинаем новый проект, отчаянные ребята пишут код type :<:[F[_], G[_] <: CopK[_, _]] = Inject[F, G]первым делом которое я сделаю в проекте это запрещу cats)

алакарт что-ли рисуют

я не знаю) такое ощущение что что-то из квантовой химии)

вроде надо было сраный http запрос послать но внезапно что-то пошло не так и судя по всему мы доказываем теорему Ферма)

http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf

разделимость эффектов вы доказываете

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

на градуированные манатки в универсуме

ну или так

как я перестал беспокоиться и полюбил лямбда куб

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

а если мультиверс в 7-м измерении?

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

Ну хоть не котлин ?

тогда 7-категорное наверное чото

2-топосы или хомотопические типы

пока только до фактор-индуктивного додумались вроде

может и можно на них мультиверс

хаскель шутки для тех кому за 60)

не, это уже не хаскель

хаскель на универсуме отсеялся

Токсический пост: Начинаем новый проект, отчаянные ребята пишут код type :<:[F[_], G[_] <: CopK[_, _]] = Inject[F, G]первым делом которое я сделаю в проекте это запрещу cats)

Придёт к тебе со временем

2-топосы или хомотопические типы

А на гомотопических типах ток пруверы есть? Я постеснялся у вас спросить в чате

или есть боевые языки какие-то

ну кубикал и redprl

там стирания нет по построению я ж писал

то есть все пруфы транслируются в рантайм

тут от сборщика мусора люди страдают, а квадратичной сложности бесполезную термодробилку не хотите через шаг?

жесть

круто всеравно

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

вроде надо было сраный http запрос послать но внезапно что-то пошло не так и судя по всему мы доказываем теорему Ферма)

нужно http запрос послать - а они искусством занимаются)

алакарт что-ли рисуют

не рисуют, используют из котов, чтобы потом писать def foo[ F[_] : ThisShit :<: ? : ThatShit :<: ?]...

вроде надо было сраный http запрос послать но внезапно что-то пошло не так и судя по всему мы доказываем теорему Ферма)

а почему ты так расстрился из-за одного алиаса? Чувствуешь, что готов отказаться от языка, потому что в нём используют концепты, некоторые из которых ты ещё не осилил?

там стирания нет по построению я ж писал

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

Чувствую что готов отказаться от cats потому что там просто месиво и стопиццот лишних абстракций для того чтобы выполнить простую операцию

Чувствую что готов отказаться от cats потому что там просто месиво и стопиццот лишних абстракций для того чтобы выполнить простую операцию

какую?

Коты вроде норм как либа

Вобщем проблема не в либах

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

Http сервис на финагле

откуда в котах абстракции для финагла?

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

"сраный http запрос"

Абстракции руками нагородили

Выходит вчера акка не нужна, а сегодня день котов?

нагородили руками абстракций, а виновата либа. окай.

Дак уже говорят скала нинужна!

Правильно говорят

Коты вроде норм как либа

Вобщем проблема не в либах

Изи изи)

Ну т.е. это вы же сами решили юзать free (а это не cats-core) . Притом без всяких либ типа frees. Это совершенно не проблема дизайна либы

Где там эта картинка String -> String ... и палкой в колесах, только написать cats is a lie

И ясно, что для того, чтобы запрос послать никто фриманатки не рисует обычно

дешевый наброс жавистов был это просто

Http сервис на финагле

а что не так там? Вполне идиоматично в контексте финагла, что все есть сервис.

в контексте финагла все есть функция, не?

и чем не устраивает финч как враппер, если сырой финагл не хочется?

финтроспект больше нравится, но это вопрос вкуса )

ERROR: S client not available

финтроспект больше нравится, но это вопрос вкуса )

даж не слышал) над посмотреть

fintrospect.io

даж не слышал) над посмотреть

оно ниоч популярное

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

Выглядит секси, особенно автогенерация сваггера, если вообще ничего не надо для этого делать

не понятно почему он за 2 или 3 года не взлетел только

Маркетинг ниоч возможно

Королев так-то вроде тоже с хорошими идеями и реализациями ?

Фомкину над на фпконфах королев толкать больше

Ну раз не стрельнул, значит идея не нова и есть что-то лучше, либо сама идея неактуальна, правильно же?

На вид он слегка рантаймовый

В том плане, что не очень тайпсейфовый

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

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

Вот пока обсуждали финтроспект, в финче задиприкейтили еще один пакет ?

Вот пока обсуждали финтроспект, в финче задиприкейтили еще один пакет ?

что именно?

ну это шутка такая

пацаны, чё делать, в бузинес логике куча методов, которые возвращают таплы по 4-5 элементов, это много и не хочется, а делать на каждый такой тапл по кейс классу - весь файл будет в кейс классах, чё делать ?

писать их в отдельных файлах в отдельной папочке как джава-деды завещали?

Вот отдельный файл для отдельного кейс класса точно не надо заводить))

да блин, они чисто утилитарные, чтобы результат вернуть, даже нигде не используются, в духе val Result(a, b, c, d) = fun(...), просто без них сигнатуры методов получаются километровые

делай тайп алиасы для таплов

Тогда буду весь в тайп алиасах

таплы вложенных тайп алиасов на таплы

еее бой

мета тайп алиасы потом будут

построишь свою простенькую систему типов на алиасах таплов

и всё чтобы посчитать 2 + 2, найс

как там было, скала - искусство