Newest at the top
| 2025-12-15 21:00:54 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 21:00:40 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-15 20:57:40 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:57:25 +0100 | <monochrom> | haha |
| 2025-12-15 20:57:20 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 20:56:51 +0100 | <int-e> | monochrom: I'm all for short term rewards as well. |
| 2025-12-15 20:56:28 +0100 | <lambdabot> | Just 2 |
| 2025-12-15 20:56:28 +0100 | <monochrom> | When I teach a language course, my excuse for saying "term" for "expression" is: "term" is shorter. :) |
| 2025-12-15 20:56:27 +0100 | <int-e> | > (do return 1; return 2) :: Maybe Int |
| 2025-12-15 20:55:49 +0100 | <monochrom> | Yeah I like shorter too. :) |
| 2025-12-15 20:55:37 +0100 | <int-e> | chromoblob: `pure` is shorter and doesn't have the misleading imperative programming connotations that `return` has. |
| 2025-12-15 20:55:16 +0100 | <monochrom> | I just installed a new device driver in my head. :) |
| 2025-12-15 20:54:43 +0100 | <int-e> | it only took a decade to retrain myself to actually use `pure`. |
| 2025-12-15 20:54:20 +0100 | <monochrom> | We like the name "pure" more. :) |
| 2025-12-15 20:53:35 +0100 | <chromoblob> | why not `return` |
| 2025-12-15 20:43:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 20:43:37 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-15 20:42:54 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:42:34 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 20:41:23 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-12-15 20:35:09 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-15 20:33:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-12-15 20:32:15 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-15 20:30:33 +0100 | aku | (aku@65.108.245.241) eagleflo |
| 2025-12-15 20:29:15 +0100 | aku | (aku@65.108.245.241) (Quit: Lost terminal) |
| 2025-12-15 20:28:25 +0100 | <milan2> | Yeah I am looking at that right now :) |
| 2025-12-15 20:28:11 +0100 | <gentauro> | https://hackage-content.haskell.org/package/ghc-9.12.2/docs/src/GHC.Data.Maybe.html#rightToMaybe |
| 2025-12-15 20:27:18 +0100 | <gentauro> | milan2: This is actually the right signature to search for -> https://hoogle.haskell.org/?hoogle=Either%20a%20b%20-%3E%20Maybe%20b `Either a b -> Maybe b` |
| 2025-12-15 20:27:18 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-15 20:27:01 +0100 | <lambdabot> | MonadFail m => Either a b -> m b |
| 2025-12-15 20:27:00 +0100 | <int-e> | :t \e -> do Right a <- pure e; pure a |
| 2025-12-15 20:26:26 +0100 | <milan2> | gentauro: TY, I didn't know I can search by type signature. Thank you int-e :) |
| 2025-12-15 20:25:45 +0100 | <lambdabot> | [Either a b] -> [b] |
| 2025-12-15 20:25:44 +0100 | <gentauro> | :t rights |
| 2025-12-15 20:25:27 +0100 | <gentauro> | int-e: and you only rely on `base`. That's nice :) |
| 2025-12-15 20:25:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-15 20:25:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-15 20:24:29 +0100 | <int-e> | (very intuitive ;-) ) |
| 2025-12-15 20:24:06 +0100 | <lambdabot> | Either a1 a2 -> Maybe a2 |
| 2025-12-15 20:24:05 +0100 | <int-e> | :t listToMaybe . rights . pure |
| 2025-12-15 20:23:17 +0100 | <gentauro> | milan2: I don't know about operators, but, Hoogle is your friend ;) `https://hoogle.haskell.org/?hoogle=Either%20a%20b%20-%3E%20Maybe%20a` |
| 2025-12-15 20:20:29 +0100 | <milan2> | Hello is there something like >>= but for different types? I have "Either" and I want to chain it with "Maybe" so Left goes to Nothing and Right to Just? |
| 2025-12-15 20:19:31 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-15 20:18:05 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-15 20:16:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 20:15:43 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:04:21 +0100 | latticepolytope | (~user@user/isekaijin) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-12-15 19:55:58 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-15 19:43:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-15 19:19:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |