Newest at the top
| 2024-12-25 03:22:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 03:20:33 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-12-25 03:19:28 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-25 03:16:10 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-12-25 03:12:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-25 03:07:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:57:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-12-25 02:56:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 02:53:28 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-12-25 02:51:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:48:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-25 02:48:09 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-25 02:42:44 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-12-25 02:40:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 02:40:36 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 2024-12-25 02:38:05 +0100 | ft | (~ft@i59F4F1DF.versanet.de) ft |
| 2024-12-25 02:36:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:36:00 +0100 | ft | (~ft@i59F4F055.versanet.de) (Ping timeout: 246 seconds) |
| 2024-12-25 02:28:52 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 2024-12-25 02:28:37 +0100 | gummy | (~gummy@2601:602:680:2280:f461:e6de:959e:b47d) (Client Quit) |
| 2024-12-25 02:28:09 +0100 | gummy | (~gummy@2601:602:680:2280:f461:e6de:959e:b47d) |
| 2024-12-25 02:25:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 02:20:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:13:02 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-25 02:09:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-25 02:07:35 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f41b013a429fe4b7686.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-12-25 02:05:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 01:59:18 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-25 01:56:35 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-25 01:54:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 01:50:50 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-25 01:50:34 +0100 | internatetional | (~nate@182.253.126.5) (Quit: WeeChat 4.5.1) |
| 2024-12-25 01:48:43 +0100 | cuteguest | (~cuteguest@2601:602:680:2280::5d66) (Quit: Client closed) |
| 2024-12-25 01:47:49 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 2024-12-25 01:47:22 +0100 | merijn | (~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 +0100 | internatetional | (~nate@182.253.126.5) internatetional |
| 2024-12-25 01:36:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 01:32:03 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-25 01:27:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-12-25 01:23:42 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 01:08:18 +0100 | merijn | (~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 |