Newest at the top
| 2025-05-04 01:33:43 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f7604057216e123cf7a.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-04 01:15:43 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-05-04 01:15:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-04 01:14:41 +0200 | ljdarj1 | ljdarj |
| 2025-05-04 01:14:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-04 01:12:47 +0200 | preflex_ | preflex |
| 2025-05-04 01:12:29 +0200 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 245 seconds) |
| 2025-05-04 01:10:37 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-04 01:08:53 +0200 | preflex_ | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-05-04 01:00:51 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-04 01:00:43 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-04 00:57:45 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-04 00:56:36 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 252 seconds) |
| 2025-05-04 00:32:36 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-04 00:23:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-04 00:22:48 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-05-04 00:22:19 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-05-04 00:16:12 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-04 00:15:09 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 2025-05-04 00:09:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
| 2025-05-04 00:04:06 +0200 | P1RATEZ | (piratez@user/p1ratez) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2025-05-04 00:00:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 23:47:33 +0200 | ColinRobinson | JuanDaugherty |
| 2025-05-03 23:47:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-03 23:45:16 +0200 | <geekosaur> | "sonic boom" wouldn't that just be inertia? |
| 2025-05-03 23:42:56 +0200 | <geekosaur> | (or possibly both but then there needs to be a formalization of how they both interact) |
| 2025-05-03 23:42:14 +0200 | <geekosaur> | (IIRC the folks who occasionally try to standardize Haskell extensions deadlocked over whether to standardize fundeps or tyfams along with MPTC) |
| 2025-05-03 23:41:09 +0200 | <geekosaur> | the former is why base avoids it |
| 2025-05-03 23:40:50 +0200 | <geekosaur> | only that it's not formally standardized, and that you need either fundeps or type families to use it effectively |
| 2025-05-03 23:37:07 +0200 | <haskellbridge> | <hellwolf> I probably over use it. |
| 2025-05-03 23:36:48 +0200 | <haskellbridge> | <hellwolf> What caveats one should know about MPTC |
| 2025-05-03 23:36:01 +0200 | JuanDaugherty | ColinRobinson |
| 2025-05-03 23:35:25 +0200 | <monochrom> | Yes I think base avoids MPTC. |
| 2025-05-03 23:34:22 +0200 | <haskellbridge> | <loonycyborg> probably overloading spaces will be in C++50 |
| 2025-05-03 23:33:52 +0200 | <monochrom> | EvanR: Is that a physics joke? Lifting ( really fast leading to < because sonic boom? :) I mean :> |
| 2025-05-03 23:33:38 +0200 | <haskellbridge> | <loonycyborg> btw in C++ you can overload "," :P |
| 2025-05-03 23:32:38 +0200 | <haskellbridge> | <hellwolf> Is multiparameter type class avoided in base/core libraries deliberately? |
| 2025-05-03 23:28:41 +0200 | <EvanR> | that was the joke |
| 2025-05-03 23:28:07 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-03 23:26:52 +0200 | <haskellbridge> | <loonycyborg> for example you can already use <> for many seemingly unrelated things :P |
| 2025-05-03 23:24:22 +0200 | <haskellbridge> | <loonycyborg> there's already an overloading mechanism. It's called typeclasses |
| 2025-05-03 23:20:57 +0200 | <EvanR> | overloaded whitespace is something else |
| 2025-05-03 23:20:51 +0200 | <haskellbridge> | <hellwolf> overloaded whitespaces |
| 2025-05-03 23:20:42 +0200 | <haskellbridge> | <hellwolf> whitespace programming language? |
| 2025-05-03 23:20:17 +0200 | <EvanR> | there's too many different operators. Somebody should make an overloading mechanism so you can just use 1 |
| 2025-05-03 23:19:49 +0200 | <haskellbridge> | <hellwolf> I was devastated that I couldn't use <$_> |
| 2025-05-03 23:19:25 +0200 | <haskellbridge> | single $ or & are aliases of them for single category, sometimes helpful to type inference, direction of the >> is a convenient way to say where the function is. |
| 2025-05-03 23:19:25 +0200 | <haskellbridge> | <hellwolf> $$ && for functors of two different categories |
| 2025-05-03 23:19:23 +0200 | <EvanR> | you'll have to rotate the monitor 90 degrees like old smiley :) |
| 2025-05-03 23:19:12 +0200 | <EvanR> | if you lift a ( really fast it becomes a < |