2025/09/29

Newest at the top

2025-09-29 15:28:59 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-29 15:28:50 +0200__monty__(~toonn@user/toonn) (Ping timeout: 265 seconds)
2025-09-29 15:28:31 +0200 <yahb2> [[[[[[11]]]]]]
2025-09-29 15:28:31 +0200 <tomsmeding> % $(fMAP 6) (+1) [[[[[[10]]]]]]
2025-09-29 15:28:23 +0200 <yahb2> <no output>
2025-09-29 15:28:23 +0200 <tomsmeding> % fMAP :: Int -> Q Exp ; fMAP 0 = [| id |] ; fMAP n = [| fmap . $(fMAP (n - 1)) |]
2025-09-29 15:28:14 +0200 <yahb2> <no output>
2025-09-29 15:28:14 +0200 <tomsmeding> % import Language.Haskell.TH (Q, Exp)
2025-09-29 15:28:02 +0200 <yahb2> <no output>
2025-09-29 15:28:02 +0200 <tomsmeding> % :seti -XTemplateHaskell
2025-09-29 15:26:20 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-29 15:16:59 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-09-29 15:15:47 +0200Googulator15(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 15:15:45 +0200Googulator40(~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed)
2025-09-29 15:11:45 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-29 15:11:19 +0200 <kaol> I stacked that many maybes, eithers, lists and 2-tuples together. I'm just amused by it, that's all.
2025-09-29 15:09:31 +0200 <yin> i want a language based uniquely on folds
2025-09-29 15:08:32 +0200 <yin> or maybe you need to study the art of origami
2025-09-29 15:08:00 +0200tromp(~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3)
2025-09-29 15:07:56 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-29 15:07:42 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-29 15:06:46 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-09-29 15:04:51 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-09-29 15:03:43 +0200 <merijn> kaol: Maybe you need Compose?
2025-09-29 15:02:41 +0200 <kaol> I feel ridiculous after composing six fmaps in a row. If it works it works.
2025-09-29 15:00:27 +0200Googulator40(~Googulato@193-226-241-153.pool.digikabel.hu)
2025-09-29 14:59:51 +0200Googulator40(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 14:53:55 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-09-29 14:51:14 +0200ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin
2025-09-29 14:51:01 +0200 <yin> ncf oh that's nice
2025-09-29 14:50:14 +0200 <yin> i don't know
2025-09-29 14:50:11 +0200 <yin> or rather (pure a)?
2025-09-29 14:49:26 +0200 <yin> a <f> b = f <$> a <*> b
2025-09-29 14:49:22 +0200ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection)
2025-09-29 14:49:17 +0200 <ncf> well, i'm talking about the notation mcbride came up with, not that weird typeclass encoding. agda has this: https://agda.readthedocs.io/en/stable/language/syntactic-sugar.html#idiom-brackets
2025-09-29 14:48:51 +0200 <yin> i want
2025-09-29 14:48:49 +0200 <yin> not quite
2025-09-29 14:48:31 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-09-29 14:47:18 +0200 <yin> ncf: wait are you talking about this? https://wiki.haskell.org/Idiom_brackets
2025-09-29 14:43:12 +0200phm(~peter@user/phm) phm
2025-09-29 14:42:45 +0200 <yin> ncf: yes
2025-09-29 14:42:38 +0200 <ncf> you just want idiom brackets
2025-09-29 14:42:25 +0200 <yin> s/no/now
2025-09-29 14:42:20 +0200 <yin> no have <f> mean (lift f)
2025-09-29 14:42:03 +0200 <yin> lift f a b = liftA2 f (pure a) b
2025-09-29 14:41:37 +0200 <yin> ok listen up
2025-09-29 14:40:49 +0200 <ncf> (<*>) = liftA2 ($); (<$>) = liftA1
2025-09-29 14:40:02 +0200 <ncf> just don't do that with ($) or (*) and you'll be fine :)
2025-09-29 14:38:39 +0200craunts79(~craunts@136.158.7.194)
2025-09-29 14:37:13 +0200xdej(~xdej@quatramaran.salle-s.org) xdej