Newest at the top
| 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 |
| 2025-02-12 04:08:01 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2025-02-12 04:05:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-12 04:03:43 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-12 04:01:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-12 03:59:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-12 03:56:43 +0100 | ColinRobinson | JuanDaugherty |
| 2025-02-12 03:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 03:44:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-12 03:44:37 +0100 | remmie | (ianremsen@tilde.team) remsense |
| 2025-02-12 03:40:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 03:37:43 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-12 03:28:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-12 03:25:17 +0100 | lol_ | jcarpenter2 |
| 2025-02-12 03:24:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 03:16:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-12 03:13:29 +0100 | remmie | (ianremsen@tilde.team) (Ping timeout: 260 seconds) |