| 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 |
| 2025-01-09 10:52:14 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 2025-01-09 10:52:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-09 10:59:40 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-09 11:01:02 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 11:05:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 11:06:56 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:5e7:9f65:befb:1c46) ubert |
| 2025-01-09 11:14:17 +0100 | sprotte24 | (~sprotte24@p200300d16f253600814d8e598f05b539.dip0.t-ipconnect.de) |
| 2025-01-09 11:17:05 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-09 11:24:46 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 11:26:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-01-09 11:27:39 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-09 11:39:13 +0100 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-09 11:39:42 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 11:39:48 +0100 | <haskellbridge> | <hellwolf> make it compile, git commit, refactor, git commit |
| 2025-01-09 11:39:58 +0100 | <haskellbridge> | <hellwolf> Haskell is great for this flow |
| 2025-01-09 11:40:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 11:40:08 +0100 | jespada | (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-09 11:40:50 +0100 | <haskellbridge> | <hellwolf> (oh, I should say, even better, to have a test framework and test before git commit) |
| 2025-01-09 11:42:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-09 11:42:55 +0100 | <haskellbridge> | <maerwald> most of the Haskell companies I've worked at didn't have an acutal test suite... I think IOG was the exception |
| 2025-01-09 11:44:26 +0100 | <orangeFlu> | what other haskell companies are out there? |
| 2025-01-09 11:44:38 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) alexherbo2 |
| 2025-01-09 11:44:48 +0100 | <hellwolf> | maerwald: that's surprising to hear |
| 2025-01-09 11:44:54 +0100 | <hellwolf> | Mercury |
| 2025-01-09 11:45:01 +0100 | <hellwolf> | Scrive |
| 2025-01-09 11:45:02 +0100 | <hellwolf> | etc. |
| 2025-01-09 11:46:13 +0100 | <hellwolf> | may I start a new topic, has it ever been discussed about having operators for `quot, rem, div, mod` |
| 2025-01-09 11:46:21 +0100 | <hellwolf> | ? |
| 2025-01-09 11:47:08 +0100 | <hellwolf> | say `//, //_, %, %_' where the variants without "_" matches the behaviour you would most likely encounter in other languages (truncating towards zero) |
| 2025-01-09 11:47:13 +0100 | <mari-estel> | i guess it has. Finding the conv is a different matter |
| 2025-01-09 11:47:41 +0100 | <mari-estel> | @hoogle % |
| 2025-01-09 11:47:42 +0100 | <lambdabot> | Data.Ratio (%) :: Integral a => a -> a -> Ratio a |
| 2025-01-09 11:47:42 +0100 | <lambdabot> | GHC.Real (%) :: Integral a => a -> a -> Ratio a |
| 2025-01-09 11:47:42 +0100 | <lambdabot> | Protolude (%) :: Integral a => a -> a -> Ratio a |
| 2025-01-09 11:48:03 +0100 | <mari-estel> | @hoogle // |
| 2025-01-09 11:48:05 +0100 | <hellwolf> | ones with "_" truncating towards negative infinity |
| 2025-01-09 11:48:10 +0100 | <lambdabot> | GHC.Arr (//) :: Ix i => Array i e -> [(i, e)] -> Array i e |
| 2025-01-09 11:48:10 +0100 | <lambdabot> | Data.Vector (//) :: Vector a -> [(Int, a)] -> Vector a |
| 2025-01-09 11:48:10 +0100 | <lambdabot> | Data.Vector.Generic (//) :: Vector v a => v a -> [(Int, a)] -> v a |
| 2025-01-09 11:48:40 +0100 | <mari-estel> | hm _ conventionally means "discard returned" |
| 2025-01-09 11:48:43 +0100 | <hellwolf> | incidentally, I didn't know that recent Python and Java uses "//" to mean integral divisions. |
| 2025-01-09 11:48:58 +0100 | <hellwolf> | 01-09 12:48 <mari-estel> hm _ conventionally means "discard returned" |
| 2025-01-09 11:48:58 +0100 | <hellwolf> | I know, but I dont' know what better variant to use. |
| 2025-01-09 11:49:05 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-01-09 11:49:16 +0100 | <hellwolf> | //- ? |
| 2025-01-09 11:49:23 +0100 | <mari-estel> | maybe they do not need to become operators |
| 2025-01-09 11:49:35 +0100 | <hellwolf> | could be an option. |
| 2025-01-09 11:49:57 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2025-01-09 11:53:56 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2025-01-09 11:54:14 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-01-09 11:55:02 +0100 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 252 seconds) |
| 2025-01-09 11:55:09 +0100 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2025-01-09 11:55:49 +0100 | <orangeFlu> | Java does not have // afaik |
| 2025-01-09 11:57:01 +0100 | <hellwolf> | am I being scammed by ChatGPT? |
| 2025-01-09 11:57:02 +0100 | <__monty__> | Alternatively, if you don't want to define them for yourself, you could add conceals (or whatever your editor calls them) for `div` et al. if you think it reads better or whatever. |
| 2025-01-09 11:57:23 +0100 | <__monty__> | Isn't that a line comment in Java? |
| 2025-01-09 11:57:35 +0100 | <hellwolf> | ya... :D |
| 2025-01-09 11:58:22 +0100 | <hellwolf> | > 2. **Integer or Floor Division**: Denoted by "//" in Python and Java 8 onwards, '%' in Swift or the `div` function in Pascal. This operator rounds the result down to the nearest whole number. For example, in Python, 5//2 will result in 2. |
| 2025-01-09 11:58:23 +0100 | <lambdabot> | <hint>:1:4: error: parse error on input ‘**’ |
| 2025-01-09 11:58:31 +0100 | <hellwolf> | nix-shell$ echo "Does Java not have // integer division operator, with two slashes" | chatgpt |
| 2025-01-09 11:58:31 +0100 | <hellwolf> | No, Java does not have a "//" operator for integer division. It uses the single "/" operator for both integer and floating point division. The type of division it performs (integer or floating point) depends on the types of the operands. If both operands are integers, it will perform integer division. If either or both operands are floating points, it will perform floating point division. |
| 2025-01-09 11:58:39 +0100 | <hellwolf> | I should stop using gpt for serious stuff. |
| 2025-01-09 11:59:24 +0100 | <enikar> | indeed ;) |
| 2025-01-09 11:59:57 +0100 | <hellwolf> | A cut and smart parrot is a parrot, after all. |
| 2025-01-09 12:00:45 +0100 | <enikar> | :) |
| 2025-01-09 12:03:50 +0100 | <__monty__> | The lack of operators encouraging the use of divMod and quotRem is actually kind of a feature. |