Logs: liberachat/#haskell
| 2026-03-25 19:27:24 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 19:32:42 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-25 19:37:13 | → | slomp joins (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 2026-03-25 19:37:31 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-03-25 19:37:43 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-25 19:38:11 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 19:39:20 | → | ft joins (~ft@p508db341.dip0.t-ipconnect.de) |
| 2026-03-25 19:43:56 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-25 20:14:57 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-25 20:17:34 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-25 20:20:25 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-25 20:21:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-25 20:23:01 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-25 20:25:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 20:28:10 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cf:8971:c9f1:6248) |
| 2026-03-25 20:28:10 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cf:8971:c9f1:6248) (Changing host) |
| 2026-03-25 20:28:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-25 20:28:16 | → | Digit joins (~user@user/digit) |
| 2026-03-25 20:29:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-25 20:29:37 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 20:38:43 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-25 20:40:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 20:42:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-25 20:44:39 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-25 20:45:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-25 20:45:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-25 20:46:39 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 20:46:56 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-25 20:49:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-25 20:52:39 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-25 20:55:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 20:56:47 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 21:00:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-25 21:02:25 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-03-25 21:04:08 | <jreicher> | mesaoptimizer: what you've said about polymorphism doesn't sound quite right. Why are you referring to composition, for example? |
| 2026-03-25 21:06:43 | <mesaoptimizer> | jreicher: something like [[c1; c2]] = [[c1]] . [[c2]] in elementary denotational semantics terms |
| 2026-03-25 21:11:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 21:13:29 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2026-03-25 21:15:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-25 21:18:35 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-03-25 21:19:02 | <jreicher> | I don't understand what point this makes about parametric polymorphism |
| 2026-03-25 21:20:19 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 21:26:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 21:27:00 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-25 21:31:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-25 21:31:52 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 21:37:48 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-25 21:42:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 21:44:14 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 21:45:52 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-03-25 21:48:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-25 21:52:09 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-25 21:53:27 | × | rainbyte quits (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-03-25 21:55:10 | ← | sixfourtwelve parts (~ethanmorg@static.82.129.225.46.clients.your-server.de) () |
| 2026-03-25 21:56:30 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 2026-03-25 21:59:17 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-03-25 22:00:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 22:02:25 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-25 22:03:11 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 22:04:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-25 22:04:59 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-25 22:08:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-25 22:09:11 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-03-25 22:09:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-25 22:13:53 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-25 22:15:14 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-03-25 22:15:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 22:18:00 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 22:20:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-25 22:26:02 | → | karenw joins (~karenw@user/karenw) |
| 2026-03-25 22:26:47 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-03-25 22:30:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 22:32:40 | × | rabbull quits (~rabbull@user/rabbull) (Read error: Connection reset by peer) |
| 2026-03-25 22:33:29 | → | rabbull joins (~rabbull@user/rabbull) |
| 2026-03-25 22:35:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-25 22:42:23 | → | beagles_ joins (~beagles@142.163.133.95) |
| 2026-03-25 22:42:55 | × | beagles quits (~beagles@142.163.133.95) (Ping timeout: 264 seconds) |
| 2026-03-25 22:44:16 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-25 22:46:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 22:46:35 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-25 22:47:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-25 22:48:25 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-25 22:50:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-25 22:51:50 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 2026-03-25 22:56:34 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-03-25 23:00:21 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-25 23:01:09 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 23:01:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 23:02:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-25 23:06:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-25 23:08:30 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2026-03-25 23:11:41 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-25 23:15:31 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-25 23:17:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-25 23:20:55 | <monochrom> | ad-hoc polymorphism just means varying by types; parametric polymorphism means uniform over all types. |
| 2026-03-25 23:21:47 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-03-25 23:21:56 | <monochrom> | "negate :: Num a => a -> a" is ad-hoc-polymorphic, and yet it's "clearly" compositional. |
| 2026-03-25 23:22:57 | × | xff0x quits (~xff0x@2405:6580:b080:900:6689:b5ed:8d4a:6974) (Quit: xff0x) |
| 2026-03-25 23:23:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-25 23:28:56 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
All times are in UTC.