Newest at the top
| 2025-12-03 23:59:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-03 23:58:58 +0100 | <TMA> | due to the vagaries of the English language/of English, nearly every word can be a noun, a verb and an adjective simultaneously. For some words there are some preferences to using certain alternatives in certain functions. Those are the vestiges of the past, when the current rules in the rule book did not rule. |
| 2025-12-03 23:53:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:49:36 +0100 | Googulator90 | Googulator |
| 2025-12-03 23:46:23 +0100 | <monochrom> | Summative, Productive >:) |
| 2025-12-03 23:45:31 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-12-03 23:44:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-03 23:41:48 +0100 | <Leary> | I wanted adjectives, so I didn't reuse `Sum` and `Product`. |
| 2025-12-03 23:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 23:41:08 +0100 | <Leary> | lucabtz: Yeah. |
| 2025-12-03 23:38:25 +0100 | <monochrom> | Sum and Product are the newtype wrappers. |
| 2025-12-03 23:37:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:35:49 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 23:35:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 23:34:06 +0100 | <EvanR> | (actually is * commutative) |
| 2025-12-03 23:33:35 +0100 | <EvanR> | + is required to be commutative and * is not. Good, so floating point can play xD |
| 2025-12-03 23:27:07 +0100 | <haskellbridge> | <lucabtz> Additive and Multiplicative are just newtype wrappers? |
| 2025-12-03 23:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 23:25:44 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-03 23:24:15 +0100 | <Leary> | Yeah, it originally did, that's why it follows the class dec. I removed it for some reason, lost to time. |
| 2025-12-03 23:23:00 +0100 | <haskellbridge> | <lucabtz> Maybe in + I would require commutative too though |
| 2025-12-03 23:22:27 +0100 | ZLima12_ | ZLima12 |
| 2025-12-03 23:21:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:17:34 +0100 | <monochrom> | :) |
| 2025-12-03 23:10:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-03 23:09:16 +0100 | <haskellbridge> | <lucabtz> Leary yeah looks great |
| 2025-12-03 23:05:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 23:05:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:05:34 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 23:05:19 +0100 | X-Scale | (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-03 23:04:01 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-03 23:02:24 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 260 seconds) |
| 2025-12-03 23:01:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 22:59:49 +0100 | <Leary> | lucabtz: You might be interested in these, which I wrote forever ago: https://paste.tomsmeding.com/eQbuVoyR |
| 2025-12-03 22:57:54 +0100 | <EvanR> | seems to work for them |
| 2025-12-03 22:57:46 +0100 | <EvanR> | but this class basically mirrors the idris version of Num |
| 2025-12-03 22:57:43 +0100 | <haskellbridge> | <lucabtz> I'm typing from the phone :p |
| 2025-12-03 22:57:41 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-03 22:57:23 +0100 | <EvanR> | one :: 0 |
| 2025-12-03 22:56:57 +0100 | <haskellbridge> | <lucabtz> Doesn't use phantom types, but still connects Monoid to Additive and Multiplicative |
| 2025-12-03 22:56:26 +0100 | <haskellbridge> | <lucabtz> would this work |
| 2025-12-03 22:56:21 +0100 | <haskellbridge> | <lucabtz> https://paste.tomsmeding.com/2X4DbihK |
| 2025-12-03 22:56:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 22:51:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 22:49:12 +0100 | <EvanR> | also answers what fromInteger does |
| 2025-12-03 22:48:54 +0100 | <EvanR> | by producing nonsense when you mess up |
| 2025-12-03 22:48:39 +0100 | <EvanR> | now it's not partial and fails on you just like untyped languages |
| 2025-12-03 22:47:57 +0100 | <EvanR> | compute the answers lazily, fits any finite use case |
| 2025-12-03 22:47:38 +0100 | <EvanR> | to simplify the "untyped matrix" thing, make it an infinite grid with cell 0 0 at the center |
| 2025-12-03 22:44:51 +0100 | <EvanR> | xD |