| 2025-01-25 00:03:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 00:11:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 00:16:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 00:17:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-25 00:18:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-25 00:18:51 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 00:18:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:21:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 00:23:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:23:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 00:24:25 +0100 | <Leary> | hellwolf: https://hackage.haskell.org/package/ghc-bignum-1.3/docs/GHC-Num-Integer.html#v:integerToMutableByt… |
| 2025-01-25 00:25:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 00:26:52 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2025-01-25 00:29:53 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-25 00:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:42:45 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-01-25 00:49:40 +0100 | <hellwolf> | does anyone know how to use TH to express a list of constraints in its quotation form: [d| instance ($(mapM (pure . TH.conT ''ABITypeable) xs)) => ABITypeable $(tpl) where ... |] |
| 2025-01-25 00:49:57 +0100 | <hellwolf> | I know how to do it without the quotation form, but that's not so read. |
| 2025-01-25 00:50:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:54:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 00:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 00:56:03 +0100 | dmwit | (~dmwit@2600:4040:2646:b300:d62:4f7e:bd88:2572) (Quit: Client closed) |
| 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:57:41 +0100 | <c_wraith> | though that mapM (pure . blah) is kind of funny. |
| 2025-01-25 00:57:55 +0100 | <c_wraith> | that'd be like... pure (map blah ...) |
| 2025-01-25 01:01:08 +0100 | <hellwolf> | I actually found it |
| 2025-01-25 01:01:57 +0100 | <hellwolf> | just need to use TH.tupleT |
| 2025-01-25 01:02:03 +0100 | <hellwolf> | which kinda makes sense. |
| 2025-01-25 01:02:27 +0100 | <hellwolf> | although the TH.instanceD uses a list, which looked easier. |
| 2025-01-25 01:06:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:07:23 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 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:34 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-25 01:08:29 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 01:10:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:11:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 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:15:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 01:15:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 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:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:24:23 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 2025-01-25 01:24:38 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-01-25 01:28:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 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:31:52 +0100 | <hellwolf> | I just found out. Since I have been supporting TupleN up to 64 |
| 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:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 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:32:18 +0100 | <hellwolf> | what is the "spec" do you mean? |
| 2025-01-25 01:32:29 +0100 | <c_wraith> | Haskell 2010 |
| 2025-01-25 01:32:35 +0100 | <hellwolf> | interesting |
| 2025-01-25 01:32:59 +0100 | <hellwolf> | people really don't like TH, I guess. |
| 2025-01-25 01:33:13 +0100 | <hellwolf> | but TH is noticeably slow indeed. |
| 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:34:43 +0100 | <hellwolf> | I am tempted to agree. |
| 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: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:36:13 +0100 | <hellwolf> | I don't disagree. I am just pushing envelopes here and see what happens. |
| 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:37:48 +0100 | <hellwolf> | I am supporting TupleN simply for human's sake |
| 2025-01-25 01:40:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:45:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:50:23 +0100 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:50:34 +0100 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2025-01-25 01:55:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:59:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 02:00:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 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:03:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 02:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e7283f4988944b924ab82f58.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-25 02:11:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:14:07 +0100 | sprotte24 | (~sprotte24@p200300d16f121000c5109c58f26764fc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-25 02:15:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 02:16:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:18:53 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 02:19:04 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 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:24:58 +0100 | otto_s | (~user@p5de2f982.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-25 02:26:57 +0100 | otto_s | (~user@p5de2f342.dip0.t-ipconnect.de) |
| 2025-01-25 02:27:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:32:25 +0100 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-01-25 02:32:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:33:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:35:57 +0100 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2025-01-25 02:37:18 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-25 02:38:53 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2025-01-25 02:39:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:39:04 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2025-01-25 02:44:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-25 02:47:12 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-25 02:49:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 02:49:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:53:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-25 02:53:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-25 02:54:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 03:04:42 +0100 | ft | (~ft@p508db1ba.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-25 03:05:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:06:21 +0100 | ft | (~ft@p3e9bcfa2.dip0.t-ipconnect.de) ft |
| 2025-01-25 03:09:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 03:14:53 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2025-01-25 03:15:04 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2025-01-25 03:21:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:21:01 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-01-25 03:22:13 +0100 | hsw | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-01-25 03:22:32 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2025-01-25 03:25:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 03:31:15 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-01-25 03:32:47 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 03:36:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:37:20 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 03:37:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 03:39:32 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-01-25 03:41:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 03:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 03:47:31 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2025-01-25 03:51:42 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-25 03:52:02 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) (Ping timeout: 248 seconds) |
| 2025-01-25 03:52:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:58:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 03:59:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 04:04:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 04:05:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) |
| 2025-01-25 04:08:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:15:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 04:15:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 04:18:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 04:20:54 +0100 | <haskellbridge> | <thirdofmay18081814goya> any good readings on async, maybe how it can be interpreted monadically? |
| 2025-01-25 04:22:58 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 04:23:50 +0100 | <haskellbridge> | <thirdofmay18081814goya> i guess it can be interpreted in a state monad that accounts for whether a value has returned at each tick (tick being defined however it might be meaningful in a given context) |
| 2025-01-25 04:24:33 +0100 | <geekosaur> | @where parconc |
| 2025-01-25 04:24:33 +0100 | <lambdabot> | https://www.safaribooksonline.com/library/view/parallel-and-concurrent/9781449335939/ |
| 2025-01-25 04:26:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:26:46 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 04:26:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 04:27:11 +0100 | <haskellbridge> | <thirdofmay18081814goya> ah will give that a read, ty (also state monad is not a good idea because we don't do update) |
| 2025-01-25 04:27:48 +0100 | <haskellbridge> | <thirdofmay18081814goya> the real world does so we're in IO somewhere |
| 2025-01-25 04:30:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 04:30:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 04:40:40 +0100 | <geekosaur> | if we're talking about the same async, (a) it has to be in IO to start threads (b) it does keep "state" (thread status) |
| 2025-01-25 04:41:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:42:00 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-25 04:42:53 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection) |
| 2025-01-25 04:42:59 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2025-01-25 04:43:41 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-25 04:43:43 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm right |
| 2025-01-25 04:44:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-25 04:46:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 04:55:23 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Server closed connection) |
| 2025-01-25 04:55:30 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2025-01-25 04:56:18 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 04:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:00:23 +0100 | probie | (cc0b34050a@user/probie) (Server closed connection) |
| 2025-01-25 05:00:31 +0100 | probie | (cc0b34050a@user/probie) probie |
| 2025-01-25 05:00:56 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 05:02:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 05:02:42 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-25 05:03:53 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Server closed connection) |
| 2025-01-25 05:04:02 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-01-25 05:05:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |