Logs: liberachat/#haskell
| 2025-11-07 20:31:50 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) () |
| 2025-11-07 20:31:51 | <monochrom> | OK yeah we need dependent pairs yeah. |
| 2025-11-07 20:32:11 | <tomsmeding> | [exa]: I have a case in this file with 12 |
| 2025-11-07 20:32:20 | <monochrom> | Haha "what's the difference between do-notation and guards?" |
| 2025-11-07 20:33:13 | <tomsmeding> | [exa]: https://git.tomsmeding.com/chad-fast/tree/src/CHAD.hs?id=38150f4f9792156d8c59439fe47ecb69a0a0e00b#n877 lines 878, 879, 880, 882, 884, 886, 887-888, 897, 900-903, 907, 908 |
| 2025-11-07 20:33:15 | <tomsmeding> | ok 11 |
| 2025-11-07 20:33:24 | <tomsmeding> | but only if you bundle the Refls together into tuples, otherwise it's 15 |
| 2025-11-07 20:33:37 | trickard_ | is now known as trickard |
| 2025-11-07 20:33:54 | <tomsmeding> | (this case has the advantage of most of the functions actually having data types defined for them) |
| 2025-11-07 20:34:37 | <tomsmeding> | Leary: now I'm seriously considering using this, talk me out of it |
| 2025-11-07 20:35:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 20:35:52 | <tomsmeding> | nah this has only one real advantage: the binders are always on the left-hand side, instead of sometimes on the left and sometimes on the right |
| 2025-11-07 20:35:54 | <monochrom> | "Once you've seen it, you can't unseen it" >:) |
| 2025-11-07 20:36:27 | <tomsmeding> | the cost is having to tuple the continuations for everything, and a wacky thing that everyone will do a double-take on |
| 2025-11-07 20:37:31 | <tomsmeding> | Leary: required additional thing in the ContDo module: class AlwaysFail a; instance TypeError (Text "fail") => AlwaysFail a; fail :: AlwaysFail a => String -> a; fail = error |
| 2025-11-07 20:38:07 | <monochrom> | OK the original "foo \i -", don't indent, "bar \j ->" is the simplest, if there is no auto-indenter or draconic style checker getting in the way. |
| 2025-11-07 20:38:23 | <tomsmeding> | no autoformatter in my code |
| 2025-11-07 20:41:04 | <Leary> | tomsmeding: A spoonful of sugar helps the medicine go down. I won't talk you out of sweetening the pot. :) |
| 2025-11-07 20:41:19 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-07 20:41:37 | <Leary> | Re multi-result functions, I don't know, but I doubt there's a nice way. |
| 2025-11-07 20:41:37 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-07 20:42:44 | <EvanR> | haskell should have been designed based on 2 result functions from the beginning, instead of 1 |
| 2025-11-07 20:42:54 | <EvanR> | no one in their right mind would ask for 3 |
| 2025-11-07 20:43:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 20:43:11 | <tomsmeding> | EvanR: I have CPSy functions returning 6 things |
| 2025-11-07 20:43:24 | <EvanR> | that's consistent with what I said |
| 2025-11-07 20:43:29 | <tomsmeding> | fair |
| 2025-11-07 20:43:45 | <EvanR> | the 0 1 6 rule |
| 2025-11-07 20:43:58 | <tomsmeding> | it has been enshrined on a branch lol https://git.tomsmeding.com/chad-fast/commit/?h=qualified-contdo&id=4ccf1996a5bd739dfb1e62fb3bfb189c04fb6d89 |
| 2025-11-07 20:46:52 | <monochrom> | GHC was designed for 64-result functions. >:) |
| 2025-11-07 20:47:22 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 20:47:35 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 20:48:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 20:48:06 | <EvanR> | no one in their right mind would ask for 65 |
| 2025-11-07 20:48:28 | <geekosaur> | no one in their right mind would ask for 64 😈 |
| 2025-11-07 20:48:55 | <geekosaur> | (also I think it's 63?) |
| 2025-11-07 20:51:33 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-11-07 20:58:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 21:02:46 | <tomsmeding> | https://hackage.haskell.org/package/ghc-prim-0.13.0/docs/src/GHC.Tuple.html |
| 2025-11-07 21:02:58 | <tomsmeding> | looks like 64 is good |
| 2025-11-07 21:03:54 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2025-11-07 21:03:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 21:05:41 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-11-07 21:06:37 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-11-07 21:14:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 21:19:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 21:30:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 21:36:08 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-07 21:37:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-07 21:39:32 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 21:39:46 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 21:39:55 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-07 21:48:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 21:50:33 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-11-07 21:51:02 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-11-07 21:53:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-07 22:04:07 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-07 22:04:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 22:07:55 | × | duckworld quits (~duckworld@user/duckworld) (*.net *.split) |
| 2025-11-07 22:07:55 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2025-11-07 22:07:55 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 2025-11-07 22:08:27 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2025-11-07 22:08:27 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-11-07 22:08:27 | → | duckworld joins (~duckworld@user/duckworld) |
| 2025-11-07 22:08:32 | × | duckworld quits (~duckworld@user/duckworld) (Max SendQ exceeded) |
| 2025-11-07 22:08:49 | → | duckworld joins (~duckworld@user/duckworld) |
| 2025-11-07 22:08:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-07 22:14:58 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-07 22:15:38 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2025-11-07 22:15:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 22:17:18 | → | jonny joins (~jonny@190.221.193.49) |
| 2025-11-07 22:18:17 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-07 22:20:38 | × | trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 22:20:43 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-11-07 22:20:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 22:20:52 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 22:20:53 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-11-07 22:22:36 | × | chiselfu1e quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-07 22:22:36 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-07 22:23:29 | × | jonny quits (~jonny@190.221.193.49) (Quit: Client closed) |
| 2025-11-07 22:29:45 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 2025-11-07 22:31:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 22:34:13 | trickard_ | is now known as trickard |
| 2025-11-07 22:35:51 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-11-07 22:36:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-07 22:38:57 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-11-07 22:38:59 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-07 22:39:49 | divlamir_ | is now known as divlamir |
| 2025-11-07 22:40:46 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-07 22:47:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 22:51:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-07 22:57:18 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-07 23:01:39 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-07 23:02:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-07 23:05:39 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-07 23:05:44 | → | Googulator28 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-07 23:07:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 23:14:34 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-07 23:15:03 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-07 23:16:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.