Newest at the top
| 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 |
| 2024-11-12 22:15:33 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-11-12 22:14:16 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 252 seconds) |
| 2024-11-12 22:12:25 +0100 | divya | (~user@139.5.11.223) (Remote host closed the connection) |
| 2024-11-12 22:04:59 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-11-12 22:04:37 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2024-11-12 21:58:08 +0100 | KicksonButt | (~quassel@187.21.174.221) (Ping timeout: 252 seconds) |
| 2024-11-12 21:52:57 +0100 | emfrom | (~emfrom@37.168.21.200) |
| 2024-11-12 21:39:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-11-12 21:37:24 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-11-12 21:36:14 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-12 21:35:43 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-12 21:29:20 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-12 21:26:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-12 21:25:32 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-12 21:22:10 +0100 | pera | (~pera@user/pera) pera |
| 2024-11-12 21:21:46 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |