Logs: liberachat/#haskell
| 2021-05-21 14:37:16 | → | acro joins (~acro@user/acro) |
| 2021-05-21 14:38:21 | acro | is now known as acro_ |
| 2021-05-21 14:39:14 | acro_ | is now known as acro |
| 2021-05-21 14:39:20 | acro | is now known as acro_ |
| 2021-05-21 14:40:04 | → | autofrog joins (autofrog@107.161.19.109) |
| 2021-05-21 14:40:34 | acro_ | is now known as acro |
| 2021-05-21 14:43:02 | → | martin joins (~martin@88.215.103.12) |
| 2021-05-21 14:43:45 | → | doublex joins (~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f) |
| 2021-05-21 14:45:17 | × | martin quits (~martin@88.215.103.12) (Client Quit) |
| 2021-05-21 14:45:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-21 14:46:27 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-21 14:46:41 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-05-21 14:48:28 | → | jmtd joins (~jon@2a00:23c7:e48a:4a01:ac66:201c:57c9:af4e) |
| 2021-05-21 14:52:07 | → | Guest18 joins (Guest18@107.161.19.109) |
| 2021-05-21 14:52:45 | × | doublex quits (~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f) (Quit: Leaving) |
| 2021-05-21 14:53:00 | → | doublex joins (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) |
| 2021-05-21 14:54:17 | → | ouroboros joins (~acro@user/ouroboros) |
| 2021-05-21 14:54:32 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-05-21 14:56:08 | → | zrpz joins (~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97) |
| 2021-05-21 14:56:20 | → | lukeseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-21 14:56:59 | → | nello joins (~nello@103.16.26.129) |
| 2021-05-21 14:57:39 | × | acro quits (~acro@user/acro) (Quit: Bye.) |
| 2021-05-21 14:57:39 | × | ouroboros quits (~acro@user/ouroboros) (Quit: Bye.) |
| 2021-05-21 14:57:48 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-21 14:58:05 | × | Guest18 quits (Guest18@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 14:58:21 | → | acro joins (~acro@user/acro) |
| 2021-05-21 14:58:36 | → | TheRAt joins (~TheRAt@user/therat) |
| 2021-05-21 14:58:52 | → | ouroboros joins (~ouroboros@user/ouroboros) |
| 2021-05-21 14:59:07 | → | Sal23 joins (~textual@cpe-67-243-23-143.hvc.res.rr.com) |
| 2021-05-21 14:59:36 | × | Sal23 quits (~textual@cpe-67-243-23-143.hvc.res.rr.com) (Client Quit) |
| 2021-05-21 15:00:41 | × | zfnmxt quits (~zfnmxt@user/zfnmxt) (Quit: Bye!) |
| 2021-05-21 15:01:41 | → | zfnmxt joins (~zfnmxt@user/zfnmxt) |
| 2021-05-21 15:02:54 | × | TheRAt quits (~TheRAt@user/therat) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-21 15:02:54 | × | pe200012 quits (~pe200012@119.131.208.84) (Quit: Konversation terminated!) |
| 2021-05-21 15:03:16 | → | TheRAt joins (~TheRAt@user/therat) |
| 2021-05-21 15:03:20 | → | WorldSEnder joins (~martin@88.215.103.12) |
| 2021-05-21 15:04:32 | × | doublex quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 265 seconds) |
| 2021-05-21 15:05:53 | × | nello quits (~nello@103.16.26.129) (Quit: nello) |
| 2021-05-21 15:06:07 | → | nello joins (~nello@103.16.26.129) |
| 2021-05-21 15:06:16 | → | pe200012 joins (~pe200012@45.87.95.45) |
| 2021-05-21 15:07:03 | × | ddellacosta quits (~ddellacos@89.46.62.131) (Remote host closed the connection) |
| 2021-05-21 15:07:29 | → | ddellacosta joins (~ddellacos@89.46.62.131) |
| 2021-05-21 15:07:32 | → | samoit joins (~samoit@153.red-79-153-5.dynamicip.rima-tde.net) |
| 2021-05-21 15:08:18 | × | zrpz quits (~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97) (Ping timeout: 260 seconds) |
| 2021-05-21 15:09:20 | × | samoit quits (~samoit@153.red-79-153-5.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-05-21 15:11:16 | → | mrosenbe joins (~mrosenbe@104.225.243.2) |
| 2021-05-21 15:11:22 | × | pe200012 quits (~pe200012@45.87.95.45) (Remote host closed the connection) |
| 2021-05-21 15:12:01 | × | sondre quits (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 15:12:23 | × | ddellacosta quits (~ddellacos@89.46.62.131) (Ping timeout: 260 seconds) |
| 2021-05-21 15:12:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 15:13:34 | <teddyc> | simplest way to get this function? True -> 1, False -> 0 |
| 2021-05-21 15:13:49 | <teddyc> | if bool then 1 else 0 |
| 2021-05-21 15:13:55 | <teddyc> | is what im thinking now |
| 2021-05-21 15:14:08 | × | lortabac_ quits (~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (Ping timeout: 260 seconds) |
| 2021-05-21 15:14:24 | <c_wraith> | > fromEnum True |
| 2021-05-21 15:14:25 | <lambdabot> | 1 |
| 2021-05-21 15:14:32 | <c_wraith> | yeah, that should work |
| 2021-05-21 15:14:47 | <teddyc> | ah, nice. thanks! |
| 2021-05-21 15:14:53 | → | ddellacosta joins (~ddellacos@89.46.62.49) |
| 2021-05-21 15:15:31 | → | sondre joins (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 15:15:45 | × | Morrow quits (~MorrowM_@147.161.8.96) (Remote host closed the connection) |
| 2021-05-21 15:16:03 | → | Morrow joins (~MorrowM_@147.161.8.96) |
| 2021-05-21 15:16:57 | → | azeem joins (azeem@107.161.19.109) |
| 2021-05-21 15:17:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-21 15:18:04 | → | littlefinger joins (~00000000@selfhost1.threedot14.com) |
| 2021-05-21 15:18:28 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds) |
| 2021-05-21 15:19:12 | × | ddellacosta quits (~ddellacos@89.46.62.49) (Remote host closed the connection) |
| 2021-05-21 15:19:42 | → | ddellacosta joins (~ddellacos@89.46.62.49) |
| 2021-05-21 15:21:40 | → | madjestic joins (~madjestic@88.159.247.120) |
| 2021-05-21 15:22:54 | × | nello quits (~nello@103.16.26.129) (Quit: nello) |
| 2021-05-21 15:23:18 | → | ddellaco_ joins (~ddellacos@89.46.62.86) |
| 2021-05-21 15:23:26 | → | nello joins (~nello@101.88.251.149) |
| 2021-05-21 15:23:34 | → | samoit joins (~samoit@user/samoit/x-0249261) |
| 2021-05-21 15:23:53 | × | ddellacosta quits (~ddellacos@89.46.62.49) (Ping timeout: 245 seconds) |
| 2021-05-21 15:26:59 | × | ddellaco_ quits (~ddellacos@89.46.62.86) (Remote host closed the connection) |
| 2021-05-21 15:27:12 | → | ddellacosta joins (~ddellacos@89.46.62.86) |
| 2021-05-21 15:28:02 | ← | alexander parts (~alexander@user/alexander) () |
| 2021-05-21 15:28:12 | → | PeterD joins (~petrus@catv-86-101-33-147.catv.broadband.hu) |
| 2021-05-21 15:30:08 | × | sondre quits (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds) |
| 2021-05-21 15:30:57 | → | y04nn joins (~y04nn@193.27.14.138) |
| 2021-05-21 15:31:50 | × | littlefinger quits (~00000000@selfhost1.threedot14.com) (Quit: Client closed) |
| 2021-05-21 15:34:44 | <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 15:35:22 | <Hecate> | ski: great, thanks for the vocabulary :) |
| 2021-05-21 15:35:43 | × | autofrog quits (autofrog@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 15:36:27 | × | mikolaj_ quits (~mikon@duch.mimuw.edu.pl) (Quit: leaving) |
| 2021-05-21 15:36:38 | → | mikolaj joins (~mikon@duch.mimuw.edu.pl) |
| 2021-05-21 15:36:53 | → | sondre joins (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 15:37:10 | <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 15:37:12 | <boxscape> | is there a better way to do `parseNotes line = evalStateT parseHeader line <|> evalStateT parseRefs line`? |
| 2021-05-21 15:37:13 | <boxscape> | IIUC if I write `parseNotes = evalStateT (parseHeader <|> parseRefs)`, the state isn't restored if `parseHeader` fails. |
| 2021-05-21 15:37:29 | → | mikolaj_ joins (~mikolaj@purple.well-typed.com) |
| 2021-05-21 15:38:04 | → | MorrowM joins (~MorrowM_@147.161.12.40) |
| 2021-05-21 15:38:07 | <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 15:38:44 | <boxscape> | s/better/more idiomatic |
| 2021-05-21 15:38:50 | → | ikex joins (~ash@user/ikex) |
| 2021-05-21 15:39:14 | → | cnr joins (~cnr@user/cnr) |
| 2021-05-21 15:39:49 | <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 15:40:21 | × | Morrow quits (~MorrowM_@147.161.8.96) (Ping timeout: 245 seconds) |
| 2021-05-21 15:40:50 | <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 15:41:00 | <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 |
All times are in UTC.