@haskellru

Страница 460 из 1551
 
Aleksey
10.10.2017
12:54:52
l2 f x y = x >>= (y >>=) . f
Ага, тоже до этого упростил :)

 
Но проще уж через ap, даже если его придется самому сделать из методов функтора и монады :) l2 f x y = return f `ap` x `ap` y :)

 
Alexander
10.10.2017
12:57:09
l2 f x y = do { a <- x ; b <- y; f a b}

 
не благодарите

Google
 
Mikhail
10.10.2017
12:58:24
^ top ?

 
Aleksey
10.10.2017
12:58:36
do-нотация - читерство!

 
Denis
10.10.2017
12:58:47
do нотация чаще читабельней)

 
Aleksey
10.10.2017
12:59:18
В монадическом коде - бывает

 
ap f x = f >>= (=<< x) :) Жаль, что f >>= $ =<< x нельзя

 
Alexandr
10.10.2017
13:01:08
l2 f x y = x >>= (y >>=) . f
Это кстати не проходит тайпчек

 
l2 f x y = do { a <- x ; b <- y; f a b}
Пока очень не привычно, даже и не думал сразу так сделать:(

 
Aleksey
10.10.2017
13:01:37
> :t \f x y -> x >>= (y >>=) . f \f x y -> x >>= (y >>=) . f :: Monad m => (a1 -> a -> m b) -> m a1 -> m a -> m b

 
не тайпчекается :)

 
Alexander
10.10.2017
13:02:23
иногда inline do нотация удобна

 
Alexandr
10.10.2017
13:02:25
l2 :: Monad m => (a -> b -> c) -> m a -> m b -> m c

 
Alexander
10.10.2017
13:02:36
но если это учебная задача, но это читерство

 
Alexandr
10.10.2017
13:02:49
> :t \f x y -> x >>= (y >>=) . f \f x y -> x >>= (y >>=) . f :: Monad m => (a1 -> a -> m b) -> m a1 -> m a -> m b
тут третий аргумент m b

Google
 
Nickolay
10.10.2017
13:03:08
ну ты сам можешь исправить же

 
просто добавь воды^W return

 
Alexander
10.10.2017
13:03:31
сейчас ещё весёлое сооружу

 
Aleksey
10.10.2017
13:03:57
l2 f x y -> x >>= (<$> y) . f :: Monad m => (a1 -> a -> b) -> m a1 -> m a -> m b

 
Alexandr
10.10.2017
13:05:15
l2 f x y -> x >>= (<$> y) . f :: Monad m => (a1 -> a -> b) -> m a1 -> m a -> m b
?

 
Nickolay
10.10.2017
13:06:51
сразу стало всё понятно, не правда ли? :)

 
Alexandr
10.10.2017
13:07:10
не особо ?

 
Alexander
10.10.2017
13:07:20
join $ fmap (join $ fmap f a) b :: Monad m => m a предлагали?

 
Nickolay
10.10.2017
13:07:47
Лёша пытался)

 
Aleksey
10.10.2017
13:08:13
Ага, мой вариант в виде шашлыка из fmap и join где-то выше :)

 
Alexander
10.10.2017
13:08:18
можно даже join . fmap (join $ fmap f a)

 
Alexandr
10.10.2017
13:08:21
да, но не проходит тайпчек

 
Nickolay
10.10.2017
13:08:57
ну просто тут до сих пор f :: a -> b -> m c

 
убери лишний join

 
сам найди)

 
Kirill
10.10.2017
13:09:49
мне одному тут кажется вариант с do-нотацией самым адекватным?)

 
Alexandr
10.10.2017
13:10:18
я просто не совсем понимаю джоина функции

 
Alexander
10.10.2017
13:10:26
fmap f a >>= \g -> g b

 
Alexandr
10.10.2017
13:10:41
у нас есть m (b -> c), но join делает m (m a) -> m a

 
Alexander
10.10.2017
13:10:43
а неэто не прокатит уже

Google
 
Alexander
10.10.2017
13:11:06
fmap f a :: f (m (b-> m c))

 
Nickolay
10.10.2017
13:11:08
мне одному тут кажется вариант с do-нотацией самым адекватным?)
он или с <*>, да, но тут же не в этом дело

 
Alexander
10.10.2017
13:11:46
если применяешь join то он: а, говорит что f ~ m, б. из m (m (b-> m c)) делает m (b -> m c)

 
Aleksey
10.10.2017
13:12:51
join помогает, когда до`fmap`аешься до двойного уровня вложенности :)

 
Alexander
10.10.2017
13:25:32
или: join $ atomically $ ... >> return (someIOEffect)

 
Ilya
10.10.2017
13:26:08
Haskell - полноценный язык! Про него тоже есть шутки - не всё же про Java и Go шутить :)
вот, давно хотел сделать картинку

 


 
думаю многие поймут:)

 
Alexandr
10.10.2017
13:29:19
в итоге решил вот так: l2 f x y = fmap f x »= (<$>y) спасибо за помощь!

 
Aleksey
10.10.2017
13:32:13
f <$> x >>= (<$> y) тогда уж для единообразия, или fmap f x >>= (`fmap` y)

 
Alexandr
10.10.2017
13:32:45
ну так красивее, да:)

 
Yuriy
10.10.2017
13:33:26
Ближайшие конференции: 28 Окрября - ITGM СПб Ноябрь ?? - Москва, в Kaspersky https://mobile.twitter.com/cblp_su/status/912940905757396992 Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by
миниконфы в ноябре у Касперского не будет, в пользу FPConf. но можно собрать митап-посиделки

 
митап-посиделки — это один "лёгкий" доклад

 
под пиво/кофе

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

 
IC
10.10.2017
13:39:14
ежегодный рейд рухаскеля в соседние данжи объявляется открытым! https://bezkassira.by/fby_conference_2017-3092/

 
Pig
10.10.2017
13:39:17
постоянно её читаю, а все из-за маленького словарного запаса, сложно придумывать названия для аргументов

 
Alexander
10.10.2017
13:52:11
Ближайшие конференции: 28 Окрября - ITGM СПб Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by

 
Yuriy
10.10.2017
13:52:21
ежегодный рейд рухаскеля в соседние данжи объявляется открытым! https://bezkassira.by/fby_conference_2017-3092/
билет ранней пташки уже почти неделю доступен

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

