2021-05-21 16:37:16 +0200acro(~acro@user/acro)
2021-05-21 16:38:21 +0200acroacro_
2021-05-21 16:39:14 +0200acro_acro
2021-05-21 16:39:20 +0200acroacro_
2021-05-21 16:40:04 +0200autofrog(autofrog@107.161.19.109)
2021-05-21 16:40:34 +0200acro_acro
2021-05-21 16:43:02 +0200martin(~martin@88.215.103.12)
2021-05-21 16:43:45 +0200doublex(~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f)
2021-05-21 16:45:17 +0200martin(~martin@88.215.103.12) (Client Quit)
2021-05-21 16:45:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-21 16:46:27 +0200nsilv(~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1)
2021-05-21 16:46:41 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 16:48:28 +0200jmtd(~jon@2a00:23c7:e48a:4a01:ac66:201c:57c9:af4e)
2021-05-21 16:52:07 +0200Guest18(Guest18@107.161.19.109)
2021-05-21 16:52:45 +0200doublex(~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f) (Quit: Leaving)
2021-05-21 16:53:00 +0200doublex(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
2021-05-21 16:54:17 +0200ouroboros(~acro@user/ouroboros)
2021-05-21 16:54:32 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-05-21 16:56:08 +0200zrpz(~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97)
2021-05-21 16:56:20 +0200lukeseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-21 16:56:59 +0200nello(~nello@103.16.26.129)
2021-05-21 16:57:39 +0200acro(~acro@user/acro) (Quit: Bye.)
2021-05-21 16:57:39 +0200ouroboros(~acro@user/ouroboros) (Quit: Bye.)
2021-05-21 16:57:48 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds)
2021-05-21 16:58:05 +0200Guest18(Guest18@107.161.19.109) (Quit: Connection closed)
2021-05-21 16:58:21 +0200acro(~acro@user/acro)
2021-05-21 16:58:36 +0200TheRAt(~TheRAt@user/therat)
2021-05-21 16:58:52 +0200ouroboros(~ouroboros@user/ouroboros)
2021-05-21 16:59:07 +0200Sal23(~textual@cpe-67-243-23-143.hvc.res.rr.com)
2021-05-21 16:59:36 +0200Sal23(~textual@cpe-67-243-23-143.hvc.res.rr.com) (Client Quit)
2021-05-21 17:00:41 +0200zfnmxt(~zfnmxt@user/zfnmxt) (Quit: Bye!)
2021-05-21 17:01:41 +0200zfnmxt(~zfnmxt@user/zfnmxt)
2021-05-21 17:02:54 +0200TheRAt(~TheRAt@user/therat) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-21 17:02:54 +0200pe200012(~pe200012@119.131.208.84) (Quit: Konversation terminated!)
2021-05-21 17:03:16 +0200TheRAt(~TheRAt@user/therat)
2021-05-21 17:03:20 +0200WorldSEnder(~martin@88.215.103.12)
2021-05-21 17:04:32 +0200doublex(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 265 seconds)
2021-05-21 17:05:53 +0200nello(~nello@103.16.26.129) (Quit: nello)
2021-05-21 17:06:07 +0200nello(~nello@103.16.26.129)
2021-05-21 17:06:16 +0200pe200012(~pe200012@45.87.95.45)
2021-05-21 17:07:03 +0200ddellacosta(~ddellacos@89.46.62.131) (Remote host closed the connection)
2021-05-21 17:07:29 +0200ddellacosta(~ddellacos@89.46.62.131)
2021-05-21 17:07:32 +0200samoit(~samoit@153.red-79-153-5.dynamicip.rima-tde.net)
2021-05-21 17:08:18 +0200zrpz(~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97) (Ping timeout: 260 seconds)
2021-05-21 17:09:20 +0200samoit(~samoit@153.red-79-153-5.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-05-21 17:11:16 +0200mrosenbe(~mrosenbe@104.225.243.2)
2021-05-21 17:11:22 +0200pe200012(~pe200012@45.87.95.45) (Remote host closed the connection)
2021-05-21 17:12:01 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 17:12:23 +0200ddellacosta(~ddellacos@89.46.62.131) (Ping timeout: 260 seconds)
2021-05-21 17:12:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 17:13:34 +0200 <teddyc> simplest way to get this function? True -> 1, False -> 0
2021-05-21 17:13:49 +0200 <teddyc> if bool then 1 else 0
2021-05-21 17:13:55 +0200 <teddyc> is what im thinking now
2021-05-21 17:14:08 +0200lortabac_(~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (Ping timeout: 260 seconds)
2021-05-21 17:14:24 +0200 <c_wraith> > fromEnum True
2021-05-21 17:14:25 +0200 <lambdabot> 1
2021-05-21 17:14:32 +0200 <c_wraith> yeah, that should work
2021-05-21 17:14:47 +0200 <teddyc> ah, nice. thanks!
2021-05-21 17:14:53 +0200ddellacosta(~ddellacos@89.46.62.49)
2021-05-21 17:15:31 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 17:15:45 +0200Morrow(~MorrowM_@147.161.8.96) (Remote host closed the connection)
2021-05-21 17:16:03 +0200Morrow(~MorrowM_@147.161.8.96)
2021-05-21 17:16:57 +0200azeem(azeem@107.161.19.109)
2021-05-21 17:17:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 17:18:04 +0200littlefinger(~00000000@selfhost1.threedot14.com)
2021-05-21 17:18:28 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds)
2021-05-21 17:19:12 +0200ddellacosta(~ddellacos@89.46.62.49) (Remote host closed the connection)
2021-05-21 17:19:42 +0200ddellacosta(~ddellacos@89.46.62.49)
2021-05-21 17:21:40 +0200madjestic(~madjestic@88.159.247.120)
2021-05-21 17:22:54 +0200nello(~nello@103.16.26.129) (Quit: nello)
2021-05-21 17:23:18 +0200ddellaco_(~ddellacos@89.46.62.86)
2021-05-21 17:23:26 +0200nello(~nello@101.88.251.149)
2021-05-21 17:23:34 +0200samoit(~samoit@user/samoit/x-0249261)
2021-05-21 17:23:53 +0200ddellacosta(~ddellacos@89.46.62.49) (Ping timeout: 245 seconds)
2021-05-21 17:26:59 +0200ddellaco_(~ddellacos@89.46.62.86) (Remote host closed the connection)
2021-05-21 17:27:12 +0200ddellacosta(~ddellacos@89.46.62.86)
2021-05-21 17:28:02 +0200alexander(~alexander@user/alexander) ()
2021-05-21 17:28:12 +0200PeterD(~petrus@catv-86-101-33-147.catv.broadband.hu)
2021-05-21 17:30:08 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 17:30:57 +0200y04nn(~y04nn@193.27.14.138)
2021-05-21 17:31:50 +0200littlefinger(~00000000@selfhost1.threedot14.com) (Quit: Client closed)
2021-05-21 17:34:44 +0200 <ski> Hecate : i'd say the answer to your question is "it depends". (and yes, what you showed in the pastes wasn't Continuation-Passing Style. your "Continuation" alternative, i might perhaps call (not syntactically, in this case) "(internally) nested", as opposed to "(externally) composed")
2021-05-21 17:35:22 +0200 <Hecate> ski: great, thanks for the vocabulary :)
2021-05-21 17:35:43 +0200autofrog(autofrog@107.161.19.109) (Quit: Connection closed)
2021-05-21 17:36:27 +0200mikolaj_(~mikon@duch.mimuw.edu.pl) (Quit: leaving)
2021-05-21 17:36:38 +0200mikolaj(~mikon@duch.mimuw.edu.pl)
2021-05-21 17:36:53 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 17:37:10 +0200 <ski> (one might relate your examples to CPS in some ways, but neither of them directly expresses CPS, from what i can see)
2021-05-21 17:37:12 +0200 <boxscape> is there a better way to do `parseNotes line = evalStateT parseHeader line <|> evalStateT parseRefs line`?
2021-05-21 17:37:13 +0200 <boxscape> IIUC if I write `parseNotes = evalStateT (parseHeader <|> parseRefs)`, the state isn't restored if `parseHeader` fails.
2021-05-21 17:37:29 +0200mikolaj_(~mikolaj@purple.well-typed.com)
2021-05-21 17:38:04 +0200MorrowM(~MorrowM_@147.161.12.40)
2021-05-21 17:38:07 +0200 <ski> re "depends" .. it depends on what seems to be a more natural way to analyze the problem into subproblems (set up responsibilities, interfaces, separation of concerncs, &c.)
2021-05-21 17:38:44 +0200 <boxscape> s/better/more idiomatic
2021-05-21 17:38:50 +0200ikex(~ash@user/ikex)
2021-05-21 17:39:14 +0200cnr(~cnr@user/cnr)
2021-05-21 17:39:49 +0200 <ski> if each of the composands would seem to have a separate relevancy of its own, it would seem better to write it in the "composed" style (or at least to define each of the composands separately, even if also defining the nested compositions and things-on-their-own)
2021-05-21 17:40:21 +0200Morrow(~MorrowM_@147.161.8.96) (Ping timeout: 245 seconds)
2021-05-21 17:40:50 +0200 <ski> sometimes, one can directly, or later, find other places in which to use such a composand (or find code which can be refactored to use it)
2021-05-21 17:41:00 +0200 <boxscape> looking at the Alternative instance I actually don't understand why that's the case, it looks to me like it ought to restore the state