Newest at the top
| 2024-11-13 00:47:36 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-13 00:42:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 00:35:37 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-13 00:31:31 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-13 00:31:29 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-13 00:29:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-13 00:20:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-11-13 00:19:33 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f33a143196b11e5c3bb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-13 00:10:53 +0100 | Everything | (~Everythin@178-133-145-205.mobile.vf-ua.net) Everything |
| 2024-11-13 00:08:29 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2024-11-13 00:06:21 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.4.2) |
| 2024-11-13 00:06:12 +0100 | falafel | (~falafel@2600:1700:99f4:2050:7dd6:87c8:aed5:b9e5) (Ping timeout: 252 seconds) |
| 2024-11-13 00:03:13 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2024-11-12 23:55:14 +0100 | emfrom | (~emfrom@37.168.21.200) (Remote host closed the connection) |
| 2024-11-12 23:53:37 +0100 | jess | (meow@libera/staff/cat/jess) jess |
| 2024-11-12 23:52:02 +0100 | jess | (meow@libera/staff/cat/jess) (Remote host closed the connection) |
| 2024-11-12 23:51:01 +0100 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 248 seconds) |
| 2024-11-12 23:50:27 +0100 | <haskellbridge> | <zwro> although i would love for that feature in the language |
| 2024-11-12 23:49:33 +0100 | <haskellbridge> | <zwro> i think it's good that you need to be explicit about your intentions in this case |
| 2024-11-12 23:49:08 +0100 | pounce | (~pounce@user/cute/pounce) pounce |
| 2024-11-12 23:48:53 +0100 | pounce | (~pounce@user/cute/pounce) (Read error: Connection reset by peer) |
| 2024-11-12 23:48:45 +0100 | <haskellbridge> | <zwro> ghc doesn't optimize that aggressively because that "memoization" is a tradeof of space for speed |
| 2024-11-12 23:43:12 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-11-12 23:36:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-12 23:33:56 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-11-12 23:29:13 +0100 | pera | (~pera@user/pera) (Quit: Lost terminal) |
| 2024-11-12 23:20:56 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f33a143196b11e5c3bb.dip0.t-ipconnect.de) acidjnk |
| 2024-11-12 23:19:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-12 23:18:15 +0100 | liamzy__ | Inst |
| 2024-11-12 23:16:38 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f33dd403172660d4408.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-12 23:14:42 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2024-11-12 23:09:26 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-12 23:04:16 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-11-12 23:03:49 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-12 23:03:11 +0100 | falafel | (~falafel@2600:1700:99f4:2050:7dd6:87c8:aed5:b9e5) falafel |
| 2024-11-12 23:02:12 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-11-12 22:59:56 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-12 22:59:43 +0100 | Everything | (~Everythin@94.153.19.2) (Ping timeout: 244 seconds) |
| 2024-11-12 22:58:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-12 22:52:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-12 22:51:50 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) ubert |
| 2024-11-12 22:46:54 +0100 | <probie> | You need to somehow make the argument to `m` depend on an input to the function, otherwise GHC will float `m 1` out, since it doesn't change between calls |
| 2024-11-12 22:43:46 +0100 | <probie> | yin: If I understand what you want, I think you can do something silly like https://play.haskell.org/saved/IVYdjkap |
| 2024-11-12 22:43:21 +0100 | <geekosaur> | not without adding explicit memoization |
| 2024-11-12 22:34:44 +0100 | Everything | (~Everythin@94.153.19.2) Everything |
| 2024-11-12 22:34:38 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-12 22:31:00 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2024-11-12 22:30:45 +0100 | <yin> | is there any way to tell GHC to only run it once for each input? |
| 2024-11-12 22:29:56 +0100 | <yin> | if i substitute `(mod k 2)` for `1` in the last line, it only runs m once |
| 2024-11-12 22:29:32 +0100 | <yin> | back to my previous exercise (which is not too far from this topic): https://paste.jrvieira.com/1731429650053 |