| 2025-01-09 00:00:34 +0100 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
| 2025-01-09 00:00:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-09 00:04:16 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-01-09 00:05:16 +0100 | esph | (~weechat@user/esph) (Quit: WeeChat 4.5.1) |
| 2025-01-09 00:05:32 +0100 | esph | (~weechat@user/esph) esph |
| 2025-01-09 00:05:52 +0100 | omegatron | (~some@user/omegatron) omegatron |
| 2025-01-09 00:06:49 +0100 | Square | (~Square@user/square) Square |
| 2025-01-09 00:07:56 +0100 | esph | (~weechat@user/esph) (Client Quit) |
| 2025-01-09 00:07:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-09 00:08:01 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f68a1608a41cd6a32b2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-09 00:08:17 +0100 | esph | (~weechat@user/esph) esph |
| 2025-01-09 00:09:12 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/libraries/stm-2.5.3.1-9996/Control-Concurrent-STM-TC… ? |
| 2025-01-09 00:09:43 +0100 | <geekosaur> | don't think it supports #2 though |
| 2025-01-09 00:09:57 +0100 | <geekosaur> | I'm not aware of a channel type that supports both of those |
| 2025-01-09 00:11:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:11:21 +0100 | <EvanR> | attach a timestamp to each event and use this to filter out events "in the past" you want to ignore |
| 2025-01-09 00:11:56 +0100 | esph | (~weechat@user/esph) (Client Quit) |
| 2025-01-09 00:12:07 +0100 | <geekosaur> | that'd pretty much be it, otherwise the writer would need to know what threads were blocked so it could deliver the event only to them |
| 2025-01-09 00:12:23 +0100 | <EvanR> | where timestamp is like, the applications globally agreed incrementing counter defining time |
| 2025-01-09 00:12:38 +0100 | <haskellbridge> | <magic_rb> i dont know if i even need 2 to be honest |
| 2025-01-09 00:12:56 +0100 | <haskellbridge> | <magic_rb> the only issue i can see is if "TChan" is never read from, then it'll pile up |
| 2025-01-09 00:13:01 +0100 | <c_wraith> | Honestly, this seems like something easy enough to do yourself |
| 2025-01-09 00:13:16 +0100 | <haskellbridge> | <geekosaur> I don't think TBChan has a broadcast variant |
| 2025-01-09 00:13:23 +0100 | <c_wraith> | You'd want to be a little careful with finalizers so that things don't leak, though |
| 2025-01-09 00:13:31 +0100 | <haskellbridge> | <magic_rb> I'm also kind of having issues with "the channels are per _what_" |
| 2025-01-09 00:13:33 +0100 | <EvanR> | if no one is reading from a broadcast tchan then the event goes into the ether |
| 2025-01-09 00:13:34 +0100 | <haskellbridge> | <geekosaur> er, TBQueue |
| 2025-01-09 00:13:49 +0100 | <haskellbridge> | <magic_rb> EvanR: i mean from one of the dupchans |
| 2025-01-09 00:15:31 +0100 | <haskellbridge> | <magic_rb> the only real reason why i have to bother with "channels are per what" is because they have buffers. If 2. was satisfied i wouldn't have to bother with "per what" |
| 2025-01-09 00:16:04 +0100 | <haskellbridge> | <magic_rb> ie whenever a thread tries to read from the channel, it throws its hat in the ring and waits for an event, simple |
| 2025-01-09 00:17:38 +0100 | <geekosaur> | sadly I think the only way you can accomplish that without the event sender knowing is for only one reader to be awakened |
| 2025-01-09 00:17:55 +0100 | <haskellbridge> | <magic_rb> the event sender can know, i think |
| 2025-01-09 00:18:03 +0100 | <geekosaur> | (where the choice of which depends on the implementation and may e.g. be thundering herd) |
| 2025-01-09 00:18:06 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-09 00:18:11 +0100 | <hololeap> | it sounds a lot like ghc's sparks system to me |
| 2025-01-09 00:18:17 +0100 | <haskellbridge> | <magic_rb> i want this to be eventually extendable across multiple machines, think kafka |
| 2025-01-09 00:18:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-09 00:18:35 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-09 00:18:48 +0100 | <c_wraith> | well then you're just entering a world of different complications and should use an existing complicated product |
| 2025-01-09 00:18:51 +0100 | <geekosaur> | then I wouldn't even start with any of ghc's channels |
| 2025-01-09 00:19:03 +0100 | <geekosaur> | or, what c_wraith said |
| 2025-01-09 00:19:28 +0100 | <geekosaur> | you're better off using an existing cross-machine messaging system |
| 2025-01-09 00:19:31 +0100 | <hololeap> | yeah I wasn't suggesting that just thinking about it |
| 2025-01-09 00:20:06 +0100 | <haskellbridge> | <magic_rb> im not going to implement kafka myself, but for the single machine situation which is what im focusing on, i need something with the same semantics |
| 2025-01-09 00:20:15 +0100 | <haskellbridge> | <magic_rb> dont feel like throwing kafka immediately into this mess |
| 2025-01-09 00:21:09 +0100 | <haskellbridge> | <magic_rb> so i need something which behaves like a "whatever kafka is" (the term eludes me right now) but on a single machine |
| 2025-01-09 00:22:53 +0100 | esph | (~weechat@user/esph) esph |
| 2025-01-09 00:23:10 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f68a1608a41cd6a32b2.dip0.t-ipconnect.de) acidjnk |
| 2025-01-09 00:24:26 +0100 | <hololeap> | I think EvanR's idea along with TChan could work even if it's a bit of a kludge |
| 2025-01-09 00:24:28 +0100 | <c_wraith> | I mean, if you're dropping the "receive past events" part, you don't have most of the complexities of a channel |
| 2025-01-09 00:24:38 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-09 00:25:14 +0100 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 2025-01-09 00:27:51 +0100 | <hololeap> | there's also FRP, where events affect every defined behavior as they happen in real time, and new behaviors that are brought online can attach to existing events without affecting other existing behaviors |
| 2025-01-09 00:27:53 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-09 00:28:09 +0100 | <hololeap> | which might be what you're looking for? |
| 2025-01-09 00:28:22 +0100 | <hololeap> | sorry, I suck at explaining technical things |
| 2025-01-09 00:29:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:29:31 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-09 00:30:20 +0100 | <haskellbridge> | <magic_rb> im familiar with the concept of FRP, though im not sure that it applies here nor do i want to open that can of worms |
| 2025-01-09 00:30:32 +0100 | <haskellbridge> | <magic_rb> i need to get something functional-ish quite quickly |
| 2025-01-09 00:30:53 +0100 | <haskellbridge> | <magic_rb> so ill do the minimum of a event sourcing architecture and see where that takes me |
| 2025-01-09 00:32:27 +0100 | <haskellbridge> | <magic_rb> hololeap: seeing past events doesnt matter, its just wholly unnecessary, since the channel might get duped right after the event youre interested in happened and so you need to first check the database anyway |
| 2025-01-09 00:33:21 +0100 | <haskellbridge> | <magic_rb> right, what i want is a lastEvent MVar and some kind of thundering herd inducing semaphore |
| 2025-01-09 00:33:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 00:34:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 00:34:18 +0100 | <hololeap> | speaking of, this looks interesting: https://github.com/turion/rhine |
| 2025-01-09 00:34:51 +0100 | <hololeap> | > Haskell Functional Reactive Programming framework with type-level clocks |
| 2025-01-09 00:34:53 +0100 | <lambdabot> | <hint>:1:56: error: parse error on input ‘type’ |
| 2025-01-09 00:37:35 +0100 | <c_wraith> | magic_rb: like, https://paste.tomsmeding.com/ov7bxeMa seems like it meets your requirements. It's a *lot* easier when you don't need the channel semantics. |
| 2025-01-09 00:37:41 +0100 | <haskellbridge> | <magic_rb> what i could do, which is kinda cursed is have two semaphores when a thread goes to emit an event it swaps them and awakes everyone on the "active" one, which then becomes the inactive |
| 2025-01-09 00:38:12 +0100 | <hololeap> | magic_rb, just found this. not sure if it fits the bill: https://hackage.haskell.org/package/broadcast-chan |
| 2025-01-09 00:38:47 +0100 | <c_wraith> | hololeap: single-wakeup is not "all waiting threads receive the value" |
| 2025-01-09 00:39:33 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-09 00:41:24 +0100 | <haskellbridge> | <magic_rb> c_wraith: the docs suggest that all readers will read any one written value, so im not sure what that package does actually |
| 2025-01-09 00:41:38 +0100 | <hololeap> | in the docs it says: BroadcastChan In: Will receive all messages written to the channel after this read end is created. |
| 2025-01-09 00:41:38 +0100 | <haskellbridge> | <magic_rb> BroadcastChan In: Will receive all messages written to the channel after this read end is created. |
| 2025-01-09 00:41:44 +0100 | <hololeap> | lol |
| 2025-01-09 00:42:25 +0100 | <haskellbridge> | <magic_rb> so thats quite close it'll still accumulate messages in the read ends if no one reads them, so the solution there is to create a read end and then immediately discard it after you no longer are actively reading |
| 2025-01-09 00:42:35 +0100 | <c_wraith> | magic_rb: anyway, take a look at my suggestion. If you think of it more like a live broadcast than a message queue, it becomes a lot simpler. Also a lot less useful - there's never a guarantee someone will receive the message. |
| 2025-01-09 00:42:45 +0100 | <haskellbridge> | <magic_rb> which is essentially what c_wraith solution does |
| 2025-01-09 00:43:33 +0100 | <haskellbridge> | <magic_rb> yeah i might go with your implementation, its neatly simple and ill need the "check the state, await state change" implementation anyway, so i dont care about lost events |
| 2025-01-09 00:44:16 +0100 | <haskellbridge> | <magic_rb> i appreciate the help from everyone, i gotta go hit the hay |
| 2025-01-09 00:44:23 +0100 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) |
| 2025-01-09 00:44:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:45:19 +0100 | <haskellbridge> | <magic_rb> if anyone's curious about the current state of things: https://git.redalder.org/magic_rb/haci |
| 2025-01-09 00:45:25 +0100 | <hololeap> | gn |
| 2025-01-09 00:47:29 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-09 00:49:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:57:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-09 00:58:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-01-09 00:59:53 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 01:00:02 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 01:00:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 01:00:37 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 01:00:42 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae) |
| 2025-01-09 01:00:47 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 01:01:19 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 01:01:20 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 01:03:48 +0100 | <haskellbridge> | <magic_rb> Oh i made the repo private, damn |
| 2025-01-09 01:03:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-09 01:04:26 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-09 01:04:55 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319) (Ping timeout: 264 seconds) |
| 2025-01-09 01:10:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:18:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 01:29:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:30:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-09 01:32:50 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-09 01:34:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 01:37:19 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-09 01:40:41 +0100 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 01:41:03 +0100 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) (Remote host closed the connection) |
| 2025-01-09 01:43:17 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-09 01:45:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:46:56 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f68a1608a41cd6a32b2.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-09 01:47:05 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6d94:dd0b:4250:b8b3) (Ping timeout: 252 seconds) |
| 2025-01-09 01:47:58 +0100 | sprotte24 | (~sprotte24@p200300d16f1e660091235e642331973a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-09 01:51:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 01:59:36 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-09 02:01:42 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 02:01:44 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 02:02:19 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 02:02:20 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 02:02:54 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 02:02:54 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 02:03:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:07:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 02:12:12 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-09 02:18:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:20:36 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-09 02:22:42 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 265 seconds) |
| 2025-01-09 02:22:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 02:24:10 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-09 02:25:24 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-09 02:26:51 +0100 | agent314 | (~quassel@37.19.210.25) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-09 02:33:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:35:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-09 02:36:05 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-09 02:37:52 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-09 02:38:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 02:38:40 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-09 02:39:51 +0100 | otto_s | (~user@p4ff2701d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-01-09 02:41:18 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-09 02:41:32 +0100 | otto_s | (~user@p4ff270f4.dip0.t-ipconnect.de) |
| 2025-01-09 02:48:40 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 2025-01-09 02:48:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-09 02:49:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:51:07 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-09 02:51:07 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-09 02:51:35 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2025-01-09 02:51:45 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-01-09 02:52:52 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-09 02:53:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 02:54:28 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-09 03:03:17 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 03:03:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 03:03:43 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-09 03:03:43 +0100 | ChanServ | +v haskellbridge |
| 2025-01-09 03:03:59 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 03:04:00 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 03:04:33 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 03:04:34 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 03:04:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:08:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 03:11:31 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-09 03:14:00 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-09 03:14:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-09 03:15:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 03:19:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:25:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-09 03:26:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 03:26:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 03:34:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-01-09 03:38:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-09 03:44:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:48:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 03:52:06 +0100 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-01-09 03:52:49 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-09 03:54:24 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (Client Quit) |
| 2025-01-09 03:54:55 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-09 03:59:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:02:28 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-09 04:04:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 04:04:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-09 04:04:56 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 04:04:58 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 04:05:32 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 04:05:41 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 04:05:42 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Client Quit) |
| 2025-01-09 04:06:14 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 04:15:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:19:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 04:20:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-09 04:22:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 04:25:28 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-09 04:30:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:35:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 04:36:33 +0100 | <hololeap> | how to handle case statements where two of the three branches share most of the same code, but not all? |
| 2025-01-09 04:37:09 +0100 | <hololeap> | I could shove the shared code into some function, or add another inner case statements with a redundant extra branch |
| 2025-01-09 04:38:54 +0100 | <glguy> | hololeap: shared function is a good default |
| 2025-01-09 04:42:10 +0100 | <ephemient> | speaking of which, I'm a little amazed it took so long for this to arrive, but it finally did: https://downloads.haskell.org/ghc/9.12.1/docs/users_guide/exts/or_patterns.html |
| 2025-01-09 04:42:34 +0100 | <jle`> | hyped for or patterns |
| 2025-01-09 04:42:37 +0100 | <jle`> | also hyped for multiline strings |
| 2025-01-09 04:42:50 +0100 | <hololeap> | that would be perfect for this |
| 2025-01-09 04:42:55 +0100 | <hololeap> | (or patterns) |
| 2025-01-09 04:42:56 +0100 | <jle`> | er hyped as in hyped to migrate lol |
| 2025-01-09 04:44:30 +0100 | <hololeap> | in this code I'm working on, the two branches that share code have different types attached to their constructors, so now my shared function needs to take an Either |
| 2025-01-09 04:45:14 +0100 | <hololeap> | which is just really clunky |
| 2025-01-09 04:45:26 +0100 | gdr3941 | (~user@50.234.116.5) gdr3941 |
| 2025-01-09 04:45:28 +0100 | <glguy> | then or-patterns probably wouldn't have helped |
| 2025-01-09 04:46:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:46:12 +0100 | glguy | . o O (or-patterns combined with view patterns) |
| 2025-01-09 04:48:24 +0100 | <hololeap> | I just need to separate the two constructors that share common logic into their own type, I think, so I can do a nested case statement without the final `_ -> undefined` redundant catchall |
| 2025-01-09 04:48:50 +0100 | <hololeap> | or turn off -Wincomplete-patterns (boo) |
| 2025-01-09 04:50:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 04:55:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-01-09 04:55:50 +0100 | gdr3941` | (~user@50.234.116.5) |
| 2025-01-09 04:56:20 +0100 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-09 04:57:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-09 04:57:40 +0100 | nkatte | (~nkatte@user/nkatte) nkatte |
| 2025-01-09 04:58:45 +0100 | gdr3941 | (~user@50.234.116.5) (Ping timeout: 248 seconds) |
| 2025-01-09 05:00:53 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-01-09 05:01:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:01:42 +0100 | housemate | (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 05:08:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 05:08:59 +0100 | gdr3941` | (~user@50.234.116.5) (Quit: done) |
| 2025-01-09 05:09:13 +0100 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-09 05:13:15 +0100 | <hololeap> | I think I see now what to do here (use a shared function but normalize the two types so there is no Either) |
| 2025-01-09 05:13:27 +0100 | <hololeap> | kind of a duh moment |
| 2025-01-09 05:15:01 +0100 | <hololeap> | it's also a desugared version of what OrPatterns+ViewPatterns would do |
| 2025-01-09 05:15:56 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-09 05:19:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:24:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-09 05:26:14 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-09 05:26:45 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-09 05:29:30 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-09 05:30:15 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-09 05:31:29 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-01-09 05:35:17 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-09 05:48:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:52:38 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-09 05:53:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 05:59:27 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-09 06:03:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:08:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 06:11:26 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-01-09 06:16:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-09 06:19:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:24:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 06:24:37 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-01-09 06:24:58 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:cec4:708e:faa4:70c5) youngfrog |
| 2025-01-09 06:28:54 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-01-09 06:30:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:30:43 +0100 | housemate | (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-09 06:38:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 06:49:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:56:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 06:57:03 +0100 | <EvanR> | this kind of stuff really bleeds into your norms of what to do in imperative languages where that code duplication comes up a lot |
| 2025-01-09 06:57:42 +0100 | <EvanR> | where it's like, not as inconvenient to just write almost the same code over again, and less people complain about it XD |
| 2025-01-09 06:58:07 +0100 | <EvanR> | or there's some kind of language feature to kind of help like mutable variables |
| 2025-01-09 07:08:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:09:37 +0100 | housemate | (~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 07:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 07:18:27 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-09 07:23:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:28:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 07:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:40:42 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
| 2025-01-09 07:40:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 07:42:12 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2025-01-09 07:48:49 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-09 07:51:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:55:15 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f4469bf750ee24b39bc.dip0.t-ipconnect.de) |
| 2025-01-09 07:56:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 07:57:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-09 08:01:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-09 08:03:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 08:04:56 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-09 08:06:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 08:08:54 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-09 08:10:28 +0100 | CiaoSen | (~Jura@46.167.29.227) CiaoSen |
| 2025-01-09 08:10:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-09 08:10:55 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-09 08:10:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-09 08:11:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-09 08:16:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-09 08:17:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-09 08:19:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-09 08:21:16 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-01-09 08:21:59 +0100 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 08:25:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 08:26:10 +0100 | <haskellbridge> | <maerwald> hololeap: Either is fine |
| 2025-01-09 08:26:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 08:27:02 +0100 | <haskellbridge> | <maerwald> if you have more than one or it comes up all the time, then there's time to abstract |
| 2025-01-09 08:27:27 +0100 | <haskellbridge> | <maerwald> I abstract when I see recurring patterns, not when something feels off at the start |
| 2025-01-09 08:27:36 +0100 | <haskellbridge> | <maerwald> otherwise there's no way to finish anything |
| 2025-01-09 08:31:07 +0100 | <haskellbridge> | <magic_rb> The enemy of progress, refactoring |
| 2025-01-09 08:31:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 08:31:50 +0100 | <haskellbridge> | <maerwald> yeah, prototyping first... finish it, then think about the mess you created |
| 2025-01-09 08:32:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 08:33:56 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) |
| 2025-01-09 08:34:46 +0100 | <hololeap> | true. this has just come up in the past so I figured I would ask |
| 2025-01-09 08:36:21 +0100 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-09 08:36:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 08:45:36 +0100 | jjnkn | (~jjnkn@45.12.27.165) |
| 2025-01-09 08:49:15 +0100 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) |
| 2025-01-09 08:53:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 08:57:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-09 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-09 09:05:41 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-09 09:10:12 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-09 09:12:19 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-09 09:16:39 +0100 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 244 seconds) |
| 2025-01-09 09:18:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-09 09:27:13 +0100 | dnerchm^ | (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-09 09:30:08 +0100 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 09:41:12 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-09 09:46:55 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:6104:fe1a:e15b:6312) (Ping timeout: 260 seconds) |
| 2025-01-09 09:49:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 09:57:16 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-09 09:59:19 +0100 | Guest62 | (~Guest62@212.233.194.115) |
| 2025-01-09 10:00:12 +0100 | Guest62 | (~Guest62@212.233.194.115) (Write error: Broken pipe) |
| 2025-01-09 10:02:23 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-09 10:06:41 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-09 10:06:56 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 10:22:39 +0100 | vpan | (~vpan@212.117.1.172) (Ping timeout: 265 seconds) |
| 2025-01-09 10:24:35 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-09 10:26:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 10:27:24 +0100 | housemate | (~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) (Ping timeout: 276 seconds) |
| 2025-01-09 10:35:24 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-09 10:40:14 +0100 | jespada | (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) jespada |
| 2025-01-09 10:44:24 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-09 10:48:53 +0100 | rynite | (~bwkam@user/rynite) rynite |