Logs: liberachat/#haskell
| 2025-12-04 18:52:11 | <Square2> | Anyone know of a better trick? |
| 2025-12-04 18:52:23 | <monochrom> | Yeah you want to avoid `n-1`. |
| 2025-12-04 18:55:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-04 18:55:31 | <monochrom> | You can write your own Trifunctor class. If you subclass from Bifunctor, then you just have to add the third method. :) |
| 2025-12-04 18:56:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Client Quit) |
| 2025-12-04 18:56:19 | <c_wraith> | I found myself looking for how to write octal literals for the first time today. after almost 20 years using Haskell. |
| 2025-12-04 18:56:35 | <monochrom> | heh |
| 2025-12-04 18:57:36 | <mauke> | 0o (pronounced "uh-oh") |
| 2025-12-04 18:57:46 | <haskellbridge> | <loonycyborg> Probably it's possible to write a function that will map on the element number in tuple that you specify as type level Natural :P |
| 2025-12-04 18:59:02 | <mauke> | do any other programming languages (outside of Perl/Haskell) support 0o notation? |
| 2025-12-04 19:02:03 | <int-e> | let's see.. Python 3 does it and forbids leading zeros in decimal literals on top of that |
| 2025-12-04 19:03:29 | <mauke> | nice |
| 2025-12-04 19:03:39 | <c_wraith> | actually, I guessed it based on the syntax provided in the binary literals extension rather than looking for a reference. at least things are consistent |
| 2025-12-04 19:03:40 | <int-e> | Rust too. The aforementioned LPC too (at least in its modern ldmud dialect). |
| 2025-12-04 19:05:13 | <int-e> | But not Pike (which is another branch of LPC), so I think the caveat is important. |
| 2025-12-04 19:07:12 | ski | . o O ( `0o0.4' ) |
| 2025-12-04 19:08:15 | <mauke> | kind of. perl supports 0o0.4p0 |
| 2025-12-04 19:08:21 | <mauke> | but the exponent is required |
| 2025-12-04 19:11:47 | gehmehgeh | is now known as gmg |
| 2025-12-04 19:15:10 | <tomsmeding> | int-e: I could have _sworn_ rust had ..< |
| 2025-12-04 19:16:18 | <tomsmeding> | int-e: Swift seems to have ..< with the meaning I had in mind |
| 2025-12-04 19:16:55 | <tomsmeding> | got the language wrong, but at least it exists in a common language :p |
| 2025-12-04 19:18:42 | <tomsmeding> | mauke: uh, what about C? |
| 2025-12-04 19:19:15 | <tomsmeding> | I'd rather expect that all mentioned examples got 0o from C :p |
| 2025-12-04 19:19:57 | <monochrom> | But C didn't have the o, you go straight to 0777 |
| 2025-12-04 19:20:15 | <tomsmeding> | TIL |
| 2025-12-04 19:20:19 | <tomsmeding> | or wait what |
| 2025-12-04 19:20:33 | <tomsmeding> | 1. you're right |
| 2025-12-04 19:20:38 | <tomsmeding> | 2. what is my brain doing |
| 2025-12-04 19:20:51 | <tomsmeding> | (I had to pass -std=c99 -pedantic to get gcc to complain about it) |
| 2025-12-04 19:21:00 | <monochrom> | Your brain makes sense, therefore you don't understand a poor syntax choice in C. :) |
| 2025-12-04 19:21:05 | <tomsmeding> | :) |
| 2025-12-04 19:25:01 | <int-e> | . o O ( it's called "revising history", I learned today ) |
| 2025-12-04 19:26:25 | <tomsmeding> | it seems that now is really the time that I've not used C for a long enough time that I forget basic syntax like this |
| 2025-12-04 19:27:18 | AlexZenon_2 | is now known as AlexZenon |
| 2025-12-04 19:27:38 | <tomsmeding> | fortunately -- contrary to segfaultfizzbuzz's wishes -- history is being revised regularly :) |
| 2025-12-04 19:27:56 | <ski> | rebased ? |
| 2025-12-04 19:28:33 | <monochrom> | haha |
| 2025-12-04 19:30:02 | × | xnyhps quits (~xnyhps@s.xnyhps.nl) (Remote host closed the connection) |
| 2025-12-04 19:30:12 | <EvanR> | redacted |
| 2025-12-04 19:30:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-12-04 19:34:55 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-12-04 19:36:37 | × | dhil quits (~dhil@5.151.29.139) (Quit: Leaving) |
| 2025-12-04 19:39:49 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 246 seconds) |
| 2025-12-04 19:40:22 | gAy_Dragon | is now known as TypesWithAHammer |
| 2025-12-04 19:41:05 | TypesWithAHammer | is now known as gAy_Dragon |
| 2025-12-04 19:49:00 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-04 19:52:41 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-04 19:52:58 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-12-04 19:56:59 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-04 19:58:44 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:9b09:80f:2f26:e3ad) (Quit: std::move) |
| 2025-12-04 20:04:00 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-04 20:04:51 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-04 20:05:44 | × | Googulator15 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-04 20:05:53 | → | Googulator15 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-04 20:09:14 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 246 seconds) |
| 2025-12-04 20:12:31 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-04 20:13:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-04 20:17:00 | × | marlino quits (~marlino@96-8-193-101.block0.gvtc.com) (Quit: WeeChat 4.7.2) |
| 2025-12-04 20:22:43 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-04 20:23:26 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-04 20:24:12 | × | deptype quits (~deptype@2406:b400:3a:9d2f:cc6c:ad35:cfc6:21bb) (Remote host closed the connection) |
| 2025-12-04 20:47:25 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds) |
| 2025-12-04 20:47:54 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-12-04 21:10:59 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-04 21:15:54 | × | finsternis quits (~X@23.226.237.192) (Ping timeout: 244 seconds) |
| 2025-12-04 21:16:31 | → | finsternis joins (~X@23.226.237.192) |
| 2025-12-04 21:21:03 | × | Googulator15 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-04 21:21:25 | → | Googulator15 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-04 21:30:58 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-04 21:35:44 | × | Googulator15 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-04 21:35:47 | → | Googulator58 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-04 21:36:16 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-04 22:01:04 | → | hc_ joins (~hc@mail.hce.li) |
| 2025-12-04 22:01:10 | × | hc_ quits (~hc@mail.hce.li) (Client Quit) |
| 2025-12-04 22:03:04 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-04 22:14:37 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-04 22:23:15 | × | Googulator58 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-04 22:23:34 | → | Googulator58 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-04 22:24:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-04 22:27:25 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-04 22:34:49 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-12-04 22:35:34 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-12-04 22:37:00 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-04 22:37:12 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-04 22:41:40 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 244 seconds) |
| 2025-12-04 22:42:04 | × | karenw quits (~karenw@user/karenw) (Read error: Connection reset by peer) |
| 2025-12-04 22:47:27 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-04 22:49:15 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-04 22:53:09 | × | iqubic quits (~sophia@2601:602:9203:1660:d33f:96d:145c:6b4b) (Remote host closed the connection) |
| 2025-12-04 23:00:47 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-04 23:20:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-12-04 23:21:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-04 23:30:16 | Googulator58 | is now known as Googulator |
| 2025-12-04 23:36:38 | × | tjbc_ quits (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-12-04 23:38:35 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-12-04 23:39:03 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 265 seconds) |
| 2025-12-04 23:39:23 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-04 23:39:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 23:42:32 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
All times are in UTC.