Google
 
Yuriy
10.10.2017
13:53:51
постоянно её читаю, а все из-за маленького словарного запаса, сложно придумывать названия для аргументов
я для придумывания названий давно приспособил pwgen

 
Aleksey
10.10.2017
13:53:59
"главу про бесточечную запись", вестимо

 
Nickolay
10.10.2017
14:08:00
Ближайшие конференции: 28 Окрября - ITGM СПб Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by
Ещё в Лондоне на этой неделе Haskell eXchange

 
Alexander
10.10.2017
14:08:22
поздно о нём уже предупреждать наверное?

 
Nickolay
10.10.2017
14:08:30
Кто-то будет там, кроме меня и Волкова?

 
Алсо, в феврале Lambda Days в Польше

 
Denis
10.10.2017
14:09:30
я бойкотирую великобританию, так что нет

 
Nickolay
10.10.2017
14:09:45
я бойкотирую великобританию, так что нет
Она тебя первая :)

 
Denis
10.10.2017
14:10:07
теперь это взаимно

 
Nickolay
10.10.2017
14:11:56
http://www.lambdadays.org/lambdadays2018

 
Leonid
10.10.2017
14:22:51
что за ITGM?

 
http://piter-united.ru/itgm11/ это?

 
? animufag ?
10.10.2017
14:25:38
видимо да

 
там все подряд кто хоть как-то имеет отношение к ит, так что наверное скучно

 
Leonid
10.10.2017
14:27:04
да, мутновато

 
Vladimir
10.10.2017
14:42:38
а разве не интересно пообщаться с людьми, которые занимаются чем-то другим?

 
Leonid
10.10.2017
15:01:21
Например?

 
Yuriy
10.10.2017
15:58:34
я бойкотирую великобританию, так что нет
расскажешь в Бананах подробности?

 
Denis
10.10.2017
15:59:22
не расскажу, это не про хаскелль

 
illiatshurotshka❄️
10.10.2017
15:59:59
расскажешь в Бананах подробности?
вкратце консерватисты все портят (как обычно)

Google
 
? animufag ?
10.10.2017
16:06:06
а разве не интересно пообщаться с людьми, которые занимаются чем-то другим?
мне в повседневных беседах этого дерьма хватает ещё ходить куда-то специально

 
illiatshurotshka❄️
10.10.2017
16:16:14
а кто-нибудь пользуется https://github.com/enomsg/vim-haskellConcealPlus ?

 
Vasiliy
10.10.2017
16:17:45
я пробовал - выглядит прикольно, конечно, но редактировать такой код нереально

 
на текущей строке все эти штуки разворачиваются, в итоге нажимая, скажем, j ожидаешь, что попадёшь в одно место, а оказываешься в совершенно другом

 
illiatshurotshka❄️
10.10.2017
16:20:41
оо, в емаксе только если возле символа

 
Vasiliy
10.10.2017
16:21:00
лучше использовать шрифт с лигатурами типа FiraCode, Hasklig или PragmataPro

 
а если хочешь, чтоб тебя возненавидели, включай UnicodeSyntax :D

 
Dmitry
10.10.2017
16:37:35
Кстати, кто-нибудь смог настроить FiraCode на emacs на какой-нибудь убунте? Я пытался одно время, но не особо вышло :(

 
illiatshurotshka❄️
10.10.2017
16:40:23
можно спросить в чате @ emacs_ru (я fira code не смог настроить но iosevka смог; в emacs нет нормальной поддержки лигатур и поэтому используются страшные хаки)

 
Pig
10.10.2017
16:42:33
ты настроил иосевку в имаксе?

 
illiatshurotshka❄️
10.10.2017
16:42:43
да

 
Pig
10.10.2017
16:42:58
вообще под мак есть сборка которая поддерживает лигатуры из коробки

 
по аналогии с фирой?

 
illiatshurotshka❄️
10.10.2017
16:43:42
там какой-то хороший человек сделал скрипт который генерирует конфиг с которым нужно компилить шрифт и конфиг для emacs prettify-symbols-mode

 
Pig
10.10.2017
16:44:24
круто, когда я последний раз смотрел ничего такого не было

 
illiatshurotshka❄️
10.10.2017
16:44:33
я его долго искал)

 
Pig
10.10.2017
16:45:24
кинь в тот чат

 
Alexander
10.10.2017
17:06:24
расскажешь в Бананах подробности?
о, тебя в бананы надо про ICFP нассказать

 
где-нить недели через 2

 
а то слишком мало времени от него прошло

Страница 460 из 1551