| 2024-08-18 00:11:38 +0200 | Guest6 | (~Guest6@197.62.101.42) |
| 2024-08-18 00:13:16 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 2024-08-18 00:17:10 +0200 | EuAndreh | (~EuAndreh@189.6.18.26) |
| 2024-08-18 00:19:04 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-18 00:22:41 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-18 00:27:27 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) (Ping timeout: 256 seconds) |
| 2024-08-18 00:30:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-18 00:34:50 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 252 seconds) |
| 2024-08-18 00:43:09 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-18 00:53:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-18 00:54:30 +0200 | son0p | (~ff@2800:e2:f80:ee7::5) |
| 2024-08-18 00:59:15 +0200 | ash3en | (~Thunderbi@2a01:c23:8d72:f00:e960:846c:442d:ea53) (Remote host closed the connection) |
| 2024-08-18 01:04:01 +0200 | Guest6 | (~Guest6@197.62.101.42) (Quit: Client closed) |
| 2024-08-18 01:04:08 +0200 | son0p | (~ff@2800:e2:f80:ee7::5) (Ping timeout: 245 seconds) |
| 2024-08-18 01:04:16 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-18 01:07:21 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) |
| 2024-08-18 01:07:21 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) (Changing host) |
| 2024-08-18 01:07:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-18 01:17:23 +0200 | ash3en | (~Thunderbi@2a01:c23:8d72:f00:e960:846c:442d:ea53) |
| 2024-08-18 01:27:12 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-18 01:33:59 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-08-18 01:38:28 +0200 | ZharMeny | (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-08-18 01:39:35 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-18 01:42:47 +0200 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-18 01:44:30 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-08-18 01:44:42 +0200 | ZharMeny` | ZharMeny |
| 2024-08-18 01:45:43 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-18 01:50:59 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb605d5ea4e14fbaa176.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-08-18 01:52:42 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-18 01:52:45 +0200 | Inst | (~Inst@user/Inst) (Leaving) |
| 2024-08-18 01:52:52 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-18 01:52:54 +0200 | Inst | (~Inst@user/Inst) (Leaving) |
| 2024-08-18 01:53:07 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-18 01:54:30 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-18 01:57:06 +0200 | EuAndreh | (~EuAndreh@189.6.18.26) (Ping timeout: 248 seconds) |
| 2024-08-18 02:00:38 +0200 | ash3en | (~Thunderbi@2a01:c23:8d72:f00:e960:846c:442d:ea53) (Quit: ash3en) |
| 2024-08-18 02:05:16 +0200 | troojg | (~troojg@user/troojg) |
| 2024-08-18 02:20:09 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-18 02:20:17 +0200 | Inst | (~Inst@user/Inst) (Killed (NickServ (GHOST command used by Inst_))) |
| 2024-08-18 02:20:19 +0200 | Inst_ | Inst |
| 2024-08-18 02:32:19 +0200 | Volt_ | (~Volt_@72.252.192.240) |
| 2024-08-18 02:37:24 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-18 02:43:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-18 02:44:19 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-18 02:46:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-18 02:48:52 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 02:49:47 +0200 | <segfaultfizzbuzz> | i think people in ##rust are out partying and living normal lives, can i ask a simple functional programming-y rust question here? |
| 2024-08-18 02:50:25 +0200 | <Inst> | "don't ask to ask" |
| 2024-08-18 02:51:01 +0200 | <geekosaur> | but I don't know why you'd expect it to be any different here |
| 2024-08-18 02:51:07 +0200 | <segfaultfizzbuzz> | impl MyFoo { fn do_something(&self) -> i64 { self.bar + self.baz} } |
| 2024-08-18 02:51:27 +0200 | <segfaultfizzbuzz> | versus impl MyFoo { fn do_something(foo: MyFoo) -> i64 { foo.bar + foo.baz } } |
| 2024-08-18 02:52:03 +0200 | <segfaultfizzbuzz> | so especially when do_something is a pure function (no mutation of self, for example), i'm having trouble understanding why you wouldn't always pass foo |
| 2024-08-18 02:52:18 +0200 | <segfaultfizzbuzz> | like, why use &self |
| 2024-08-18 02:52:36 +0200 | <Inst> | i think it got answered in ##rust |
| 2024-08-18 02:53:19 +0200 | <segfaultfizzbuzz> | eh, i may as well have haskeller opinions if you have something to add... |
| 2024-08-18 02:54:06 +0200 | <Inst> | a lot of Haskellers don't know Rust, and quite a few Haskellers who know both Rust and Haskell already left for Haskell, so if there's no activity, you could also try ##programming |
| 2024-08-18 02:54:18 +0200 | <Inst> | erm, left for Rust, not left for Haskell |
| 2024-08-18 02:56:09 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-18 03:08:02 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 03:08:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-08-18 03:09:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-08-18 03:10:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 03:10:44 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-08-18 03:14:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-18 03:17:40 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-18 03:17:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cf5d:a592:9293:1abb) (Ping timeout: 248 seconds) |
| 2024-08-18 03:18:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f7ea:ebc:48e7:5791) |
| 2024-08-18 03:18:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-08-18 03:19:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-18 03:20:50 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 2024-08-18 03:23:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 03:29:34 +0200 | neuroevolutus | (~neuroevol@37.19.200.161) |
| 2024-08-18 03:35:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-18 03:37:35 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) |
| 2024-08-18 03:37:35 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) (Changing host) |
| 2024-08-18 03:37:35 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-18 03:40:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 03:51:49 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2024-08-18 03:54:06 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) |
| 2024-08-18 03:54:06 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) (Changing host) |
| 2024-08-18 03:54:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-18 03:58:02 +0200 | Inst_ | Inst |
| 2024-08-18 04:03:23 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: 17 (disambiguation)) |
| 2024-08-18 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-08-18 04:05:35 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-08-18 04:08:58 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 244 seconds) |
| 2024-08-18 04:09:25 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-08-18 04:09:27 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2024-08-18 04:09:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-18 04:10:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 04:16:57 +0200 | neuroevolutus | (~neuroevol@37.19.200.161) (Ping timeout: 256 seconds) |
| 2024-08-18 04:19:18 +0200 | td_ | (~td@i53870926.versanet.de) (Ping timeout: 244 seconds) |
| 2024-08-18 04:21:01 +0200 | td_ | (~td@i53870932.versanet.de) |
| 2024-08-18 04:21:29 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-18 04:25:03 +0200 | wroathe | (~wroathe@user/wroathe) () |
| 2024-08-18 04:29:32 +0200 | Blasius_ | (~Blasius@90.201.223.82) (Ping timeout: 255 seconds) |
| 2024-08-18 04:40:27 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) |
| 2024-08-18 04:40:27 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) (Changing host) |
| 2024-08-18 04:40:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-18 04:49:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-18 04:49:57 +0200 | euleritian | (~euleritia@dynamic-176-006-138-245.176.6.pool.telefonica.de) |
| 2024-08-18 04:56:11 +0200 | Blasius | (~Blasius@5ec169d9.skybroadband.com) |
| 2024-08-18 05:07:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 05:07:48 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Reconnecting) |
| 2024-08-18 05:08:01 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) |
| 2024-08-18 05:08:01 +0200 | wroathe | (~wroathe@mobile-166-175-56-161.mycingular.net) (Changing host) |
| 2024-08-18 05:08:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-18 05:16:34 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-18 05:16:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-18 05:17:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-08-18 05:24:17 +0200 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-18 05:24:36 +0200 | euleritian | (~euleritia@dynamic-176-006-138-245.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 05:24:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 05:25:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 05:26:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 05:26:10 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-18 05:49:58 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf4:c700:587f:d6ea:1b3:5684) |
| 2024-08-18 05:51:17 +0200 | aforemny | (~aforemny@2001:9e8:6cd5:4d00:ecce:5c3c:7d1:3304) (Ping timeout: 258 seconds) |
| 2024-08-18 05:56:54 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-08-18 06:14:27 +0200 | troojg | (~troojg@user/troojg) |
| 2024-08-18 06:14:34 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-08-18 06:18:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 06:18:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 06:20:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 06:21:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 06:23:39 +0200 | rini | (~rini@user/rini) (Remote host closed the connection) |
| 2024-08-18 06:27:10 +0200 | rini | (~rini@user/rini) |
| 2024-08-18 06:31:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 06:33:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 06:33:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 06:35:02 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-08-18 06:35:32 +0200 | rdcdr_ | (~rdcdr@75-172-64-176.tukw.qwest.net) (Ping timeout: 255 seconds) |
| 2024-08-18 06:40:25 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-18 06:42:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-18 06:48:09 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-18 06:48:52 +0200 | Inst | (~Inst@user/Inst) (Killed (NickServ (GHOST command used by Inst_))) |
| 2024-08-18 06:48:59 +0200 | Inst_ | Inst |
| 2024-08-18 07:27:42 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-08-18 07:30:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-18 07:31:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-08-18 07:44:14 +0200 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-08-18 07:56:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 07:56:18 +0200 | euleritian | (~euleritia@dynamic-176-006-138-245.176.6.pool.telefonica.de) |
| 2024-08-18 07:56:40 +0200 | euleritian | (~euleritia@dynamic-176-006-138-245.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 07:56:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 08:01:22 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-08-18 08:03:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 08:13:57 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-08-18 08:24:29 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-18 08:25:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 08:31:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-18 08:38:15 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-08-18 08:40:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 08:41:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-18 08:43:47 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-08-18 08:45:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-18 08:57:41 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-08-18 08:58:08 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb28f994cf85141dae42.dip0.t-ipconnect.de) |
| 2024-08-18 08:59:33 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-08-18 09:04:03 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-18 09:06:18 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2024-08-18 09:12:21 +0200 | raym | (~ray@user/raym) (Ping timeout: 248 seconds) |
| 2024-08-18 09:14:09 +0200 | raym | (~ray@user/raym) |
| 2024-08-18 09:14:37 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 09:19:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-18 09:23:18 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-08-18 09:25:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 09:26:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 09:33:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 09:38:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-18 09:39:33 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-08-18 09:40:05 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-08-18 09:42:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-18 09:43:28 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) |
| 2024-08-18 09:51:10 +0200 | Digitteknohippie | Digit |
| 2024-08-18 09:52:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 09:53:06 +0200 | euleritian | (~euleritia@dynamic-176-006-138-245.176.6.pool.telefonica.de) |
| 2024-08-18 09:53:37 +0200 | euleritian | (~euleritia@dynamic-176-006-138-245.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 09:53:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 10:00:13 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-18 10:02:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-18 10:07:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 10:13:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2024-08-18 10:14:20 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-08-18 10:14:40 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-18 10:26:33 +0200 | Volt_ | (~Volt_@72.252.192.240) (Quit: ) |
| 2024-08-18 10:27:51 +0200 | Angelz | (Angelz@user/angelz) (Ping timeout: 276 seconds) |
| 2024-08-18 10:46:23 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-18 10:56:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 10:56:33 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-18 10:59:05 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-18 11:00:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 11:03:06 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-08-18 11:07:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-18 11:10:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-18 11:17:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-18 11:20:53 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-18 11:21:38 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-08-18 11:23:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 11:26:49 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-18 11:28:12 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-08-18 11:28:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-18 11:28:42 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-18 11:31:23 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-18 11:45:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f7ea:ebc:48e7:5791) (Ping timeout: 258 seconds) |
| 2024-08-18 11:46:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f7ea:ebc:48e7:5791) |
| 2024-08-18 11:48:17 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-18 11:50:45 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2024-08-18 11:58:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 12:02:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2024-08-18 12:19:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 12:21:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-08-18 12:23:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2024-08-18 12:26:48 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 12:26:58 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) (Quit: ash3en) |
| 2024-08-18 12:30:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-18 12:41:00 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-18 12:41:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-18 12:45:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 12:46:20 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-08-18 12:48:16 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) |
| 2024-08-18 12:48:53 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-18 12:49:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-18 12:50:57 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-18 12:56:23 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-18 12:56:40 +0200 | <haskellbridge> | <eldritchcookie> i can't believe that i complained almost a year ago that lifted-base doesn't compile in GHC 9.8 someone went and made a pull request fixing the issue and for some reason there isn't a fixed version |
| 2024-08-18 12:58:02 +0200 | <Rembane> | So now you work from trunk? |
| 2024-08-18 12:58:41 +0200 | <haskellbridge> | <eldritchcookie> is this message related to my grievances? |
| 2024-08-18 12:59:08 +0200 | <Rembane> | A bit. I guess your grievances haven't been adressed? |
| 2024-08-18 13:01:18 +0200 | <haskellbridge> | <eldritchcookie> absolutely even if i followed the main branch it still doesn't compile |
| 2024-08-18 13:02:13 +0200 | <Rembane> | Oh, then I misunderstood you. I thought they had solved it but not released it. |
| 2024-08-18 13:02:51 +0200 | <mauke> | fortunately stack lets you depend on PRs |
| 2024-08-18 13:04:46 +0200 | <haskellbridge> | <eldritchcookie> ooh cool is it easy? nix kinda allows the same but you will need 3+ lines of code |
| 2024-08-18 13:08:30 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-08-18 13:13:23 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-08-18 13:19:31 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 2024-08-18 13:26:06 +0200 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-18 13:27:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 13:27:43 +0200 | <rini> | iirc if its on github you can set the ref to "refs/pull/<number>", works in a lot of package managers |
| 2024-08-18 13:28:03 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-08-18 13:29:49 +0200 | <rini> | ah, refs/pull/<id>/head |
| 2024-08-18 13:30:40 +0200 | billchenchina- | (~billchenc@103.118.42.229) |
| 2024-08-18 13:32:25 +0200 | <Inst> | this isn't actually memoizing like I think it does, right? |
| 2024-08-18 13:32:27 +0200 | <Inst> | https://paste.tomsmeding.com/jxAdrzLz |
| 2024-08-18 13:33:15 +0200 | ZharMeny` | ZharMeny |
| 2024-08-18 13:33:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 2024-08-18 13:34:46 +0200 | <Inst> | yeah, it's not working the way i think it does |
| 2024-08-18 13:35:52 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) (Quit: ash3en) |
| 2024-08-18 13:37:34 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-18 13:47:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 13:47:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2024-08-18 13:51:11 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-08-18 13:51:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-18 13:51:55 +0200 | califax | (~califax@user/califx) |
| 2024-08-18 13:52:19 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2024-08-18 13:53:42 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) |
| 2024-08-18 14:02:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-18 14:02:16 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) |
| 2024-08-18 14:04:23 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 14:04:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 14:05:05 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (Ping timeout: 255 seconds) |
| 2024-08-18 14:06:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 14:10:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-18 14:19:54 +0200 | billchenchina- | (~billchenc@103.118.42.229) (Ping timeout: 276 seconds) |
| 2024-08-18 14:20:57 +0200 | billchenchina- | (~billchenc@2408:843e:a80:2c8b:d8b0:68c1:33fa:2832) |
| 2024-08-18 14:26:41 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-18 14:27:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 14:28:37 +0200 | billchenchina- | (~billchenc@2408:843e:a80:2c8b:d8b0:68c1:33fa:2832) (Ping timeout: 248 seconds) |
| 2024-08-18 14:29:04 +0200 | billchenchina- | (~billchenc@103.118.42.229) |
| 2024-08-18 14:30:40 +0200 | billchenchina- | (~billchenc@103.118.42.229) (Remote host closed the connection) |
| 2024-08-18 14:32:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 14:34:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-18 14:36:21 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) |
| 2024-08-18 14:36:43 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 14:37:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 14:39:06 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-08-18 14:40:31 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2024-08-18 14:43:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-18 14:43:57 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) |
| 2024-08-18 14:45:45 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 14:46:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 14:47:06 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 14:54:48 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-08-18 14:55:42 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-18 14:56:14 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-18 14:59:44 +0200 | xdminsy | (~xdminsy@117.147.70.75) |
| 2024-08-18 15:00:43 +0200 | xdminsy | (~xdminsy@117.147.70.75) (Client Quit) |
| 2024-08-18 15:03:20 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-08-18 15:07:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 2024-08-18 15:18:16 +0200 | <Inst> | is memoize broken? |
| 2024-08-18 15:20:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 15:30:45 +0200 | <int-e> | what do you mean by "memoize"? |
| 2024-08-18 15:31:27 +0200 | <Inst> | https://hackage.haskell.org/package/memoize-1.1.2/docs/Data-Function-Memoize.html |
| 2024-08-18 15:31:29 +0200 | <Inst> | benchmarking this |
| 2024-08-18 15:34:28 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-08-18 15:34:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds) |
| 2024-08-18 15:46:06 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2024-08-18 15:53:51 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-08-18 15:54:11 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-18 15:54:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-18 16:00:52 +0200 | ctk | (~calimero@ctkarch.org) (Changing host) |
| 2024-08-18 16:00:52 +0200 | ctk | (~calimero@user/calimeroteknik) |
| 2024-08-18 16:02:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 16:06:55 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2024-08-18 16:08:31 +0200 | <haskellbridge> | <eldritchcookie> can someone remind me again why no one uses safe haskell? |
| 2024-08-18 16:14:39 +0200 | <int-e> | s/noone/only lambdabot/ |
| 2024-08-18 16:17:14 +0200 | <int-e> | I think it's that there's only one single notion of safety captured by Safe Haskell (designed more or less to prevent access to unsafeCoerce or unsafePerformIO by restricting imports so that the type system can do its job properly) and most people, if they care about this kind of safety, either want something different or something more strict. |
| 2024-08-18 16:19:13 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) () |
| 2024-08-18 16:20:33 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-18 16:20:47 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-18 16:21:47 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-18 16:22:00 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-08-18 16:22:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-18 16:23:23 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) |
| 2024-08-18 16:24:49 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) (Quit: ash3en) |
| 2024-08-18 16:36:04 +0200 | killy | (~killy@staticline-31-183-190-180.toya.net.pl) |
| 2024-08-18 16:39:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-18 16:39:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 16:45:06 +0200 | <haskellbridge> | <eldritchcookie> lambdabot safe haskell |
| 2024-08-18 16:45:21 +0200 | <haskellbridge> | <eldritchcookie> does the bot work from matrix? |
| 2024-08-18 16:46:33 +0200 | <haskellbridge> | <eldritchcookie> @help |
| 2024-08-18 16:47:04 +0200 | <Franciman> | maybe there is a lambdabot over there, but here it won't work because haskellbridge puts as a prefix of the message your nick |
| 2024-08-18 16:47:05 +0200 | <int-e> | nah it doesn't recognize "<eldritchcookie> @help" |
| 2024-08-18 16:47:06 +0200 | <Franciman> | so you wrote |
| 2024-08-18 16:47:08 +0200 | <Franciman> | exacl |
| 2024-08-18 16:47:31 +0200 | eldritch_cookie | (~eldritch_@2804:7f4:8082:185:8af3:6b91:d27:8d8d) |
| 2024-08-18 16:47:54 +0200 | <haskellbridge> | <mauke> You gotta summon it properly |
| 2024-08-18 16:48:17 +0200 | <haskellbridge> | <mauke> O mighty lambdabot, |
| 2024-08-18 16:48:17 +0200 | <haskellbridge> | @help |
| 2024-08-18 16:48:17 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2024-08-18 16:49:00 +0200 | <int-e> | > fix ((0:) . scanl (+) 1) |
| 2024-08-18 16:49:02 +0200 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 2024-08-18 16:49:15 +0200 | <haskellbridge> | <eldritchcookie> do i need the lambdabot on the message or only a newline before the command |
| 2024-08-18 16:49:15 +0200 | <haskellbridge> | @help |
| 2024-08-18 16:49:15 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2024-08-18 16:50:35 +0200 | <haskellbridge> | <eldritchcookie> cool |
| 2024-08-18 16:50:35 +0200 | <haskellbridge> | @help list |
| 2024-08-18 16:50:36 +0200 | <lambdabot> | list [module|command]. Show commands for [module] or the module providing [command]. |
| 2024-08-18 16:50:41 +0200 | <int-e> | ugh |
| 2024-08-18 16:51:17 +0200 | <int-e> | Maybe lambdabot should ignore the bridge if that's where this is going? |
| 2024-08-18 16:52:25 +0200 | <Franciman> | nice hack, people |
| 2024-08-18 16:53:44 +0200 | <haskellbridge> | <eldritchcookie> anyways does it have a quote or wisdom command or does it take multiple args for commands? |
| 2024-08-18 16:54:14 +0200 | <mauke> | @quite |
| 2024-08-18 16:54:14 +0200 | <lambdabot> | Maybe you meant: quote quit |
| 2024-08-18 16:55:05 +0200 | <mauke> | @quote me |
| 2024-08-18 16:55:05 +0200 | <lambdabot> | Vellos says: AVATAR. SMURFS. SAME FUCKING STORY. |
| 2024-08-18 16:55:08 +0200 | <haskellbridge> | <eldritchcookie> @quote safe haskell |
| 2024-08-18 16:55:29 +0200 | <mauke> | @quote safe |
| 2024-08-18 16:55:29 +0200 | <lambdabot> | koninkje says: <mar77a> who the hell cares how many elements are there and their type! <koninkje> er, people who care about type safety? |
| 2024-08-18 16:55:51 +0200 | <haskellbridge> | <eldritchcookie> wow |
| 2024-08-18 16:55:51 +0200 | <haskellbridge> | @quote safe haskell |
| 2024-08-18 16:55:51 +0200 | <lambdabot> | No quotes for this person. Maybe you made a typo? |
| 2024-08-18 16:56:03 +0200 | <mauke> | @quote safe.haskell |
| 2024-08-18 16:56:03 +0200 | <lambdabot> | No quotes match. Abort, Retry, Panic? |
| 2024-08-18 16:56:09 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2024-08-18 16:56:21 +0200 | <mauke> | @quote mauke |
| 2024-08-18 16:56:21 +0200 | <lambdabot> | mauke says: the first and foremost task of a haskell compiler is to break haskell programs |
| 2024-08-18 16:56:46 +0200 | <int-e> | @ghc |
| 2024-08-18 16:56:46 +0200 | <lambdabot> | Illegal deriving item |
| 2024-08-18 16:56:53 +0200 | <mauke> | @quote mauke |
| 2024-08-18 16:56:53 +0200 | <lambdabot> | mauke says: C++ is very efficient in that a single typo can cause several KB of errors |
| 2024-08-18 16:56:54 +0200 | <vulpine> | @quote lambdabot |
| 2024-08-18 16:56:54 +0200 | <lambdabot> | lambdabot says: @quote lambdabot |
| 2024-08-18 16:57:11 +0200 | <mauke> | yes, that's good wisdom |
| 2024-08-18 16:59:15 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-08-18 16:59:49 +0200 | Digit | (~user@user/digit) (Ping timeout: 258 seconds) |
| 2024-08-18 17:01:50 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-18 17:03:43 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-08-18 17:05:00 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2024-08-18 17:12:14 +0200 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2024-08-18 17:12:45 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-08-18 17:14:07 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-18 17:14:19 +0200 | Digitteknohippie | Digit |
| 2024-08-18 17:17:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-18 17:21:22 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-18 17:30:08 +0200 | scubagear | (scubagear@gateway/vpn/protonvpn/scubagear) (Ping timeout: 272 seconds) |
| 2024-08-18 17:30:50 +0200 | scubagear | (scubagear@gateway/vpn/protonvpn/scubagear) |
| 2024-08-18 17:33:25 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb28f994cf85141dae42.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-08-18 17:35:14 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-18 17:35:31 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-08-18 17:35:56 +0200 | Guest|39 | (~Guest|39@23-93-239-145.fiber.dynamic.sonic.net) |
| 2024-08-18 17:36:15 +0200 | Guest|39 | (~Guest|39@23-93-239-145.fiber.dynamic.sonic.net) (Client Quit) |
| 2024-08-18 17:37:26 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) |
| 2024-08-18 17:47:22 +0200 | foul_owl_ | (~kerry@185.219.141.164) (Ping timeout: 252 seconds) |
| 2024-08-18 17:48:33 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-18 17:50:15 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-18 17:53:09 +0200 | eldritch_cookie | (~eldritch_@2804:7f4:8082:185:8af3:6b91:d27:8d8d) (Quit: Leaving) |
| 2024-08-18 17:56:32 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-18 17:59:15 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2024-08-18 18:05:44 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-08-18 18:06:09 +0200 | ctk | CalimeroTeknik |
| 2024-08-18 18:06:25 +0200 | killy | (~killy@staticline-31-183-190-180.toya.net.pl) (Quit: leaving) |
| 2024-08-18 18:09:22 +0200 | ZharMeny | (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-08-18 18:09:28 +0200 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-18 18:11:18 +0200 | ZharMeny` | ZharMeny |
| 2024-08-18 18:11:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-18 18:11:45 +0200 | foul_owl_ | (~kerry@185.219.141.164) |
| 2024-08-18 18:19:20 +0200 | <Inst> | > import Data.Function.Memoize |
| 2024-08-18 18:19:21 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
| 2024-08-18 18:20:46 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-18 18:22:20 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-18 18:26:14 +0200 | pikajude- | pikajude |
| 2024-08-18 18:32:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-08-18 18:32:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-18 18:37:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-18 18:39:21 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-18 18:44:05 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-08-18 18:44:11 +0200 | foul_owl_ | (~kerry@185.219.141.164) (Ping timeout: 252 seconds) |
| 2024-08-18 18:44:51 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-18 18:45:39 +0200 | <monochrom> | That probably isn't available on lambdabot and yahb2. |
| 2024-08-18 18:52:05 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-08-18 18:54:58 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Client Quit) |
| 2024-08-18 19:00:42 +0200 | <Inst> | does anyone still use memoize? |
| 2024-08-18 19:01:15 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) (Ping timeout: 244 seconds) |
| 2024-08-18 19:04:40 +0200 | Square | (~Square@user/square) |
| 2024-08-18 19:04:57 +0200 | <davean> | Some people but not many, because why would you? |
| 2024-08-18 19:05:18 +0200 | <davean> | You can see even on hackage there are recent direct dependencies though that are legit. |
| 2024-08-18 19:06:35 +0200 | foul_owl_ | (~kerry@185.219.141.164) |
| 2024-08-18 19:09:34 +0200 | <Inst> | i'm trying to figure out why a memoized naive fib doesn't work |
| 2024-08-18 19:09:58 +0200 | <davean> | Well for that it is irrelivent if people still use it, its not like code rots. |
| 2024-08-18 19:10:14 +0200 | <davean> | So what "doesn't work" for you? There are a lot of ways for code to not work. |
| 2024-08-18 19:12:43 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-18 19:12:43 +0200 | Inst | (~Inst@user/Inst) (Killed (NickServ (GHOST command used by Inst_))) |
| 2024-08-18 19:12:47 +0200 | Inst_ | Inst |
| 2024-08-18 19:12:53 +0200 | <Inst> | time ./someResultingProg, etc... with and without memoize it's the same |
| 2024-08-18 19:12:57 +0200 | <Inst> | print $ memoize fib 40 where fib :: Int -> Int; fib 0 = 1; fib 1 = 1; fib n = fib (n-1) + fib (n-2) |
| 2024-08-18 19:13:19 +0200 | <Inst> | am i missing something somewhere? |
| 2024-08-18 19:13:22 +0200 | <davean> | well you're using it wrong. |
| 2024-08-18 19:13:28 +0200 | <Inst> | i guessed as much |
| 2024-08-18 19:13:44 +0200 | <ncf> | the recursive calls need to use the memoised function |
| 2024-08-18 19:13:48 +0200 | <davean> | look at what you're memoizing, and consider if you think thats a meaningful thing to memoize |
| 2024-08-18 19:13:56 +0200 | <ncf> | (sorry, spoiled it) |
| 2024-08-18 19:14:13 +0200 | <davean> | ncf: That does kinda get in the way of learning :-p |
| 2024-08-18 19:14:48 +0200 | <Inst> | don't worry, i still don't get it |
| 2024-08-18 19:15:14 +0200 | <c_wraith> | It's less magic than you're hoping for |
| 2024-08-18 19:15:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-18 19:15:42 +0200 | <c_wraith> | It doesn't *modify* a function to be memoized |
| 2024-08-18 19:15:48 +0200 | <davean> | c_wraith: Doesn't everyone hope for lisp in the end? |
| 2024-08-18 19:16:12 +0200 | <davean> | yes, it creates a memoized function |
| 2024-08-18 19:16:16 +0200 | <davean> | it doesn't modify one |
| 2024-08-18 19:16:39 +0200 | <davean> | you only ever call it once the way you did it so it calculates the value, saves it, and never uses it again |
| 2024-08-18 19:16:45 +0200 | <ncf> | you want to use memoFix https://hackage.haskell.org/package/memoize-1.1.2/docs/Data-Function-Memoize.html#v:memoFix |
| 2024-08-18 19:17:04 +0200 | <davean> | ncf: Thats complicated, I'd say he wants to create an alternative fib |
| 2024-08-18 19:17:15 +0200 | <davean> | but yes |
| 2024-08-18 19:17:28 +0200 | <davean> | Style differences |
| 2024-08-18 19:17:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-18 19:18:28 +0200 | <c_wraith> | I actually kind of like fix vs memoFix as a demonstration of how using an external combinator for recursion adds some power |
| 2024-08-18 19:18:40 +0200 | <c_wraith> | but getting into that requires a base understanding of fix |
| 2024-08-18 19:18:52 +0200 | <davean> | c_wraith: oh it absolutely does, I just think it takes more looking at what is going on than the lazy version |
| 2024-08-18 19:18:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-18 19:19:17 +0200 | <c_wraith> | Yeah, I don't think it's a good starting spot |
| 2024-08-18 19:19:30 +0200 | <c_wraith> | But it's a cool thing to know about |
| 2024-08-18 19:19:51 +0200 | <davean> | I totally think he should try to move to it after getting the simpler one working! |
| 2024-08-18 19:20:00 +0200 | <davean> | Well simpler conceptually, the fix version is simpler to write |
| 2024-08-18 19:20:08 +0200 | <davean> | (I contend its always more complicated to read though :/) |
| 2024-08-18 19:20:38 +0200 | <c_wraith> | I use fix to inline loops in IO enough that I've stopped having trouble reading it... |
| 2024-08-18 19:20:57 +0200 | <davean> | Its nto about trouble reading it, it simply does infact have more state to track |
| 2024-08-18 19:21:41 +0200 | <ncf> | state? |
| 2024-08-18 19:21:42 +0200 | <davean> | If the code is how you expect it, you can forget about that indirection, but sometimes it is used in weirder ways and you have to check. |
| 2024-08-18 19:22:10 +0200 | <davean> | ncf: things in the ast you have to be aware of the values of |
| 2024-08-18 19:23:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-18 19:24:07 +0200 | <Inst> | ehhh, no one cares about fib, tbh, it's a toy, i just can't figure out why i can't get memoize to work |
| 2024-08-18 19:24:15 +0200 | <Inst> | and the lib itself is obfuscated via template haskell |
| 2024-08-18 19:24:42 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) |
| 2024-08-18 19:24:45 +0200 | <c_wraith> | so in order for fib to benefit from memoization, the recursive calls must call the memoized version. |
| 2024-08-18 19:24:57 +0200 | <c_wraith> | But you've hardcoded it to call the non-memoized version |
| 2024-08-18 19:25:02 +0200 | <c_wraith> | You can |
| 2024-08-18 19:25:10 +0200 | <c_wraith> | Err. You can't just magically alter that after the fact |
| 2024-08-18 19:25:16 +0200 | <davean> | Inst: it is? I read the code ... I didn't even see template haskell in it. |
| 2024-08-18 19:25:32 +0200 | <davean> | c_wraith: in Haskell. |
| 2024-08-18 19:25:55 +0200 | <davean> | Lisps can :( Its our one weakness. (Well we can with template Haskell I suppose ... but no one does, thats insanity) |
| 2024-08-18 19:25:58 +0200 | <c_wraith> | true enough. I sort of left thta implied) |
| 2024-08-18 19:26:25 +0200 | <Inst> | derived instances |
| 2024-08-18 19:26:39 +0200 | <davean> | Inst: None of the instances on the paths you care about are derived. |
| 2024-08-18 19:26:54 +0200 | <Inst> | k, it's my fault |
| 2024-08-18 19:26:57 +0200 | <davean> | c_wraith: well my point here only is that it is a perfectly reasonable thing to want |
| 2024-08-18 19:27:20 +0200 | <ncf> | Inst: you should try to understand the simple version from the wiki first https://wiki.haskell.org/Memoization#Memoization_with_recursion |
| 2024-08-18 19:27:21 +0200 | <davean> | Inst: Make a new version of the fib function, and keep it to one instance of memoize |
| 2024-08-18 19:27:28 +0200 | <ncf> | no template haskell required |
| 2024-08-18 19:27:45 +0200 | <Inst> | i understand memoization in principle, as in |
| 2024-08-18 19:27:46 +0200 | <c_wraith> | I guess I could totally see a function that takes a DecQ and rewrites the recursive calls to go via a memoization wrapper instead |
| 2024-08-18 19:28:02 +0200 | <davean> | instance (Bounded a, Enum a) ⇒ Memoizable (Finite a) where is the instance set his stuff goes through |
| 2024-08-18 19:28:21 +0200 | <ncf> | your earlier snippet is evidence that you don't |
| 2024-08-18 19:28:25 +0200 | <davean> | c_wraith: Yep, and that would even be sane and supportable. |
| 2024-08-18 19:28:50 +0200 | <Inst> | term = 1:1:(\u -> term !! (u - 2) + term !! (u - 1) ) <$> [2..] |
| 2024-08-18 19:28:52 +0200 | <davean> | ncf: nah, if we were lisp and memoize was a macro, his earleir code would have been fine |
| 2024-08-18 19:29:09 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) (Ping timeout: 244 seconds) |
| 2024-08-18 19:29:13 +0200 | <c_wraith> | davean: until you start to think about mutual recursion, and... there's so much complexity hiding in that idea |
| 2024-08-18 19:29:15 +0200 | <davean> | ncf: this is less an issue with memoize, and more an issue with haskell not being magic enough |
| 2024-08-18 19:29:24 +0200 | <ncf> | notice how the fib helper calls memoized_fib, not fib |
| 2024-08-18 19:29:32 +0200 | <davean> | c_wraith: oh sure, you need to write an entire new structure with everything it touches. |
| 2024-08-18 19:29:35 +0200 | <Inst> | yeah, i saw |
| 2024-08-18 19:29:51 +0200 | <davean> | c_wraith: its a lot of code dup, but totally reasonable. |
| 2024-08-18 19:30:04 +0200 | <davean> | I'd not call the state pretty |
| 2024-08-18 19:30:28 +0200 | <ncf> | if you only memoise the "end result", you get a function that will (slowly) compute fib 42 once, and then return the result instantly when you ask for it again... but if you then ask for fib 41, it will compute that from scratch |
| 2024-08-18 19:30:47 +0200 | <Inst> | so fib 0 = 1; fib 1 = 1; fib n = memoize fib (n-1) + memoize fib (n-2) doesn't work? |
| 2024-08-18 19:30:49 +0200 | <davean> | Yep, this is why I was pointing out where it was used |
| 2024-08-18 19:30:51 +0200 | <Inst> | that doesn't seem to work in my usage |
| 2024-08-18 19:30:55 +0200 | <davean> | it doesn't "push down" the memoization |
| 2024-08-18 19:31:07 +0200 | <davean> | Inst: Thats *two* calls to memoize |
| 2024-08-18 19:31:07 +0200 | <ncf> | the problem with *that* version is that you lose sharing |
| 2024-08-18 19:31:15 +0200 | <davean> | Inst: so it'll work, but poorly. |
| 2024-08-18 19:31:24 +0200 | <ncf> | memoize works by creating a data structure which is shared between calls |
| 2024-08-18 19:31:58 +0200 | <ncf> | so the memoize call needs to be a top-level definition (or at least at the level at which you intend to use the memoised function) |
| 2024-08-18 19:32:32 +0200 | <Inst> | iirc from the sample code is seems memoize f = f <$> [someFiniteEnum] !! n |
| 2024-08-18 19:32:59 +0200 | <Inst> | ugh, forget it |
| 2024-08-18 19:32:59 +0200 | <davean> | Yep, consider what that does |
| 2024-08-18 19:33:02 +0200 | <davean> | fib 0 = 1; fib 1 = 1; fib n = memoize $ fib (n-1) + fib (n-2) |
| 2024-08-18 19:33:16 +0200 | <davean> | Thats closer - see how it wraps the entire calculation? |
| 2024-08-18 19:33:26 +0200 | <davean> | but thats just conceptually what you need |
| 2024-08-18 19:33:35 +0200 | <ncf> | that's not well-typed |
| 2024-08-18 19:33:40 +0200 | <davean> | I said CONCEPTUALLY |
| 2024-08-18 19:33:46 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 19:33:57 +0200 | <davean> | its trivial to make it well typed with a lambda |
| 2024-08-18 19:34:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 19:34:19 +0200 | <ncf> | you should have done that! |
| 2024-08-18 19:34:28 +0200 | <davean> | No I shouldn't have |
| 2024-08-18 19:34:42 +0200 | <davean> | I wanted it to be as close to his code as possible to show the issue |
| 2024-08-18 19:35:08 +0200 | <davean> | The correct code is a different thing than showing the issue |
| 2024-08-18 19:35:54 +0200 | <Inst> | it should be something like this |
| 2024-08-18 19:36:19 +0200 | <Inst> | fib n = memoize (\u -> fib (u -2) = fib (u - 1) ) n |
| 2024-08-18 19:36:21 +0200 | <Inst> | i think |
| 2024-08-18 19:36:23 +0200 | <davean> | fib = memoize $ \case { 0 -> 1; 1 -> 1; n -> fib (n-1) + fib (n-2); } |
| 2024-08-18 19:36:38 +0200 | <davean> | using a lambda case |
| 2024-08-18 19:36:41 +0200 | <Inst> | ah |
| 2024-08-18 19:36:55 +0200 | <davean> | Now, one could pull the 0 and 1 cases out |
| 2024-08-18 19:37:21 +0200 | <davean> | and not use a lambda case |
| 2024-08-18 19:37:34 +0200 | <davean> | and your 'n's well |
| 2024-08-18 19:37:44 +0200 | <davean> | fib = memoize (\u -> fib (u -2) = fib (u - 1) ) |
| 2024-08-18 19:37:46 +0200 | <davean> | is the same as you wrote |
| 2024-08-18 19:38:00 +0200 | <davean> | which, correcting your typos, with the 0 and 1 cases, would work. |
| 2024-08-18 19:38:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 19:38:08 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) |
| 2024-08-18 19:38:14 +0200 | <davean> | But you got there :) |
| 2024-08-18 19:38:34 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 19:38:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 19:39:37 +0200 | <davean> | How you write it is down to style. |
| 2024-08-18 19:39:49 +0200 | <davean> | Inst: up for talking about the fix version? |
| 2024-08-18 19:39:58 +0200 | <ncf> | that would not work |
| 2024-08-18 19:40:17 +0200 | <davean> | hum? |
| 2024-08-18 19:40:35 +0200 | <Inst> | yeah, sorry, still here |
| 2024-08-18 19:40:39 +0200 | <Inst> | and sorry on imposing |
| 2024-08-18 19:40:46 +0200 | <davean> | Inst: this is a channel for this sort of thing. |
| 2024-08-18 19:40:51 +0200 | <davean> | ncf: what do you mean? |
| 2024-08-18 19:40:52 +0200 | <Inst> | a bit tired |
| 2024-08-18 19:40:54 +0200 | <ncf> | if you add the 0 and 1 cases inside the lambda, you're back at Inst's first version. if you add them outside, you need to eta-expand so that all cases have the same number of arguments, and then you lose sharing |
| 2024-08-18 19:41:18 +0200 | <ncf> | davean: i guess you can write down the exact code you're thinking of and we can check if it works |
| 2024-08-18 19:41:19 +0200 | <davean> | ncf: we're not back at Inst's first version? |
| 2024-08-18 19:41:32 +0200 | <ncf> | oh you're right my bad |
| 2024-08-18 19:41:41 +0200 | <davean> | I did write the code down |
| 2024-08-18 19:41:45 +0200 | <davean> | for the lambdacase version |
| 2024-08-18 19:41:54 +0200 | <ncf> | yeah that version is fine |
| 2024-08-18 19:42:44 +0200 | <Inst> | i mean i'm too tired to continue, was waiting for assistance for a bit |
| 2024-08-18 19:42:45 +0200 | <davean> | as for the sharing, I wasn't going to get into it, but I'm not sure if the conditional above the binary search trees, or more uniform code by having 0 and 1 in the binary search tree is faster, but its just a matter of performance. |
| 2024-08-18 19:43:31 +0200 | <davean> | You don't need to share the 0 and 1 cases, and its a VERY microoptimization on if you should or not, that will depend on your processors speculation, etc. |
| 2024-08-18 19:43:59 +0200 | <davean> | Inst: well then, I'll just sketch it up for you to contemplate later |
| 2024-08-18 19:44:08 +0200 | <Inst> | thanks for being so nice |
| 2024-08-18 19:44:49 +0200 | <Inst> | i'm just weirded out though |
| 2024-08-18 19:44:56 +0200 | <Inst> | maybe it's the problem with O0 |
| 2024-08-18 19:45:06 +0200 | <davean> | memoFix (\fib -> \case { 0 -> 1; 1 -> 1; n -> fib (n-1) + fib (n-2); }) |
| 2024-08-18 19:45:38 +0200 | <davean> | let fib = memoFix (\fib' -> \case { 0 -> 1; 1 -> 1; n -> fib' (n-1) + fib' (n-2); }) |
| 2024-08-18 19:45:54 +0200 | <davean> | I should write it so it doesn't trip you up :) |
| 2024-08-18 19:45:55 +0200 | <ncf> | davean: by that i meant that fib n = memoize (\u -> fib (u - 2) + fib (u - 1)) n will not work, because the call to memoize is not shared |
| 2024-08-18 19:46:05 +0200 | <Inst> | fib u = memoize (\v -> case v of; 0 -> 1; 1 -> 1; n -> fib (n - 1) + fib (n - 2) ) u |
| 2024-08-18 19:46:34 +0200 | <Inst> | no visible performance improvement here, which is weird |
| 2024-08-18 19:46:48 +0200 | <ncf> | yeah that's what i'm saying |
| 2024-08-18 19:47:02 +0200 | <davean> | ncf: ah yes, you're right, I got too focused on keeping it close to their code |
| 2024-08-18 19:47:10 +0200 | <ncf> | it might work if you define it in a where block, if the compiler is smart enough to lambda-lift it (which i think it is?) |
| 2024-08-18 19:47:17 +0200 | <Inst> | but the lambda case version works |
| 2024-08-18 19:47:24 +0200 | <Inst> | fib = memoize $ \case {...} |
| 2024-08-18 19:47:48 +0200 | <davean> | Yah, I was thinking in the lambda case version :( |
| 2024-08-18 19:47:53 +0200 | <davean> | Because lambda case is pretty |
| 2024-08-18 19:48:21 +0200 | <ncf> | seems like it isn't: fib n = go n where go = memoize (\u -> fib (u - 2) + fib (u - 1)) doesn't work |
| 2024-08-18 19:48:32 +0200 | <ncf> | at least in ghci |
| 2024-08-18 19:49:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-18 19:50:19 +0200 | <ncf> | i mean let-float it or whatever |
| 2024-08-18 19:50:38 +0200 | <ncf> | as in remove the vacuous dependency on n |
| 2024-08-18 19:50:51 +0200 | <davean> | Yah, -O0 interacts weird. This is also how profiling can change code flow :( |
| 2024-08-18 19:52:14 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) |
| 2024-08-18 19:55:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: sndvkjsk) |
| 2024-08-18 20:01:49 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-08-18 20:04:58 +0200 | <geekosaur> | there's a hidden option in 9.8/9.10 that might allow it to work (-fno-unoptimized-bytecode-for-interpreter) |
| 2024-08-18 20:05:04 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-08-18 20:06:41 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb28316c3495bdea7799.dip0.t-ipconnect.de) |
| 2024-08-18 20:10:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-18 20:12:09 +0200 | <davean> | Yah its better to write it so it doesn't need it ideally ... but yes, good chance that would help. |
| 2024-08-18 20:14:20 +0200 | hueso | (~root@user/hueso) |
| 2024-08-18 20:16:35 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-18 20:19:39 +0200 | <monochrom> | My https://www.vex.net/~trebla/haskell/fix.xhtml explains how to use fix or turn your direct recursion into using fix. Then you just s/fix/memoFix/ |
| 2024-08-18 20:19:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-18 20:20:29 +0200 | euleritian | (~euleritia@dynamic-176-006-139-095.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-18 20:20:34 +0200 | <monochrom> | More broadly there is a whole idea called "open recursion" that covers this and generally boasts how extensible it is. |
| 2024-08-18 20:20:35 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) |
| 2024-08-18 20:20:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 20:21:35 +0200 | <monochrom> | For example, in class-based OOP, a class that can be subclassed is an open recursion in types. Here, "open" = "extensible". |
| 2024-08-18 20:22:02 +0200 | <monochrom> | or perhaps s/types/type templates/ |
| 2024-08-18 20:29:15 +0200 | <monochrom> | My https://www.vex.net/~trebla/tmp/Loeb.hs connects memoFix with the löb combinator by noting that the data structure is a representable functor. :) |
| 2024-08-18 20:30:59 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-08-18 20:34:54 +0200 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2024-08-18 20:35:50 +0200 | <Inst> | cool, 9.10 is out |
| 2024-08-18 20:38:28 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-18 20:39:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-18 20:40:21 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-18 20:42:22 +0200 | naxx | (~brandt@177.191-pool-nas4-sc.sccoast.net) |
| 2024-08-18 20:46:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-18 20:46:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-18 20:46:46 +0200 | eldritch | (anderson@user/eldritch) |
| 2024-08-18 20:54:06 +0200 | tt12310978324 | (~tt1231@syn-075-185-104-199.res.spectrum.com) |
| 2024-08-18 20:55:55 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-08-18 20:57:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-18 21:00:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-18 21:03:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-18 21:11:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-18 21:16:25 +0200 | raym | (~ray@user/raym) |
| 2024-08-18 21:20:32 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-18 21:21:02 +0200 | tt123109783243 | (~tt1231@syn-075-185-104-199.res.spectrum.com) |
| 2024-08-18 21:21:47 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-18 21:24:04 +0200 | tt12310978324 | (~tt1231@syn-075-185-104-199.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-18 21:24:05 +0200 | tt123109783243 | tt12310978324 |
| 2024-08-18 21:24:57 +0200 | spew | (~spew@201.141.102.132) (Client Quit) |
| 2024-08-18 21:25:55 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-18 21:34:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-18 21:40:19 +0200 | SpectacledParrot | (~user@2600:6c44:777f:76d2:cf91:78ff:416a:d288) |
| 2024-08-18 21:41:42 +0200 | SpectacledParrot | (~user@2600:6c44:777f:76d2:cf91:78ff:416a:d288) (Client Quit) |
| 2024-08-18 21:44:24 +0200 | CommonParrotBear | (~user@2600:6c44:777f:76d2:cf91:78ff:416a:d288) |
| 2024-08-18 21:45:21 +0200 | CommonParrotBear | (~user@2600:6c44:777f:76d2:cf91:78ff:416a:d288) (Client Quit) |
| 2024-08-18 21:47:26 +0200 | Achylles | (~Achylles@45.182.57.14) |
| 2024-08-18 21:57:31 +0200 | CommonParrotBear | (45ce440a48@user/CommonParrotBear) |
| 2024-08-18 22:04:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-18 22:08:43 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-08-18 22:11:20 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 2024-08-18 22:13:42 +0200 | Achylles | (~Achylles@45.182.57.14) (Quit: Leaving) |
| 2024-08-18 22:20:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-18 22:46:08 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-18 22:48:45 +0200 | mikess | (~mikess@user/mikess) |
| 2024-08-18 22:56:05 +0200 | troojg | (~troojg@user/troojg) |
| 2024-08-18 22:56:38 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-08-18 23:04:00 +0200 | neuroevolutus | (~neuroevol@146.70.211.24) |
| 2024-08-18 23:10:44 +0200 | liamzy__ | (~Inst@user/Inst) |
| 2024-08-18 23:13:25 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 2024-08-18 23:25:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-18 23:28:53 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-18 23:34:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-08-18 23:35:16 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-08-18 23:42:01 +0200 | neuroevolutus | (~neuroevol@146.70.211.24) (Ping timeout: 256 seconds) |
| 2024-08-18 23:42:48 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-08-18 23:46:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-18 23:55:39 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-18 23:57:03 +0200 | ash3en | (~Thunderbi@2a02:3100:8222:c400:df81:d984:821:d123) (Quit: ash3en) |