Стрелки тут мало о чём говорят

А ┤ изображает углы скобминированных картинок

мнемоника!

┬ - рядом и прижать к верху

Это же Unit вроде?

не

это Top

Это символы рисования рамок. Они точно не заюзаны в unicode syntax

⊤┬

а не

разные символы

А что топ?

Для горизонтальной композиции блоками нарисовалось норм

a ▌▘ b a ▌▖ b

Для вертикальной не придумал

А что топ?

универсальный супертип

юнит просто топ

Any в расте

в Агде боттом это Void, топ это Unit

tt : ⊤

вроде

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

терминал объект может...

https://en.wikipedia.org/wiki/Top_type#In_logic

У меня пока примерно так и есть — htop, hbot, vleft, vright. Но это ж кошмар нечитаемый

две стрелки заюзать?

Вообще можно использовать любой непустой тип, но обычно берут самый простой — Unit.

https://en.wikipedia.org/wiki/Arrow_(symbol)#Arrows_in_Unicode вот например кучу таких стрелок

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

ну всё важно

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

только ради этого и держим этот плохокомпозируемый кусок бойлерплейта

Просто если нужны только доки и сваггер то можно сделать апишечку на аппликавном "парсере" запросов.

вот клиента уже наверно не запилить.

или запилить, но APi будет на Data.Functor.Conctravarian.Divisible наверно :)

или нет

Документация от Кметта: A Divisible contravariant functor is a monoid object in the category of presheaves from Hask to Hask, equipped with Day convolution mapping the cartesian product of the source to the Cartesian product of the target.

А у вас тут не упарывают всякие штуки типо теории категорий, комбинаторной логики и лямбда-исчисления? Это считается тут онтопиком?

Типизированное лябмда-исчисление это основа Haskell, ес-сно это on topic

Теоркат в меньшей мере

и за оффтопик тут не банят

@lonokhov клиент полезен очень

ну тогда только боль на типах

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

фри же! Нужны только интерпретаторы

если делать на фри то как быть с расширяемостью?

Мы же с тобой обсуждали :) И я предлагал иметь некоторые типы вида PathSegment и прочие нужные для роутинга в полях произвольных структур, умеющих в дерево и Generic

Хм... это вроде не то что я думал

Зато это то, что я думал :)

Имея свою структурку, можно дополнять роуты чем угодно - хошь докой, хошь контекстом

Для роутера же будет важно, что у коленцев дерева есть PathSegment

т.е. интерпретатор пишешь под себя, а в либе будут только хелперы типа "поматчить путь" или "ковертнуть капчу"? Или тут как-то это на женерики завязано?

можно на женериках, чтобы иснтансы не писать, думаю. Но да, смысл в этом - интерпретаторы пишешь сам

хм... на женериках забавно наверно

Можно при роутинге, вызывать некий обработчик коленца, который уже и контекст накопит при траверсе пути и права проверит и ещё чего

ну по идее надо накопить "delayed IO" из серванта

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

очень крутая штука

@qnikst хорошо что было в большом зале, а то некоторые слайды были очень насыщенные. а так норм. спасибо.

ну в смысле, хорошо что экран огромный

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

Доклад хороший, но информации было реально много - непросто для восприятия. Особенно кол-во информации выделялось на фоне прочих докладов (типа моего) :)

ну в смысле, хорошо что экран огромный

вот да, это спасло

Доклад хороший, но информации было реально много странно видеть в одном предложении это

Вообще я считаю что таких докладов очень не хватает. Именно про то как архитектурить на хаскеле. А то сейчас помогут только годы личного опыта и граблей

Доклад хороший, но информации было реально много странно видеть в одном предложении это

перефразировал :)

Вообще я считаю что таких докладов очень не хватает. Именно про то как архитектурить на хаскеле. А то сейчас помогут только годы личного опыта и граблей

М.б. только не на общей конфе, а на хаскельных митапах (но это не точно)

ну для этого же специально делают несколько потков, один посложнее, другой попроще.

<no location info>: error: ghc: panic! (the 'impossible' happened) (GHC version 8.2.1 for x86_64-unknown-linux): Simplifier ticks exhausted When trying RuleFired Class op fmap To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 241883 Call stack: CallStack (from HasCallStack): prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable pprPanic, called at compiler/simplCore/SimplMonad.hs:199:31 in ghc:SimplMonad Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug

FUUU опять GHC вышел на связь

ну для этого же специально делают несколько потков, один посложнее, другой попроще.

Это не хаскельная конфа была, хаскелистов даже не половина была среди аудитории. Так что иметь "посложнее поток для Haskell" - странно

ну для этого же специально делают несколько потков, один посложнее, другой попроще.

на общих конфах потоки делают по темам на глаз, а не посложнее/попроще

ничего себе не хаскельная - похоже, треть хаскеллистов. вопрос, кто были остальные

вообще это отличный вопрос, как определить что посложнее, а что попроще

надо больше прикладных тем, кмк

отличный был доклад про hasql

назревает доклад про кластеры - про страх, отвращение и ненависть

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

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

Ну уж не треть хаскелистов была. Мы просто громкие, да

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

в любом случае - кажется, это самая большая группа