Newest at the top
| 2025-01-25 02:19:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-25 02:19:04 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 2025-01-25 02:18:53 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 02:16:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:15:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 02:14:07 +0100 | sprotte24 | (~sprotte24@p200300d16f121000c5109c58f26764fc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-25 02:11:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e7283f4988944b924ab82f58.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-25 02:03:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 02:03:07 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-25 02:00:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 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. |