Newest at the top
2025-02-28 22:32:35 +0100 | k_hachig_ | (~k_hachig@138-51-74-124-lsn-2.nat.utoronto.ca) k_hachig |
2025-02-28 22:27:24 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) |
2025-02-28 22:27:07 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed) |
2025-02-28 22:16:13 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 245 seconds) |
2025-02-28 22:15:49 +0100 | sprotte24 | (~sprotte24@p200300d16f44db00402a6a5cf9d1162b.dip0.t-ipconnect.de) |
2025-02-28 22:12:43 +0100 | sprotte24 | (~sprotte24@p200300d16f44db00e82c8bd776d1241a.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-02-28 22:10:29 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds) |
2025-02-28 22:09:42 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 252 seconds) |
2025-02-28 22:07:24 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
2025-02-28 22:06:36 +0100 | k_hachig_ | (~k_hachig@138-51-74-124-lsn-2.nat.utoronto.ca) (Ping timeout: 272 seconds) |
2025-02-28 22:05:41 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
2025-02-28 22:05:06 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-02-28 22:02:54 +0100 | kimiamania8 | (~65804703@user/kimiamania) kimiamania |
2025-02-28 22:02:30 +0100 | kimiamania8 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2025-02-28 22:01:47 +0100 | k_hachig_ | (~k_hachig@138-51-74-124-lsn-2.nat.utoronto.ca) k_hachig |
2025-02-28 22:00:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-02-28 21:59:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-02-28 21:56:52 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
2025-02-28 21:55:23 +0100 | <danso> | it seems a useful pattern |
2025-02-28 21:54:59 +0100 | jmcantrell_ | jmcantrell |
2025-02-28 21:54:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
2025-02-28 21:54:56 +0100 | <danso> | "disjunction monoids"? idk |
2025-02-28 21:52:40 +0100 | <ncf> | your `choose_str str1 str2 = if null str1 then str2 else str1` is an example of that, but that's not the usual list monoid |
2025-02-28 21:52:21 +0100 | <ncf> | those are free monoids on left zero semigroups |
2025-02-28 21:52:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-02-28 21:51:17 +0100 | <tomsmeding> | I've never heard a name specifically for those _kinds_ of monoids |
2025-02-28 21:50:48 +0100 | <danso> | tomsmeding, First is what i'm talking about for Maybe, but it won't generalise to [] or whatever |
2025-02-28 21:50:08 +0100 | <tomsmeding> | takes the first result of a bunch of Maybes |
2025-02-28 21:50:02 +0100 | k_hachig_ | (~k_hachig@138-51-74-124-lsn-2.nat.utoronto.ca) (Ping timeout: 244 seconds) |
2025-02-28 21:49:51 +0100 | <tomsmeding> | danso: the First monoid exists |
2025-02-28 21:49:45 +0100 | <Rembane> | Oh |
2025-02-28 21:49:38 +0100 | <tomsmeding> | it requires a Maybe otherwise it's not a monoid, just a semigroup |
2025-02-28 21:49:31 +0100 | <lambdabot> | First {getFirst = Just 2} |
2025-02-28 21:49:30 +0100 | <tomsmeding> | > First (Just 2) <> First (Just 3) |
2025-02-28 21:49:27 +0100 | <Rembane> | Meh |
2025-02-28 21:49:26 +0100 | <danso> | but i guess it's pretty hard to nail down exactly what they are |
2025-02-28 21:49:25 +0100 | <lambdabot> | • In the first argument of ‘First’, namely ‘'a'’ |
2025-02-28 21:49:25 +0100 | <lambdabot> | • Couldn't match expected type ‘Maybe a’ with actual type ‘Char’ |
2025-02-28 21:49:25 +0100 | <lambdabot> | error: |
2025-02-28 21:49:24 +0100 | <Rembane> | > First 'a' <> First 'b' |
2025-02-28 21:49:18 +0100 | <lambdabot> | No module named ‘Data.Semigroup’ is imported.error: |
2025-02-28 21:49:18 +0100 | <lambdabot> | Not in scope: data constructor ‘Data.Semigroup.First’ |
2025-02-28 21:49:18 +0100 | <lambdabot> | error: |
2025-02-28 21:49:17 +0100 | <tomsmeding> | > Data.Semigroup.First 2 <> Data.Semigroup.First 3 |
2025-02-28 21:49:03 +0100 | <danso> | i was hoping somebody had given names to these patterns ("combining"/"first") |
2025-02-28 21:48:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-02-28 21:48:47 +0100 | <lambdabot> | • In the expression: e_123 |
2025-02-28 21:48:47 +0100 | <lambdabot> | • No instance for (Num (Maybe ())) arising from a use of ‘e_123’ |
2025-02-28 21:48:47 +0100 | <lambdabot> | error: |
2025-02-28 21:48:45 +0100 | <tomsmeding> | > First 2 <> First 3 |