Newest at the top
2025-06-08 09:07:04 +0200 | <yabobay> | so it creates f x : acc, and if i just wanted to take the first 3 elements it would just do those and acc would be left unsolved? |
2025-06-08 09:04:19 +0200 | <ski> | and only if `f' forces its second argument, will the recursive call actually happen |
2025-06-08 09:03:52 +0200 | <ski> | `f' is given control first, not the recursive call (giving the "previous result", for the tail, conceptually having processed from the end) |
2025-06-08 09:03:46 +0200 | <ski> | if Haskell would be a strict language, it would (operationally) start from the end. it still "conceptually" starts from the end (just like `foldl' conceptually (and operationally) starts at the beginning). but because of non-strictness (typically implemented by laziness, call-by-need), it *operationally* will start "outermost" in `f x (foldr f z xs)' (from `foldr f z (x:xs) = f x (foldr f z xs)'), so that |
2025-06-08 09:02:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 09:01:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 09:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-08 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-08 08:57:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:57:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:54:02 +0200 | <yabobay> | hold on, nevermind. i thought foldr started at the end. oops. |
2025-06-08 08:52:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:52:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:51:54 +0200 | <yabobay> | i'm reading 'learn you a haskell', and it demonstrates foldr by showing you this map implementation: `map' f xs = foldr (\x acc -> f x : acc) [] xs`. doesn't this fail at being lazy? if you wanna `take 3` off of a list like this for example |
2025-06-08 08:50:55 +0200 | yabobay | (~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) yabobay |
2025-06-08 08:47:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:47:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-08 08:43:31 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-06-08 08:41:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:41:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:36:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:35:58 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-08 08:32:32 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-06-08 08:30:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:30:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:25:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:20:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:20:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:14:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:14:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:09:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-08 08:07:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:07:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:06:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 276 seconds) |
2025-06-08 08:05:38 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
2025-06-08 08:02:47 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-06-08 08:02:47 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-06-08 08:02:47 +0200 | tavare | (~tavare@150.129.88.189) |
2025-06-08 08:01:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 08:01:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 08:00:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-08 07:58:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 07:58:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-08 07:58:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 07:53:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-08 07:53:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-08 07:53:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-08 07:49:27 +0200 | Guest65 | (~Guest65@2400:4050:c763:c200:98e:a5c3:f619:ae04) (Ping timeout: 272 seconds) |