Newest at the top
2025-03-19 23:16:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-19 23:14:24 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2025-03-19 23:12:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-19 23:11:16 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
2025-03-19 23:10:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-19 23:05:57 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 268 seconds) |
2025-03-19 23:05:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-03-19 23:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-19 23:01:51 +0100 | user363627 | (~user@user/user363627) user363627 |
2025-03-19 23:00:34 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-03-19 22:59:40 +0100 | tromp | (~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-19 22:55:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-03-19 22:55:42 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0) |
2025-03-19 22:55:05 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
2025-03-19 22:54:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-19 22:53:02 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c1b9:805:b7a6:91b1) (Read error: Connection reset by peer) |
2025-03-19 22:52:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-19 22:52:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-03-19 22:50:38 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Client Quit) |
2025-03-19 22:50:11 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-19 22:49:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-19 22:43:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-19 22:39:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-19 22:38:49 +0100 | <tomsmeding> | INTERCAL vibes, except "unsafe" makes your code faster |
2025-03-19 22:37:44 +0100 | <EvanR> | xD |
2025-03-19 22:37:28 +0100 | <EvanR> | unsafe stages in the processing are faster! |
2025-03-19 22:37:12 +0100 | <EvanR> | it does look like a rewritable thing as is |
2025-03-19 22:36:47 +0100 | <tomsmeding> | perhaps people have rewrite RULES on Data.List.scanr and delegating to that preserves the RULES' effect? |
2025-03-19 22:36:14 +0100 | <EvanR> | and would be checked by the compiler |
2025-03-19 22:36:05 +0100 | <EvanR> | the API is safe because of an invisible proof about the implementation, but if it was written slightly different the proof would not be invisible |
2025-03-19 22:35:53 +0100 | <[exa]> | tomsmeding: the ox arrays look cool thanks |
2025-03-19 22:35:28 +0100 | <tomsmeding> | if they aren't, then who _are_ they useful for |
2025-03-19 22:35:12 +0100 | <[exa]> | the tail&head warnings are not super useful for newbies tbh |
2025-03-19 22:35:08 +0100 | <EvanR> | but performance |
2025-03-19 22:34:59 +0100 | <EvanR> | I was hoping it would just write scanr without doing that |
2025-03-19 22:34:35 +0100 | <tomsmeding> | it's the premise of ST |
2025-03-19 22:34:29 +0100 | <tomsmeding> | but it's encapsulated in a safe API, much of FP is like that |
2025-03-19 22:34:21 +0100 | <EvanR> | but I guess we don't need to know that |
2025-03-19 22:34:16 +0100 | <EvanR> | which crashes on an empty list xD |
2025-03-19 22:34:10 +0100 | <EvanR> | the code for scanr internally does fromList |
2025-03-19 22:33:20 +0100 | <tomsmeding> | okay that works |
2025-03-19 22:33:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-19 22:33:11 +0100 | <tomsmeding> | yep, nice |
2025-03-19 22:33:10 +0100 | <EvanR> | I guess |
2025-03-19 22:33:07 +0100 | <EvanR> | tail :: NonEmpty a -> [a] |
2025-03-19 22:33:06 +0100 | <tomsmeding> | ah! |
2025-03-19 22:33:03 +0100 | <EvanR> | and then |
2025-03-19 22:32:32 +0100 | <haskellbridge> | <Jade> "Data.List.NonEmpty" has "scanr :: Foldable f => (a -> b -> b) -> b -> f a -> NonEmpty b" |
2025-03-19 22:32:02 +0100 | <EvanR> | scanr :: Foldable f => (a -> b -> b) -> b -> f a -> NonEmpty b |
2025-03-19 22:31:44 +0100 | <tomsmeding> | this is sometimes called prescanr, but Data.List doesn't have it |