если матчинг в value space то классы

Ааа, расшифруй.

Например foo acc (x -> y) = foo (x : acc) y foo acc _ = rev acc

Я всего лишь хочу написать такой foo

Например foo acc (x -> y) = foo (x : acc) y foo acc _ = rev acc

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

мб как-то через pattern synonyms

Блин, слишком много контекста теряется

Хаскельный кошелёк для хаскельной ноды, full Haskell blockchain. :-)

https://serokell.io/ariadne/

Скоро сможем размерами продакшенов тыкать тоже

Кому это важно не ясно только

https://serokell.io/ariadne/

А у вас же не было публичного релиза?

у кого "у вас"?

Хаскельный кошелёк для хаскельной ноды, full Haskell blockchain. :-)

Но blockchain уже давно не хайп

:-)

Ну Кардано

Был конечно

Заниматься блокчейном в 20!8 это такое

давно

Что-то я пропустил

Кардано до сих пор НЕ в децентрализованном режиме, это да

но так-то работает

формально уже с осени прошлого года

хотя и было уже куча обновлений

Значит не пропустил ?

серокел продолжают работать с iohk ?

https://serokell.io/ariadne/

Консольненько

о да

Так ностальгией повеяло :)

Серокельцы лишь час назад объявили анонс

строго говоря, это ещё альфа-версия

строго говоря, это ещё альфа-версия

А вам хаскеллисты нужны?

вам - это кому?

IOHK или Серокелю?

IOHK

Ну, им... Хоть Serokell, хоть IOHK

Нанимают потихоньку.

так что можно сказать - да, нужны. Но не знаю, сколько и в какие команды

Если нанимают, значит пока все хорошо, штормовых туч на горизонте не видно.

подтверждаю - да, всё хорошо

разработка идёт полным ходом

скоро будет поддержка аппаратных кошельков, в частности, Ledger Nano S

Knit - это совсем новая штука?

я не в курсе что это

Как отключить Werror?

А, это не оно

наконец-та

http://fpconf.ru/

FPCONF.Haskell — конференция для хаскелистов и сочувствующих! В этом году мы решили выделить один из самых живых и интересных треков FPConf в отдельную конференцию. Обсуждаем Haskell, его применение в реальных проектах, новые библиотеки, концепции, подходы. Место провдения - Newsroom. Присоединяйтесь! Конференция однодневная, доклады идут в два параллельных потока.

вот это крутяк!!

FPCONF.Haskell — конференция для хаскелистов и сочувствующих! В этом году мы решили выделить один из самых живых и интересных треков FPConf в отдельную конференцию. Обсуждаем Haskell, его применение в реальных проектах, новые библиотеки, концепции, подходы. Место провдения - Newsroom. Присоединяйтесь! Конференция однодневная, доклады идут в два параллельных потока.

это значит, что на большой fpconf хаскеля не будет?

не знаю

я даже не знаю, будет ли "большая fpconf"

будем следить за новостями

загадочная идея

при том что такой короткий срок

интересно есть хоть 1 докладчик?

> в одной из компаний в которой я работала был человек возраста ЗА ТРИДЦАТЬ, который стал пропадать

(слушаю девзен второй раз в жизни)

кем вы видете себя через 5 лет? человеком в возрасте ЗА СОРОК. ну, может, трупом

стал пропадать с работы на ночь и на выходные?

> половину времени человек будет проводить в пути до курилки

> другую половину в курилке

> ну, ладно, треть

а кто не курит?

ходит в курилку за компанию

не

я таким не страдаю

> алкоголь, наркотики, курение и даже, может быть, кофе

функциональный наркоман

> надо не прямо спрашивать, видишь у человека опухшую физиономию - спрашиваешь: "не хочешь пойти на кухню, опохмелиться?"

восхитительный вопрос для собеседования

А вот как правильно отвечать на: "а почему вы хотите именно в нашу компанию?"?

10 минут от дома

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

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

А вот вопроса "почему вы хотите к нам" мне, кажется, не задавали

интересно есть хоть 1 докладчик?

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

Фри монады - низзя Про STM все и так все знают Почему расширяемые эффекты зло, уже здесь обсудили (а кроме Пурсы я еще с ними страдаю в рамках библиотеки freer) DSLи всякие строить хаскеллисты все как один умеют В продвинутый тайп левел я не могу Различные дизайн паттерны, - да кому они нужны, фигак-фигак и mtl-style Про движок текстовой адвенчуры рассказывать, - так скажут, что продакшн хотят, а не развлекалочки Про текущую хаскельную кодобазу рассказывать, - так она у всех одинаковая серванты, аесоны, да прочий опалай Мог бы про пурскриптовский клон reflex-dom под названием Specular рассказать, так он не мой, да еще и толком практики не выработаны Или про то, как я оптимизял свою STM либу, так ведь она все равно в 6 раз медленнее, засмеют

