А, даёт всем, только учитывает от новичка

как это связано с IRC?

там нельзя newline в сообщении и ограничена длина сообщения. В итоге возникает привычка писать одно предложение в сообщении.

там нельзя newline в сообщении и ограничена длина сообщения. В итоге возникает привычка писать одно предложение в сообщении.

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

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

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

😀

кажется, никто не отозвался на APS. а как это связано с Хаскелем?

Никак не связано. Хаскел users наиболее опытные. У кого, как не у них поинтересоваться? Ну раз, нет тут людей, сталкивавшихся с данным "чудом", то прошу прощения за оффтопик.

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

никто wai-prometheus к серванта не прикручивал ещё?

http://hackage.haskell.org/package/mmorph-1.1.1/docs/Control-Monad-Morph.html#t:MMonad

Что это Монада над Монадами? Какой интересный пакет

Что это Монада над Монадами? Какой интересный пакет

Может кто объяснит, как^w зачем этим пользоваться

хочет от тебя функция Conduit IO a b

а у тебя только функция работающая в ResourceT IO

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

ну и вообще изменение "внутренности" стека

Это всё нужно потому что монады не композятся?

То есть, так как у нас не композиция монад, а именно накручены трансформеры, мы уже не можем лазить по стеку обычным fmap'ом

Короче примерно понятно

Утра! А есть в Haskell функция, позволяющая подсчитать число вхождений определённого элемента в список?

А то гугл предлагает велосипедить.

length $ filter isElement list ?

Ну почему бы и нет.

Спасибо!

Ещё тут можно посмотреть: http://hayoo.fh-wedel.de/?query=(a+->+Bool)+->+[a]+->+Integer

Ну т.е. поискать по сигнатуре: (a -> Bool) -> [a] -> Integer

Ого, а вот это реально крутая фишка!

Век живи, век учись!

А то!

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

Например, у меня есть тип Line, и я хочу указать, что start не может быть больше или равен end.

data Line = Line { start :: Int, end :: Int } deriving (Show)

Вот сам тип

В Haskell -- вряд ли.

Но можно попробовать end :: Int заменить на length :: Word

В Haskell -- вряд ли.

А в Idris?

Вот это не знаю, ещё не начал изучать. Пусть другие ответят

Идрисоводов ещё пойду в чате про deptypes спрошу.

Да проще уж с length :: Int :)

Или даже length :: Word, но потом замучаешься fromIntegral писать

Выглядит как-то костыльно, если честно.

Подождём, пока проснётся @qnikst

Ну почти во всех библиотеках такое, тот же Vector именно так устроен, т.е. там начало и его размер, а не начало, конец.

Кстати да, я только что понял, что сам Line - велосипед.

Хотя для обучения велосипедостроение вполне себе ок.

а чт

?

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

Вот это

@qnikst вкратце - вот.

Например, у меня есть тип Line, и я хочу указать, что start не может быть больше или равен end.

data Line = Line { start :: Int, end :: Int } deriving (Show)

:)

С добрым утром.

забей на это, сделай умный конструктор. или синглетоны

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

Даже если есть в том же Idris, тебе придётся страниц 5 теорем доказывать. Проще уж инкапсулировать Line в 2-3 функции.

Но я не знаток, может, другие подскажут, как в 4 страницы сделать ;)

начало и конец на Nat и неравенство на type famity.

Но не стоит того. Smart constructor, как уже выше сказали, обычно норм

Если взять длину в Nat, то можно и без TF обойтись по идее

Тем более всегда ж можно сделать end Line{..} = begin + length

Потому как "ненулевая длина", это Succ a

Даже если есть в том же Idris, тебе придётся страниц 5 теорем доказывать. Проще уж инкапсулировать Line в 2-3 функции.

Я просто интересуюсь возможностями языков.

Если бы я чего для прода на этом писал - и подход был бы другой.

Нет смысла накладывать ограничения на один конструктор - Line может получиться вырожденной в результате неких вычислений. Поэтому либо Nat таскать вместо Int и тайплевельную же арифметику, либо пользовать mkLine :: Int -> Int -> Maybe Line

никто wai-prometheus к серванта не прикручивал ещё?

ты про wai-middleware-prometheus ? тож просто мидлварь

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

Если взять длину в Nat, то можно и без TF обойтись по идее

Несколько раз уже видел аббревиатуру TF. Что это значит ?)

Type Family

Tensor Flow ;)

Выбирай нужное

Несколько раз уже видел аббревиатуру TF. Что это значит ?)

Тайглес файнал еще

В общем, если кому не жалко свободного времени - проревьюйте код. Вот задача: https://tproger.ru/problems/nested-segments/ Вот решение: https://hastebin.cuttlerat.ru/qemimezumi.hs

http://hackage.haskell.org/package/fingertree-0.1.4.1/docs/Data-IntervalMap-FingerTree.html

Готовое решение ;)

http://hackage.haskell.org/package/fingertree-0.1.4.1/docs/Data-IntervalMap-FingerTree.html

Жестокий ты человек :(

Да я для обучения :)

А вообще прикольно, да.

Type Family

предположу что это 😊

Многие алгоритмы на Finger Tree работают