ну вот это я и думал обойти с помощью Maybe

MVar!

пока самое правдоподобно звучащее это Cont

ну вот это я и думал обойти с помощью Maybe

Compose STRef Maybe

Compose Maybe STRef

вроде в другую сторону

возможно

Да и STRef вроде ничего не даст в этом сценарии

Compose f g x = Compose { getCompose :: f (g x) }, насколько я помню

Да и STRef вроде ничего не даст в этом сценарии

не надо на каждый апдейт всю структуру обновлять

моноедально

звучит хуже продолжений, скажу честно

главное осилить

ну на продолжениях ты вобще пока не знаешь как :)

я на продолжениях написал транзишены для стейт машины под капотом у парсера

меня уже тошнит

type Transitions m r = (ByteString -> Maybe TagState -> r -> m (Maybe TagState, r)) -> (ByteString -> ByteString -> Maybe TagState -> r -> m (Maybe TagState, r)) -> (ByteString -> Maybe TagState -> r -> m (Maybe TagState, r)) -> (ByteString -> Maybe TagState -> r -> m (Maybe TagState, r)) -> (ByteString -> Maybe TagState -> r -> m (Maybe TagState, r)) -> (ByteString -> Maybe TagState -> r -> m (Maybe TagState, r)) -> SealedTransitions m r

от вот этого всего

надо на Cont монаде как-нибудь зарефакторить будет потом

убер нехорошие, пишут тулзы на haskell

как будто не знают что он не для продакшена

писали бы себе на го дальше

сразу видно, стартап неопытный

Это такая местная шутейка, что не для продакшена?

убер нехорошие, пишут тулзы на haskell

что-то в паблик выкладывают уже?

Это такая местная шутейка, что не для продакшена?

да

что-то в паблик выкладывают уже?

https://github.com/uber/queryparser

выкладывают в паблик - значит стало не нужно

а чего сразу звезд так много?

скоро servant догонит

я пока смотрел - на две больше стало

так успеха не избежать

Это с данного чатика накидали, я уверен

хабр

можно на хабре статьи писать про монады

хабр же промышленность

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

там какая-то хрень про inline-r была

рекурсивненько

0 комментариев

похоже никто не осилил

хабрасмент

вот и пиши блоги, (на английском), если я даже по русски написать нормально не могу

полайкали хоть?

ага

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

ммм промышленность

сталелитейный завод успешно использовал хаскель

и животноводство!

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

Ты так говоришь, как будто .NET не сломан

У вас половина посикса сломалась

Ну и нахер его. POSIX -- спецификация к исторически сложившемуся набору костыликов

Так и знал что хаскелисты - анимешники

Да их тут полно

Рубисты — латентные хаскелисты.

Из-за любви к построению DSL, что ли? А то я так и не скажу, что ещё, кроме GC, эти языки объединяет

Из-за любви к построению DSL, что ли? А то я так и не скажу, что ещё, кроме GC, эти языки объединяет

Это просто была глупость, которую обычно в чатиках телеграма пишут.

Юникс это С

Винда тоже

Это просто была глупость, которую обычно в чатиках телеграма пишут.

*в чатиках твиттера

Нет, в твиттере всё серьёзно, я там себе такого не позволяю

хаскелисты - латентные враги народа

Сейчас бьюсь с компиляцией fftw3f

Эта аббревиатура точно что-то означает? А то я не в курсе

fastest fourier transform on the west

Народ, Database.Redis вообще рабочий?

который из hedis

fastest fourier transform on the west

сишный код нагенеренный окамлем

Народ, Database.Redis вообще рабочий?

мы hedis юзаем, рабочее

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

Кстати, да, C уже эту инфу скрывает. Так что высказывания в духе "C помогает понять, как на самом деле работают компьютеры" сейчас не особо верны

fastest fourier transform on the west

Серьёзно?

Серьёзно?

ну так да

нужно изучить физику

для начала

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

нужно изучить физику

Ну, начать то, конечно, можно и с электроники. Хотя бы разобрать как 4004 работает.

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

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

Народ, Database.Redis вообще рабочий?

а мы иногда чиним, коллега (k-bx) - мейнтейнер

благодарю, продолжу тыкать

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

Инженеры и физики - разные люди.

Инженеры и физики - разные люди.

Вторые "обслуживают" первых. Мне как инженеру не интересно спускаться на более низкий уровень, пока тот, на котором я работаю, даёт приемлемый результат.

надо на Cont монаде как-нибудь зарефакторить будет потом

Где-то видел "Cont (или ContT) monad considered harmful", но сейчас что-то не находится

Вторые "обслуживают" первых. Мне как инженеру не интересно спускаться на более низкий уровень, пока тот, на котором я работаю, даёт приемлемый результат.

Тогда корректнее сказать "современная инженерия уверена..."

Тогда корректнее сказать "современная инженерия уверена..."

Ну, тоже не совсем так. Инженерия пользуется наработками физики, как-никак. Но, в общем, мысль я понял. :)