Фри монады - низзя Про STM все и так все знают Почему расширяемые эффекты зло, уже здесь обсудили (а кроме Пурсы я еще с ними страдаю в рамках библиотеки freer) DSLи всякие строить хаскеллисты все как один умеют В продвинутый тайп левел я не могу Различные дизайн паттерны, - да кому они нужны, фигак-фигак и mtl-style Про движок текстовой адвенчуры рассказывать, - так скажут, что продакшн хотят, а не развлекалочки Про текущую хаскельную кодобазу рассказывать, - так она у всех одинаковая серванты, аесоны, да прочий опалай Мог бы про пурскриптовский клон reflex-dom под названием Specular рассказать, так он не мой, да еще и толком практики не выработаны Или про то, как я оптимизял свою STM либу, так ведь она все равно в 6 раз медленнее, засмеют

спекуляр ок) особенно всякие weakDynamicList и dynamicList

Не совсем ОК. Там автор изобретает новый подход, чтобы скрыть weakdynamic. Эта концепция все ж неудобная, протаскивать разные типы через view и controller - та еще боль. Автор придумал Cell - фактически, стейтфул ячейку с динамическими обновлениями

Ну и еще автор слишком умный, я не успеваю за ним

может и глупый вопрос, но почему "фри монады - низзя"?

Фри монады - низзя Про STM все и так все знают Почему расширяемые эффекты зло, уже здесь обсудили (а кроме Пурсы я еще с ними страдаю в рамках библиотеки freer) DSLи всякие строить хаскеллисты все как один умеют В продвинутый тайп левел я не могу Различные дизайн паттерны, - да кому они нужны, фигак-фигак и mtl-style Про движок текстовой адвенчуры рассказывать, - так скажут, что продакшн хотят, а не развлекалочки Про текущую хаскельную кодобазу рассказывать, - так она у всех одинаковая серванты, аесоны, да прочий опалай Мог бы про пурскриптовский клон reflex-dom под названием Specular рассказать, так он не мой, да еще и толком практики не выработаны Или про то, как я оптимизял свою STM либу, так ведь она все равно в 6 раз медленнее, засмеют

Расскажи про расширяемые эффекты, ну. Обсудить тут 100 раз можно, а видео бесценно

Я правда не заметил чтобы обсудили

То, как приходилось страдать? И что в Пурсе они ни с того, ни с сего могли начать дублироваться, и ты такой: ыыыы, ну где, где ошибка?! (Я подозреваю, там баг компилера был). Или как ты, такой, хочешь вызвать новую функцию, а она с новым эффектом, - ну и понеслось, весь стек вызовов обновляешь... Просто сугубо технические подробности я вряд ли хорошо расскажу, алгебраично оно там или не очень Но вообще, спасибо за поддержку :)

может и глупый вопрос, но почему "фри монады - низзя"?

Так ведь @qnikst сказал, что они не нужны

То, как приходилось страдать? И что в Пурсе они ни с того, ни с сего могли начать дублироваться, и ты такой: ыыыы, ну где, где ошибка?! (Я подозреваю, там баг компилера был). Или как ты, такой, хочешь вызвать новую функцию, а она с новым эффектом, - ну и понеслось, весь стек вызовов обновляешь... Просто сугубо технические подробности я вряд ли хорошо расскажу, алгебраично оно там или не очень Но вообще, спасибо за поддержку :)

"а она с новым эффектом, - ну и понеслось, весь стек вызовов обновляешь"

так это никуда не уходит с tagless final

Тогда и он не нужен

Это боль

> в одной из компаний в которой я работала был человек возраста ЗА ТРИДЦАТЬ, который стал пропадать

А разве Фомкин не за 30?

кто это?

Ну скалист который эту тему толкал против курильщиков-алкоголиков

это-то не его реплика

It's not clear that dependent types even are types. Does a zero-length list offer a different methods than a list that contains some elements? Does the compiler magically eliminate the 'remove()' method and then add it back when you add some elements? The entire domain is highly dubious and the people researching it are often of ill repute.

Хакерньюз