2024/12/25

Newest at the top

2024-12-25 03:12:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-25 03:07:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:57:09 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-12-25 02:56:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 02:53:28 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-12-25 02:51:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:48:54 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-12-25 02:48:09 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-12-25 02:42:44 +0100bliminse(~bliminse@user/bliminse) bliminse
2024-12-25 02:40:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 02:40:36 +0100bliminse(~bliminse@user/bliminse) (Ping timeout: 244 seconds)
2024-12-25 02:38:05 +0100ft(~ft@i59F4F1DF.versanet.de) ft
2024-12-25 02:36:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:36:00 +0100ft(~ft@i59F4F055.versanet.de) (Ping timeout: 246 seconds)
2024-12-25 02:28:52 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 252 seconds)
2024-12-25 02:28:37 +0100gummy(~gummy@2601:602:680:2280:f461:e6de:959e:b47d) (Client Quit)
2024-12-25 02:28:09 +0100gummy(~gummy@2601:602:680:2280:f461:e6de:959e:b47d)
2024-12-25 02:25:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-25 02:20:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:13:02 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-12-25 02:09:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-25 02:07:35 +0100acidjnk_new3(~acidjnk@p200300d6e7283f41b013a429fe4b7686.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-12-25 02:05:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:59:18 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-12-25 01:56:35 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-12-25 01:54:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 01:50:50 +0100weary-traveler(~user@user/user363627) user363627
2024-12-25 01:50:34 +0100internatetional(~nate@182.253.126.5) (Quit: WeeChat 4.5.1)
2024-12-25 01:48:43 +0100cuteguest(~cuteguest@2601:602:680:2280::5d66) (Quit: Client closed)
2024-12-25 01:47:49 +0100Everything(~Everythin@195.138.86.118) (Quit: Lost terminal)
2024-12-25 01:47:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:46:50 +0100 <cuteguest>  i will look into bidirectional pattern synonyms.. ty for your help
2024-12-25 01:37:20 +0100internatetional(~nate@182.253.126.5) internatetional
2024-12-25 01:36:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 01:32:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:31:15 +0100 <cuteguest> problem is, whenever i try to match on the request function like you would with normal coroutines, it doesnt work because there could be more than one constructor for a response for any value of the alert type.
2024-12-25 01:31:14 +0100 <cuteguest> ok idk why i want to keep it a secret.. im trying to make coroutines that can yield (or really request) several different types of values. the request and response type are indexed by an "alert" type. i was able to make an instance of them as monads, and a request function that takes a request and gives you a coroutine back with a response. the
2024-12-25 01:28:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-25 01:27:49 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2024-12-25 01:23:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:18:25 +0100 <cuteguest> well mayb the whole idea is silly but :p
2024-12-25 01:17:34 +0100 <cuteguest> i guess i could reveal what im trying to make with this.. maybe my whole approach is silly
2024-12-25 01:15:12 +0100 <cuteguest> i think i am trying to make a class where, given some type, there are two types which are indexed by values over it. i would also want there to be some kind of relationship between these three types so that if im given one of the indexed types, i can know the type of the other to pattern match off of it and slurp out its data
2024-12-25 01:12:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 01:08:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:06:25 +0100 <cuteguest> im going to take a second to think abt how to say specifically what i want
2024-12-25 01:06:03 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp)
2024-12-25 01:05:16 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 01:04:53 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-12-25 01:04:31 +0100 <cuteguest> hmm hmm thank you for the feedback