Logs: liberachat/#haskell
| 2025-08-18 15:42:29 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 15:42:43 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 15:50:00 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-08-18 15:50:37 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-08-18 15:52:28 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2025-08-18 15:52:29 | polykernel_ | is now known as polykernel |
| 2025-08-18 16:00:53 | × | simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (Server closed connection) |
| 2025-08-18 16:01:01 | → | simendsjo joins (34b0550437@2a03:6000:1812:100::1441) |
| 2025-08-18 16:02:42 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2025-08-18 16:07:51 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 16:08:03 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 16:13:04 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-08-18 16:19:05 | → | rustisafungus joins (~segfaultf@c-71-202-182-47.hsd1.ca.comcast.net) |
| 2025-08-18 16:23:47 | × | merijn quits (~merijn@77.242.116.150) (Ping timeout: 260 seconds) |
| 2025-08-18 16:30:25 | trickard_ | is now known as trickard |
| 2025-08-18 16:31:59 | × | rustisafungus quits (~segfaultf@c-71-202-182-47.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2025-08-18 16:38:02 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-18 16:39:53 | → | zenstoic joins (uid461840@id-461840.hampstead.irccloud.com) |
| 2025-08-18 16:44:46 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-18 16:45:12 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 16:45:30 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 16:49:08 | × | cpli quits (77fc530071@2a03:6000:1812:100::252) (Server closed connection) |
| 2025-08-18 16:49:16 | → | cpli joins (77fc530071@2a03:6000:1812:100::252) |
| 2025-08-18 16:55:48 | × | jle` quits (~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) (Ping timeout: 245 seconds) |
| 2025-08-18 16:56:12 | → | jle` joins (~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) |
| 2025-08-18 17:05:39 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-18 17:11:39 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-18 17:14:08 | → | elbear joins (~lucian@109.166.131.102) |
| 2025-08-18 17:16:37 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-08-18 17:21:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-18 17:21:40 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-18 17:27:22 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-08-18 17:27:25 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 17:27:37 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 17:31:09 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-08-18 17:34:10 | × | fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (Server closed connection) |
| 2025-08-18 17:34:18 | → | fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7) |
| 2025-08-18 17:35:48 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-08-18 17:36:42 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-18 17:37:01 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-18 17:43:18 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 272 seconds) |
| 2025-08-18 17:47:51 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-08-18 17:52:19 | <yin> | there has to be a more elegant way to write this: (Map.alter (Just . maybe 0 succ) k m) |
| 2025-08-18 17:54:06 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-08-18 17:55:22 | <DavidSch__> | I'm currently learning Haskell. In tutorial (https://books.goalkicker.com/HaskellBook/ on electronic-page 18) they do a `import qualified Data.List.Ordered`, for which ghci 9.6 gives me an error 'Could not find module'. I see that the importable modules on my machine only contain `Data.List` and `Data.List.Nonempty`. So is `Data.List.Ordered` just an outdated thing, and can I simply use Data.List |
| 2025-08-18 17:55:28 | <DavidSch__> | instead? |
| 2025-08-18 17:55:32 | × | elbear quits (~lucian@109.166.131.102) (Read error: Connection reset by peer) |
| 2025-08-18 17:56:02 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-18 17:56:39 | <mauke> | yin: step 1) use perl; step 2) $m{$k}++; step 3) ??? |
| 2025-08-18 17:58:28 | <ncf> | not sure about more elegant, but insertWith (const succ) 0 k m |
| 2025-08-18 17:58:44 | <mauke> | DavidSch__: on the preceding page, "Sieve of Eratosthenes, using [data-ordlist] package:" |
| 2025-08-18 17:58:56 | <mauke> | i.e. you'd have to install the package first |
| 2025-08-18 17:59:20 | <DavidSch__> | you're right, just spotted it too, thanks! |
| 2025-08-18 17:59:27 | <ncf> | er, swap 0 and k |
| 2025-08-18 18:05:13 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-18 18:06:19 | <kuribas> | (const succ) is rather obfuscated. |
| 2025-08-18 18:06:28 | <dolio> | mauke: ++ puts 0 in if it's not already in there? |
| 2025-08-18 18:06:49 | <kuribas> | (\_new old -> succ old) |
| 2025-08-18 18:06:55 | <monochrom> | I'm actually annoyed that it was not "maybe 1 succ". |
| 2025-08-18 18:07:24 | <EvanR> | dirty dirty haskell code |
| 2025-08-18 18:09:00 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-08-18 18:09:22 | × | kuribas quits (~user@ptr-17d51eocpbkc495rgmi.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-08-18 18:10:39 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-18 18:16:28 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-18 18:16:54 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 2025-08-18 18:22:24 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-18 18:26:29 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 18:26:43 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 18:28:51 | × | akspecs quits (00cc8321af@sourcehut/user/akspecs) (Server closed connection) |
| 2025-08-18 18:29:00 | → | akspecs joins (00cc8321af@sourcehut/user/akspecs) |
| 2025-08-18 18:32:35 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-18 18:44:40 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-08-18 18:49:22 | <mauke> | dolio: oh, hmm. no, it increments from non-existence to 1 |
| 2025-08-18 18:49:40 | <mauke> | but you can probably compensate for that on the reading end :-) |
| 2025-08-18 18:50:23 | <dolio> | Okay. I was prepared to be surprised. |
| 2025-08-18 18:50:51 | <dolio> | If you start at 1 in Haskell, you can do `insertWith (+) k 1` |
| 2025-08-18 18:54:16 | <mauke> | ooh, I feel evil coming up. sec ... |
| 2025-08-18 18:55:36 | <mauke> | insertWith (const succ) k 0 |
| 2025-08-18 18:55:53 | <mauke> | oh, that's exactly what ncf said |
| 2025-08-18 18:56:07 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-18 18:56:15 | <mauke> | never mind. not evil enough |
| 2025-08-18 18:56:21 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 19:00:01 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-18 19:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-18 19:06:09 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-08-18 19:13:53 | × | rselim quits (ce261f06ff@user/milesrout) (Server closed connection) |
| 2025-08-18 19:14:02 | → | rselim joins (ce261f06ff@user/milesrout) |
| 2025-08-18 19:15:45 | → | Astinita joins (~Astinita@user/Astinita) |
| 2025-08-18 19:18:33 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-08-18 19:18:33 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 2025-08-18 19:18:58 | → | JamesMowery17736 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 2025-08-18 19:22:07 | × | Astinita quits (~Astinita@user/Astinita) (Quit: Astinita) |
| 2025-08-18 19:23:13 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-18 19:28:50 | × | zenstoic quits (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-18 19:32:47 | → | trickard__ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-08-18 19:34:14 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-08-18 19:36:10 | trickard__ | is now known as trickard |
| 2025-08-18 19:38:44 | × | trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 19:39:03 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
| 2025-08-18 19:43:29 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
All times are in UTC.