Newest at the top
| 2025-02-12 04:48:42 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-12 04:48:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:48:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-12 04:46:40 +0100 | <zungi> | xo'o |
| 2025-02-12 04:46:23 +0100 | <zungi> | Thank God. |
| 2025-02-12 04:46:11 +0100 | <lambdabot> | 19 |
| 2025-02-12 04:46:09 +0100 | <zungi> | > 9 + 10 |
| 2025-02-12 04:45:22 +0100 | <lambdabot> | Just 2 |
| 2025-02-12 04:45:21 +0100 | <hololeap> | > Just 2 <* Just 3 |
| 2025-02-12 04:45:13 +0100 | <lambdabot> | Just 3 |
| 2025-02-12 04:45:11 +0100 | <hololeap> | > Just 2 *> Just 3 |
| 2025-02-12 04:44:46 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-12 04:42:09 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-12 04:39:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-12 04:37:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-12 04:33:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:30:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-12 04:27:47 +0100 | <albet70> | *> is and operator in python |
| 2025-02-12 04:27:47 +0100 | lockywolf | (~lockywolf@213.165.252.237) lockywolf |
| 2025-02-12 04:27:12 +0100 | <lambdabot> | Nothing |
| 2025-02-12 04:27:10 +0100 | <albet70> | > Just 3 *> Nothing |
| 2025-02-12 04:26:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:24:28 +0100 | <albet70> | wrong |
| 2025-02-12 04:24:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-12 04:24:16 +0100 | <albet70> | f Nothing (Just 3) == Just 3 |
| 2025-02-12 04:23:52 +0100 | <albet70> | forgot opposite, my bad English |
| 2025-02-12 04:23:27 +0100 | <monochrom> | I don't know what opposite means. Can you show all 4 cases? |
| 2025-02-12 04:22:10 +0100 | <albet70> | f Just1 Just2 == Just2 |
| 2025-02-12 04:21:53 +0100 | <albet70> | f Just 3 Nothing== Nothing |
| 2025-02-12 04:21:39 +0100 | <albet70> | what's the opposite of <|>? f Nothing Just 3 == Nothing |
| 2025-02-12 04:21:23 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-12 04:19:36 +0100 | <albet70> | haha |
| 2025-02-12 04:17:58 +0100 | <monochrom> | That theory can hold up for a little while until you have Python "my_list or my_number" and then suddenly Haskell "my_list <|> my_number" is a type error. |
| 2025-02-12 04:16:18 +0100 | <jackdk> | Depending on whether you want to consider two items or several, you can use `asum` instead of repeated applications of `(<|>)` |
| 2025-02-12 04:15:34 +0100 | <albet70> | aha, python or operator is Haskell's<|> |
| 2025-02-12 04:15:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-12 04:15:02 +0100 | <lambdabot> | Nothing |
| 2025-02-12 04:15:00 +0100 | <albet70> | > Nothing <|> Nothing |
| 2025-02-12 04:14:32 +0100 | <monochrom> | I think that's what you want. |
| 2025-02-12 04:14:25 +0100 | <lambdabot> | Just 5 |
| 2025-02-12 04:14:23 +0100 | <monochrom> | > Nothing <|> Just 5 |
| 2025-02-12 04:14:17 +0100 | <lambdabot> | Just 3 |
| 2025-02-12 04:14:16 +0100 | <monochrom> | > Just 3 <|> Nothing |
| 2025-02-12 04:13:23 +0100 | <lambdabot> | Foldable t => t Bool -> Bool |
| 2025-02-12 04:13:22 +0100 | <albet70> | :t or |
| 2025-02-12 04:12:51 +0100 | <albet70> | f Nothing Nothing == Nothing |
| 2025-02-12 04:12:41 +0100 | <albet70> | f Nothing (Just 3) == Just 3 |
| 2025-02-12 04:12:25 +0100 | <albet70> | what's the function name that return the first no-failed value, like f Just 3 Nothing == Just 3 |
| 2025-02-12 04:10:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 04:08:45 +0100 | JuanDaugherty | ColinRobinson |