Logs: liberachat/#haskell
| 2026-03-01 18:50:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 2026-03-01 18:52:41 | <EvanR> | hold on... were the names of empty, many, some, and <|> based on regex |
| 2026-03-01 18:52:53 | <c_wraith> | they were based on parsing, more broadly |
| 2026-03-01 18:54:58 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-01 18:55:52 | <monochrom> | They came from all over the places. many, some, <|> are clearly from parsing and regex. You would then like to say "fail" for the identity of <|>, but "fail" is already taken, so the analogy went sideways and if you think of <|> as set union then its identity is the empty set. (Clearly, it is not the empty string.) |
| 2026-03-01 18:56:05 | <c_wraith> | but yes, it was realized pretty early on that applicative+alternative gives you context-free grammars |
| 2026-03-01 18:56:14 | <EvanR> | E = empty | just Char | E <> E | E <|> E | many E, "these are the only ways to construct a regular expression --conway" xD |
| 2026-03-01 18:58:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 19:02:22 | <monochrom> | It has been already mzero for MonadPlus, so maybe we could have called it azero. |
| 2026-03-01 19:03:05 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-03-01 19:05:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 19:08:45 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-03-01 19:15:21 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 19:16:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 19:21:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 19:32:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 19:33:22 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-01 19:36:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 19:38:57 | → | Quokka joins (~Quokka@2001-14bb-1748-dfb-b0fe-162f-dbc2-aa1e.rev.dnainternet.fi) |
| 2026-03-01 19:39:20 | Quokka | is now known as Guest2441 |
| 2026-03-01 19:39:59 | × | Guest2441 quits (~Quokka@2001-14bb-1748-dfb-b0fe-162f-dbc2-aa1e.rev.dnainternet.fi) (Client Quit) |
| 2026-03-01 19:47:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 19:48:21 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 2026-03-01 19:48:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-03-01 19:49:22 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-01 19:49:45 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-03-01 19:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 19:55:22 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 19:58:50 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-03-01 20:03:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 20:03:44 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-03-01 20:05:43 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-03-01 20:07:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 20:10:40 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-01 20:12:25 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-03-01 20:13:00 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-01 20:17:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Read error: Connection reset by peer) |
| 2026-03-01 20:18:08 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-01 20:18:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 20:19:52 | Digitteknohippie | is now known as Digit |
| 2026-03-01 20:22:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 20:23:58 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-01 20:33:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 20:40:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 20:44:40 | → | ystael joins (~ystael@user/ystael) |
| 2026-03-01 20:46:03 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-03-01 20:51:04 | → | juri__ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 2026-03-01 20:51:21 | × | juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 248 seconds) |
| 2026-03-01 20:51:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 20:56:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-01 21:00:27 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-03-01 21:07:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 21:11:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 21:19:02 | × | juri__ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2026-03-01 21:22:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 21:24:48 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 2026-03-01 21:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 21:30:50 | → | juri_ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 2026-03-01 21:37:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 21:39:04 | × | morj_away quits (~morj@user/morj) (Quit: Konversation terminated!) |
| 2026-03-01 21:40:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-03-01 21:40:57 | × | juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 255 seconds) |
| 2026-03-01 21:40:58 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-01 21:42:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 21:53:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 21:55:09 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-01 21:57:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 22:04:27 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2026-03-01 22:06:10 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2026-03-01 22:06:11 | polykernel_ | is now known as polykernel |
| 2026-03-01 22:08:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 22:08:43 | × | stackdroid18 quits (~stackdroi@user/stackdroid) (Ping timeout: 264 seconds) |
| 2026-03-01 22:13:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-01 22:15:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 22:15:28 | → | emmanuelux_ joins (~em@92-184-97-199.mobile.fr.orangecustomers.net) |
| 2026-03-01 22:16:18 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-03-01 22:19:46 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-01 22:26:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 22:31:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 22:31:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2026-03-01 22:42:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 22:44:16 | → | Guest88 joins (~Guest88@99.7.69.113) |
| 2026-03-01 22:44:36 | × | Guest88 quits (~Guest88@99.7.69.113) (Client Quit) |
| 2026-03-01 22:44:49 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-03-01 22:46:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 22:57:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 22:58:31 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2026-03-01 22:59:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-03-01 23:00:01 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-01 23:01:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 23:05:05 | × | madresch quits (~Thunderbi@user/madresch) (Quit: madresch) |
| 2026-03-01 23:08:45 | × | jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 246 seconds) |
| 2026-03-01 23:12:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 23:17:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 23:26:36 | → | mange joins (~mange@user/mange) |
| 2026-03-01 23:28:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-01 23:29:59 | → | werneta joins (~werneta@71.83.160.242) |
| 2026-03-01 23:32:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-01 23:38:21 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-03-01 23:43:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.