Сори за оффтоп, но никто не знает чатика по генту в телеге?

знаю только по линукс саппорту, в целом

https://t.me/russian_gentoo

thx

как будто чатики в телеге могут быть кому-то полезны

Ну всё, ребят, расходимся Лол

Ну всё, ребят, расходимся Лол

"с таким трудом я вышел из запоя, и вот те раз - сегодня выходной" (с)

как будто чатики в телеге могут быть кому-то полезны

После комплементации человечества точно нет

@cblp_su ну точно так же как gitter, slack и т.п.

@cblp_su ну точно так же как gitter, slack и т.п.

по-моему, не точно так же

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

@cblp_su в гиттере 1.5 человека которых здесь нету, и которые могут дать совет

ладно 2

а кого ты за полчеловека сначала посчитал?

я обычно говорю 1.5 про недробные вещи

а 2 это уже оценка близкая к реальной

сначала за полчеловека, потом за вещь посчитал

если сравнивать то уже с irc://freenode/#haskell

тут уже разница есть и большая

Постили уже? https://www.reddit.com/r/haskell/comments/758m5b/kyiv_haskell_learning_group_meetups/

https://www.youtube.com/watch?v=Txf7swrcLYs https://github.com/ekmett/coda

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

Бтв какие грамматики вообще можно парсить аппликативными парсерами?

аппликатив это ж моноид

как и монада

только умножение по разному определено

аппликатив это ж моноид

Заявление, конечно, верное. Но иррелевантное.

аппликатив это как умножение альтернатив как сложение?)

не

http://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids.pdf

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

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

Заявление, конечно, верное. Но иррелевантное.

вот, человек - дело говорит

stack же не стрипает файлы по умолчанию?

не стрипает

не стрипает, а debug символы вырезает, ну чтож за дела :/

то есть стрипает, но криво?

stack кладёт две версии файлов — нестрипаную в dist и стрипаную в install

на вторую, кстати, мне напильник говорит, что она stripped

не стрипает, а debug символы вырезает, ну чтож за дела :/

в обеих версиях?

то, что в dist лежит - то нестрипанное, то что в install - частично стрипанное

а не может и стрипанное

страннота, ну ладно

про dist я знаю, у меня где debug символы нужны из dist берётся все

это конечно немножно глупо, когда передаешь -debug и прочие опции для отладочных символов делать прыжки вокруг установщика

@cblp_su да, срипает то что в install

привет всем в этом чате

и тебе IO ()

RWST IO ()

RWST IO ()

добрая ошибка

Ну ок, RWST () () () Identity () :) Или RWS () () () ()

(:[])

pure

true

True в смысле.

(() <$)

Какие смайлики являются валидным кодом на Perl 6^W^W Haskell?

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

Понимать шутки — это высокая цель. ??

я не говорил, что это моя цель

Зря

Haskell - полноценный язык! Про него тоже есть шутки - не всё же про Java и Go шутить :)

я верю, но цель все равно была не в этом!

Значит, цель была - шутить шутки, а не понимать

Тоже здорово

Привет, может кто-нибудь объяснить, как реализовать l2 :: Monad m => (a -> b -> c) -> m a -> m b -> m c используя только функции функтора и монады. С fmap и <*> все понятно, но как без <*> не совсем понимаю

join же

В чем вопрос? Каждая монада это аппликатив.

l2 f x y = join $ fmap (join (fmap f x) y) типа того

вроде бы <*> можно выразить через join

l2 f x y = join $ fmap (join (fmap f x) y) типа того

типа ошибка

ну я это не проверял :) Это демонстрация принципа :)

демонстрация неработающего кода? :)

вроде бы <*> можно выразить через join

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

<*> можно реализовать через fmap и join

<*> известен так же как ap

можно посмотреть реализацию в Control.Monad

но лучше подумать самому :)

l2 f x y = x >>= join . fmap (y >>=) . return . f это вроде сошлось

fmap :: (a -> b) -> m a -> m b join :: m (m a) -> m a ap :: m (a -> b) -> m a -> m b

искомая l2, это liftM2, видимо

Ближайшие конференции: Ноябрь ?? - Москва, в Kaspersky https://mobile.twitter.com/cblp_su/status/912940905757396992 Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by

А в СПб сходочки бывают?

IGM

или что там будет скоро

сейчас найду добавлю

Ближайшие конференции: Ноябрь ?? - Москва, в Kaspersky https://mobile.twitter.com/cblp_su/status/912940905757396992 Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by

Кстати, а можно тут анонсировать встречу в Касперском, когда она будет поближе?

IGM

ITGM

да, вот он

Ближайшие конференции: 28 Окрября - ITGM СПб Ноябрь ?? - Москва, в Kaspersky https://mobile.twitter.com/cblp_su/status/912940905757396992 Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by

если есть доклад то можно на #fprog-general прийти до 14 числа

А, на глобал у нас почти вся контора идёт, да.

Но там из fp вроде как только кложуристы.

l2 f x y = x >>= join . fmap (y >>=) . return . f это вроде сошлось

l2 f x y = x >>= (y >>=) . f

я понял что я не успеваю ничего интересного сделать до ITGM