Logs: liberachat/#haskell
| 2025-12-31 19:34:49 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-31 19:35:09 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-31 19:35:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-12-31 19:36:28 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-31 19:39:45 | → | Everything joins (~Everythin@46.96.10.169) |
| 2025-12-31 19:55:29 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-31 20:07:10 | × | mmohammadi9812 quits (~mohammad@46.236.253.10) (Remote host closed the connection) |
| 2025-12-31 20:07:41 | × | Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds) |
| 2025-12-31 20:15:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 20:20:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 20:24:31 | × | Pozyomka_ quits (~pyon@user/pyon) (Ping timeout: 240 seconds) |
| 2025-12-31 20:33:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 20:37:16 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-31 20:37:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 20:49:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 20:50:37 | × | aetepe quits (~aetepe@212.125.9.97) (Ping timeout: 250 seconds) |
| 2025-12-31 20:54:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 20:54:18 | → | wickedjargon joins (~user@64.114.24.74) |
| 2025-12-31 21:06:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 21:08:08 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2025-12-31 21:11:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 21:12:25 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Ping timeout: 245 seconds) |
| 2025-12-31 21:16:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 21:22:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 21:24:57 | <yin> | the probem with the "one thing" philosophy is that "thing" is not well-defined |
| 2025-12-31 21:33:21 | <int-e> | that's fine because you can still have a tool for each thing |
| 2025-12-31 21:33:33 | → | yotic joins (~yotic@user/yotic) |
| 2025-12-31 21:33:39 | <int-e> | or two, or many |
| 2025-12-31 21:53:16 | × | wickedjargon quits (~user@64.114.24.74) (Ping timeout: 246 seconds) |
| 2025-12-31 22:12:01 | <EvanR> | I think it was either albuquerque or atlanta, a billboard for "divorce lawyer and movers -- do one thing and do it well" |
| 2025-12-31 22:13:22 | <EvanR> | another one locally which should have had that billboard: this place "pool tables and pools" |
| 2025-12-31 22:17:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 22:18:29 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-12-31 22:21:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 22:23:45 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-31 22:23:48 | <geekosaur> | now I'm reminded of a TV ad which had a pizza delivery car roll up, then the pizza sign rotated into (IIRC) a real estate agent sign |
| 2025-12-31 22:28:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-31 22:32:25 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-31 22:35:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 22:40:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 22:53:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 22:57:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 23:10:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 23:15:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 23:16:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-31 23:18:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 23:24:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 23:25:34 | <monochrom> | Do a pair of complementary things and do them well: Open a pastry bakery and a gym next to each other. (True story.) |
| 2025-12-31 23:32:23 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-31 23:40:38 | → | Pixi` joins (~Pixi@user/pixi) |
| 2025-12-31 23:43:49 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2025-12-31 23:44:11 | × | Everything quits (~Everythin@46.96.10.169) (Quit: leaving) |
| 2025-12-31 23:52:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 23:55:55 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-31 23:57:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-01 00:03:55 | × | traxex quits (traxex@user/traxex) (Ping timeout: 264 seconds) |
| 2026-01-01 00:05:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-01 00:06:47 | <janus> | [exa]: is it really just MPTC that would require type-level computation interleaved with previous typechecking? or is it about fundeps? |
| 2026-01-01 00:07:51 | <janus> | if i understand correctly, fundeps only make sense with MPTC, and since fundeps are so prevalent with mtl, i wonder whether that is why you said MPTC instead of saying fundeps. since for all practical typecheckers, they will need to support both |
| 2026-01-01 00:09:24 | <geekosaur> | my understanding is that MPTCs are really only usable with either fundeps or TFs |
| 2026-01-01 00:09:38 | <geekosaur> | inference isn't possible otherwise |
| 2026-01-01 00:10:04 | <janus> | right. so it's not strictly MPTC that require interleaving |
| 2026-01-01 00:10:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-01 00:10:36 | <janus> | i still can't imagine a program that would require something like that |
| 2026-01-01 00:13:17 | <janus> | maybe the easiest example should be something that uses mtl, and somehow has polymorphic types in both the 'input' and the 'output' type of a fundep. now, the surrounding program somehow determines one of these, and the typechecker should be able to run enough of 'regular' constraints to find out that there is this constraint on input and output |
| 2026-01-01 00:13:38 | <janus> | then, it should evaluate the fundep and that should give it enough info to find the 'principal' type |
| 2026-01-01 00:15:02 | <janus> | such a program, without interleaving, would have ambiguous types and compilation would fail. since it wouldn't be able to take the 'output' and propagate it to other constraints |
| 2026-01-01 00:19:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-01 00:23:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-01 00:30:16 | Tuplanolla1 | is now known as Tuplanolla |
| 2026-01-01 00:32:33 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2026-01-01 00:37:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-01 00:41:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-01 00:48:20 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-01 00:48:51 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-01 00:54:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-01 00:57:37 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2026-01-01 01:00:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-01 01:02:55 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-01 01:10:34 | → | omidmash8 joins (~omidmash@user/omidmash) |
| 2026-01-01 01:13:07 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 2026-01-01 01:13:07 | omidmash8 | is now known as omidmash |
| 2026-01-01 01:15:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-01 01:19:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-01 01:24:43 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-01 01:24:56 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-01-01 01:30:56 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-01 01:37:59 | → | rainbyte_ joins (~rainbyte@186.22.19.214) |
| 2026-01-01 01:38:09 | × | rainbyte quits (~rainbyte@186.22.19.214) (Ping timeout: 244 seconds) |
| 2026-01-01 01:43:41 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-01-01 01:44:35 | × | rainbyte_ quits (~rainbyte@186.22.19.214) (Ping timeout: 240 seconds) |
| 2026-01-01 01:50:44 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-01 01:53:30 | → | aman joins (~aman@user/aman) |
| 2026-01-01 02:00:01 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-01-01 02:00:26 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-01 02:00:55 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-01 02:01:36 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2026-01-01 02:02:11 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-01 02:04:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-01-01 02:06:39 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
All times are in UTC.