Logs: liberachat/#haskell
| 2025-12-03 21:56:21 | <haskellbridge> | <lucabtz> https://paste.tomsmeding.com/2X4DbihK |
| 2025-12-03 21:56:26 | <haskellbridge> | <lucabtz> would this work |
| 2025-12-03 21:56:57 | <haskellbridge> | <lucabtz> Doesn't use phantom types, but still connects Monoid to Additive and Multiplicative |
| 2025-12-03 21:57:23 | <EvanR> | one :: 0 |
| 2025-12-03 21:57:41 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-03 21:57:43 | <haskellbridge> | <lucabtz> I'm typing from the phone :p |
| 2025-12-03 21:57:46 | <EvanR> | but this class basically mirrors the idris version of Num |
| 2025-12-03 21:57:54 | <EvanR> | seems to work for them |
| 2025-12-03 21:59:49 | <Leary> | lucabtz: You might be interested in these, which I wrote forever ago: https://paste.tomsmeding.com/eQbuVoyR |
| 2025-12-03 22:01:25 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 22:02:24 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 260 seconds) |
| 2025-12-03 22:04:01 | → | lambda_gibbon joins (~lambda_gi@208.83.175.39) |
| 2025-12-03 22:05:19 | × | X-Scale quits (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-03 22:05:34 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 22:05:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 22:05:44 | → | Googulator joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 22:09:16 | <haskellbridge> | <lucabtz> Leary yeah looks great |
| 2025-12-03 22:10:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-03 22:17:34 | <monochrom> | :) |
| 2025-12-03 22:21:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 22:22:27 | ZLima12_ | is now known as ZLima12 |
| 2025-12-03 22:23:00 | <haskellbridge> | <lucabtz> Maybe in + I would require commutative too though |
| 2025-12-03 22:24:15 | <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 22:25:44 | → | jreicher joins (~user@user/jreicher) |
| 2025-12-03 22:26:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 22:27:07 | <haskellbridge> | <lucabtz> Additive and Multiplicative are just newtype wrappers? |
| 2025-12-03 22:33:35 | <EvanR> | + is required to be commutative and * is not. Good, so floating point can play xD |
| 2025-12-03 22:34:06 | <EvanR> | (actually is * commutative) |
| 2025-12-03 22:35:47 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 22:35:49 | → | Googulator90 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 22:37:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 22:38:25 | <monochrom> | Sum and Product are the newtype wrappers. |
| 2025-12-03 22:41:08 | <Leary> | lucabtz: Yeah. |
| 2025-12-03 22:41:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 22:41:48 | <Leary> | I wanted adjectives, so I didn't reuse `Sum` and `Product`. |
| 2025-12-03 22:44:33 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-03 22:45:31 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-12-03 22:46:23 | <monochrom> | Summative, Productive >:) |
| 2025-12-03 22:49:36 | Googulator90 | is now known as Googulator |
| 2025-12-03 22:53:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 22:58:58 | <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 22:59:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-03 23:03:55 | <haskellbridge> | <lucabtz> Leary maybe your way is better than an Additive typeclass as I was doing |
| 2025-12-03 23:06:14 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-03 23:06:29 | → | oats joins (~oats@user/oats) |
| 2025-12-03 23:06:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 23:11:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 23:12:37 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-03 23:14:10 | <EvanR> | TMA, due to buffy the vampire slayer, anything can be anythinged |
| 2025-12-03 23:22:01 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-03 23:22:15 | × | lambda_gibbon quits (~lambda_gi@208.83.175.39) (Ping timeout: 240 seconds) |
| 2025-12-03 23:22:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 23:23:30 | <geekosaur> | due to pretty much any native English speaker 🙂 |
| 2025-12-03 23:23:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-03 23:23:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-03 23:25:36 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-03 23:27:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-03 23:28:07 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-03 23:30:40 | <EvanR> | the word museum in washington DC is pretty cool |
| 2025-12-03 23:31:02 | <EvanR> | all about language learning language, inventing new words, and not just english |
| 2025-12-03 23:38:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 23:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 23:46:16 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-03 23:47:15 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-03 23:53:40 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-03 23:54:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 23:58:28 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-03 23:59:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 00:01:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-04 00:08:03 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-04 00:09:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 00:14:35 | → | X-Scale joins (~ARM@50.65.114.89.rev.vodafone.pt) |
| 2025-12-04 00:14:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 00:25:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 00:26:09 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 2025-12-04 00:30:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 00:41:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 00:41:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-04 00:44:12 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-04 00:46:07 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 00:46:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 00:49:20 | × | xff0x quits (~xff0x@2405:6580:b080:900:9a8d:d213:9a6f:7468) (Ping timeout: 244 seconds) |
| 2025-12-04 00:50:08 | <haskellbridge> | <Zemyla> I wish GHC would turn compile-time lists of primitive types into operations on an Addr# defined at compile time. |
| 2025-12-04 00:50:44 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 265 seconds) |
| 2025-12-04 00:51:29 | <haskellbridge> | <Zemyla> Like, [1, 3, 5, 8, 14] :: [Int32] would become unpackInt32List# 5# "[something]"#. |
| 2025-12-04 00:51:45 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-12-04 00:53:09 | <geekosaur> | I can't see that being any faster, and possibly slower if it needs to box the contents individually |
| 2025-12-04 00:54:01 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-12-04 00:57:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 00:58:28 | <EvanR> | the question becomes how unpackInt32List# primitive is implemented |
| 2025-12-04 00:58:57 | <EvanR> | is it even different from normal |
| 2025-12-04 00:59:59 | <EvanR> | also, a string? |
| 2025-12-04 01:00:48 | × | jle` quits (~jle`@2603:8001:3b00:11:cbef:e190:cb2:e0d) (Ping timeout: 244 seconds) |
| 2025-12-04 01:02:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 01:02:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-12-04 01:02:50 | → | jle` joins (~jle`@2603:8001:3b00:11:ed74:b35d:c320:7e16) |
| 2025-12-04 01:05:10 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 01:05:50 | <haskellbridge> | <Zemyla> If it's not faster, then why is it used that way for lists of Char? |
| 2025-12-04 01:09:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 01:09:37 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 246 seconds) |
All times are in UTC.