а про что?

про всякие лейауты для поискового массива, типа Этцингера

а как это по англицки, а то я не курсе

Eytzinger

ага, на архиве нашёл, пасиб

чот пора mendeley desktop на этом ноуте восстанавливать

гхц-ные праймопы для префетча же только с llvm работают?

no idea :/

в идриск такое есть, в хаскеле есть пропосал

Тут на Реддите кто-то спрашивает, будут ли какие-нибудь митапы или конференции по Хаскелю в Питере 20-25 мая. ?

Где пропозал?

(<-) я не уверен, что оно в пропозалах было

idiom bracket зопилите

Где пропозал?

https://github.com/ghc-proposals/ghc-proposals/pull/64 но автор похоже не довел даже до мержа в список пропосалов

что за "мердж в список пропозалов"?

idiom bracket зопилите

Вот да. Чем всякое странное тащить.

они для разного же

ну вот :/

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

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

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

писать прикольно. читать потом не прикольно

и это не паттерны, а биндинги

ага, с паттернами из хс подумал

бэнг-нотация

писать прикольно. читать потом не прикольно

можно подумать любой хс код сейчас очень прикольно читать =)

вот и не надо усугублять ящитаю

писать прикольно. читать потом не прикольно

не прикольно, но удобно и легко

только если у тебя зрение хорошее и ты трезв

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

нет

а лучше если его вообще не будет, как в DDC, где он выводится, только читабельнее станет

а лучше если его вообще не будет, как в DDC, где он выводится, только читабельнее станет

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

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

если он будет выводиться, как тогда явно m a передать? =)

в функцию

больше нотаций в параметрически полиморфных функций

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

это какой?

arec ?

или как там его звали

MonadComprehensions, думаю

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

MonadComprehensions, думаю

да

ну arec же убирали в одном релизе

точнее депрекейтили

там смешнее было

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

сначала был mdo, потом сделали rec а mdo задепрекейтили, но потом передумали, и вернули, и задепрекейтили rec, потом передумали и сделали и то и другое (но rec немного по другому) и на этом успокоились пока

угу

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

Ребят, у наших коллег соседнего чатика https://t.me/fprog_spb экзистенциальный кризис, и надо им помочь. Может, есть докладчики на майский митап? Дату и место они еще не назвали, но обычно это последний четверг месяца где-то в Питере.

где-то на Ваське

чаще где-то в JetBrains

@qnikst там часто выступает, кстати. И правильно, надо нести Haskell в массы

да, если там будет что про свои проектики, или entry level то было бы неплохо

да, если там будет что про свои проектики, или entry level то было бы неплохо

я бы может втопил за втаскивание бложика в fediverse (вебчик и немного RFC)

@heyley принимает заявки тема + аннотация

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

@heyley принимает заявки тема + аннотация

сроки подачи?

@heyley ^

вообще насколько я понимаю (может совершенно неверно) строгих сроков нету, но лучше бы собрать пораньше, чтобы можно было аннонсировать событие. Но в прошлом месяце один доклад поменяли на другой в последнюю неделю, например.

лучше ответ огранизаторов конечно узнать

@icrbow теоретически любой) можно и за неделю до события)

если что-то не складывается, всегда можно на следующий месяц перенести :)

я правильно понял, что последний четверг мая это аж 30е?

таки 31е =)

но пока да, ориентируемся на это число, но может поставим на неделю раньше)

https://github.com/gspindles/Papers Во на что натолкнулся, может, будет интересно.

https://github.com/gspindles/Papers Во на что натолкнулся, может, будет интересно.

то что доктор прописал)

то что доктор прописал)

То, что PhD прописал

То, что PhD прописал

Точно!

какой у нас самый кошерный способ получить быстрые монотонные часы? clock вроде только для unix

А не, вру

есть что-нибудь покороче чем lensWithMaybe . _Just . lensWithoutMaybe ?

let yourPrism = lensWithMaybe . _Just

let a ?. b = a . _Just . b

let a ?. b = a . _Just . b

ну да я такой оператор где-нибудь ожидал

мб более генерализированный

Hi guys, does anyone know how to remove first and last elements of a list of lists? firstLast::[a]->[a] firstLast [] = [] firstLast [x] = [] firstLast xs = tail (init xs) In this case i can remove first and last from a list, but what about from a list of lists? i mean first and last elements of all the sublists

Are you hear about Functor?

Nope

I'm highly recommend to meet it

tail . reverse . tail . reverse

tail . reverse . tail . reverse

nope

Hi guys, does anyone know how to remove first and last elements of a list of lists? firstLast::[a]->[a] firstLast [] = [] firstLast [x] = [] firstLast xs = tail (init xs) In this case i can remove first and last from a list, but what about from a list of lists? i mean first and last elements of all the sublists

map firstLast :: [[a]] -> [[a]]

fmap (tail . reverse . tail . reverse)

tail . init

follow types

tail . init

ну или так)

just test on empty and single-element lists, and simply add water, if needed

map firstLast :: [[a]] -> [[a]]

that's worked.!

noFirstLast xs = tail $ map snd $ zip (tail xs) xs

if you want to be crazy

lol