Newest at the top
| 2025-01-25 01:59:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:55:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:50:34 +0100 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2025-01-25 01:50:23 +0100 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:45:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:40:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:37:48 +0100 | <hellwolf> | I am supporting TupleN simply for human's sake |
| 2025-01-25 01:37:14 +0100 | <hellwolf> | if it's typed as NP, there is no reason for Tuple to exist as a type. Am I missing something? |
| 2025-01-25 01:36:13 +0100 | <hellwolf> | I don't disagree. I am just pushing envelopes here and see what happens. |
| 2025-01-25 01:35:40 +0100 | <hellwolf> | but typing a :* b :* c :* Nil is more awkward then (a,b,c). And I wish tuple typed as NP is more native. |
| 2025-01-25 01:35:18 +0100 | <geekosaur> | you almost always want a named record for anything bigger, just to keep things straight |
| 2025-01-25 01:34:43 +0100 | <hellwolf> | I am tempted to agree. |
| 2025-01-25 01:33:16 +0100 | <geekosaur> | tbh anything beyond 2 or possibly 3 (term level) is generally a bad idea |
| 2025-01-25 01:33:13 +0100 | <hellwolf> | but TH is noticeably slow indeed. |
| 2025-01-25 01:32:59 +0100 | <hellwolf> | people really don't like TH, I guess. |
| 2025-01-25 01:32:35 +0100 | <hellwolf> | interesting |
| 2025-01-25 01:32:29 +0100 | <c_wraith> | Haskell 2010 |
| 2025-01-25 01:32:18 +0100 | <hellwolf> | what is the "spec" do you mean? |
| 2025-01-25 01:31:58 +0100 | <c_wraith> | yeah, the spec doesn't require instances very far. GHC exceeds the requirements. The spec requires that 63-tuples exist, but not that they have instances |
| 2025-01-25 01:31:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 01:31:53 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-01-25 01:31:52 +0100 | <hellwolf> | I just found out. Since I have been supporting TupleN up to 64 |
| 2025-01-25 01:31:09 +0100 | <hellwolf> | well, another haskell trvia: the maximum TupleN that has a Show instance is N=15 ... per https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Show.html#line-328 |
| 2025-01-25 01:28:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:24:38 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-01-25 01:24:23 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 2025-01-25 01:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:19:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 01:15:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 01:15:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 01:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 01:11:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:10:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:08:29 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 01:07:34 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-25 01:07:28 +0100 | <hellwolf> | that makes me want to rewrite some of my instances' TH to use quotation form... looks much nicer |
| 2025-01-25 01:07:23 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:06:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:02:27 +0100 | <hellwolf> | although the TH.instanceD uses a list, which looked easier. |
| 2025-01-25 01:02:03 +0100 | <hellwolf> | which kinda makes sense. |
| 2025-01-25 01:01:57 +0100 | <hellwolf> | just need to use TH.tupleT |
| 2025-01-25 01:01:08 +0100 | <hellwolf> | I actually found it |
| 2025-01-25 00:57:55 +0100 | <c_wraith> | that'd be like... pure (map blah ...) |
| 2025-01-25 00:57:41 +0100 | <c_wraith> | though that mapM (pure . blah) is kind of funny. |
| 2025-01-25 00:56:14 +0100 | <c_wraith> | There are lots of places you just can't splice into. That might be one of them. |
| 2025-01-25 00:56:03 +0100 | dmwit | (~dmwit@2600:4040:2646:b300:d62:4f7e:bd88:2572) (Quit: Client closed) |
| 2025-01-25 00:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 00:54:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 00:50:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:49:57 +0100 | <hellwolf> | I know how to do it without the quotation form, but that's not so read. |