2024/12/25

2024-12-25 00:04:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 00:07:26 +0100j1n37(~j1n37@user/j1n37) j1n37
2024-12-25 00:10:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 00:18:43 +0100sprotte24(~sprotte24@p200300d16f32ae00e0f28665918683b3.dip0.t-ipconnect.de) (Quit: Leaving)
2024-12-25 00:19:51 +0100ubert(~Thunderbi@p200300ecdf117cf7bdcd23ba5c3b89f8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-12-25 00:20:01 +0100ubert1(~Thunderbi@p200300ecdf117c0013c0076e2e9d6026.dip0.t-ipconnect.de) ubert
2024-12-25 00:22:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 00:22:26 +0100ubert1ubert
2024-12-25 00:27:16 +0100cuteguest(~cuteguest@2601:602:680:2280::5d66)
2024-12-25 00:27:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-12-25 00:31:05 +0100 <cuteguest> hmm hmm im still stuck on the same problem as b4..  i hav a type class that relates a type to two GADTs like this (class Elmo a where type Bert :: a -> Type, type Ernie :: a -> Type).. is there a way to hav a type class like this that ensures each value of a has only 1 corresponding type? like, is there a way to show that these GADTs have only 1
2024-12-25 00:31:05 +0100 <cuteguest> constructor for each value of a?
2024-12-25 00:32:54 +0100 <cuteguest> id like it so that if i had a function from Bert a to Ernie a that i could pattern match on the results if i knew the input type
2024-12-25 00:37:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 00:40:20 +0100 <cuteguest> ar we allowed to post pastebins in here? that might make it easier to read..
2024-12-25 00:41:44 +0100 <cuteguest> ooh wait i see the thing up top.. hold on
2024-12-25 00:42:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-25 00:43:16 +0100 <cuteguest> hmm mayb christmas eve is the wrong time to ask questions :3
2024-12-25 00:45:23 +0100 <cuteguest> im gonna post the full link.. i hope its ok >_<
2024-12-25 00:45:35 +0100 <darkling> If you have a pastebin, that's a good way of showing people your code. Go for it.
2024-12-25 00:45:41 +0100 <cuteguest> https://paste.tomsmeding.com/99l00Nhb
2024-12-25 00:45:59 +0100 <darkling> (I'm unlikely to be able to help directly; that's about as much as I can do here).
2024-12-25 00:46:06 +0100 <cuteguest> <33
2024-12-25 00:46:57 +0100 <cuteguest> i appreciate your response at the v least
2024-12-25 00:52:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 00:55:20 +0100 <geekosaur> the only thing I can think of is this sounds slightly like a pattern synonym, otherwise it sounds "backwards" because typeclasses don't do that kind of thing, GADTs do
2024-12-25 00:56:38 +0100 <cuteguest> pattern synonym.. interesting.. thankyou
2024-12-25 00:57:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 01:02:28 +0100ash3en(~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-12-25 01:02:37 +0100 <geekosaur> what makes it sound like that is that you want to match on it. I think that might indicate a bidirectional pattern synonym is in order
2024-12-25 01:03:36 +0100 <geekosaur> hide the real constructors, export the patsyn. although this doesn't give you quite what you asked for: non-matching constructors would produce errors, but would still exist internally
2024-12-25 01:04:14 +0100 <geekosaur> but I'm not quite sure what your're trying to accomplish here and wondering if maybe a different approach entirely is warranted
2024-12-25 01:04:23 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 01:04:31 +0100 <cuteguest> hmm hmm thank you for the feedback
2024-12-25 01:04:53 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
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:06:03 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp)
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:08:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:12:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
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: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:18:25 +0100 <cuteguest> well mayb the whole idea is silly but :p
2024-12-25 01:23:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:27:49 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2024-12-25 01:28:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
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: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:32:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:36:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 01:37:20 +0100internatetional(~nate@182.253.126.5) internatetional
2024-12-25 01:46:50 +0100 <cuteguest>  i will look into bidirectional pattern synonyms.. ty for your help
2024-12-25 01:47:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 01:47:49 +0100Everything(~Everythin@195.138.86.118) (Quit: Lost terminal)
2024-12-25 01:48:43 +0100cuteguest(~cuteguest@2601:602:680:2280::5d66) (Quit: Client closed)
2024-12-25 01:50:34 +0100internatetional(~nate@182.253.126.5) (Quit: WeeChat 4.5.1)
2024-12-25 01:50:50 +0100weary-traveler(~user@user/user363627) user363627
2024-12-25 01:54:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 01:56:35 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-12-25 01:59:18 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-12-25 02:05:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:07:35 +0100acidjnk_new3(~acidjnk@p200300d6e7283f41b013a429fe4b7686.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-12-25 02:09:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-25 02:13:02 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-12-25 02:20:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:25:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-25 02:28:09 +0100gummy(~gummy@2601:602:680:2280:f461:e6de:959e:b47d)
2024-12-25 02:28:37 +0100gummy(~gummy@2601:602:680:2280:f461:e6de:959e:b47d) (Client Quit)
2024-12-25 02:28:52 +0100xff0x(~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 252 seconds)
2024-12-25 02:36:00 +0100ft(~ft@i59F4F055.versanet.de) (Ping timeout: 246 seconds)
2024-12-25 02:36:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:38:05 +0100ft(~ft@i59F4F1DF.versanet.de) ft
2024-12-25 02:40:36 +0100bliminse(~bliminse@user/bliminse) (Ping timeout: 244 seconds)
2024-12-25 02:40:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 02:42:44 +0100bliminse(~bliminse@user/bliminse) bliminse
2024-12-25 02:48:09 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-12-25 02:48:54 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-12-25 02:51:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 02:53:28 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-12-25 02:56:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 02:57:09 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-12-25 03:07:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 03:12:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-25 03:16:10 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-12-25 03:19:28 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2024-12-25 03:20:33 +0100troydm(~troydm@user/troydm) troydm
2024-12-25 03:22:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 03:26:53 +0100agent314(~quassel@104.129.24.126) agent314
2024-12-25 03:29:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-25 03:29:18 +0100Nixkernal(~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Ping timeout: 276 seconds)
2024-12-25 03:32:24 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 03:33:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 03:33:37 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 03:36:19 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-25 03:37:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 03:40:23 +0100rekahsoft(~rekahsoft@76.69.85.220) rekahsoft
2024-12-25 03:40:29 +0100rekahsoft(~rekahsoft@76.69.85.220) (Remote host closed the connection)
2024-12-25 03:40:38 +0100youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-12-25 03:43:26 +0100rekahsoft(~rekahsoft@76.69.85.220) rekahsoft
2024-12-25 03:44:46 +0100rekahsoft(~rekahsoft@76.69.85.220) (Remote host closed the connection)
2024-12-25 03:45:37 +0100prasad(~Thunderbi@2601:243:c001:3f07::e5)
2024-12-25 03:48:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 03:48:43 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 03:53:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 04:03:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 04:08:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-12-25 04:10:18 +0100KicksonButt(~quassel@187.21.174.221)
2024-12-25 04:10:39 +0100 <KicksonButt> \list
2024-12-25 04:11:01 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 04:13:51 +0100rekahsoft(~rekahsoft@76.69.85.220) rekahsoft
2024-12-25 04:15:36 +0100rekahsoft(~rekahsoft@76.69.85.220) (Remote host closed the connection)
2024-12-25 04:19:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 04:23:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 04:25:40 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 04:28:44 +0100forell(~forell@user/forell) (Ping timeout: 245 seconds)
2024-12-25 04:34:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 04:40:17 +0100td_(~td@i53870930.versanet.de) (Ping timeout: 265 seconds)
2024-12-25 04:41:49 +0100td_(~td@i53870916.versanet.de) td_
2024-12-25 04:42:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 04:45:01 +0100KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-12-25 04:47:52 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2024-12-25 04:48:00 +0100prasad(~Thunderbi@2601:243:c001:3f07::e5) (Ping timeout: 260 seconds)
2024-12-25 04:53:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 04:57:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-25 04:59:08 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-25 04:59:18 +0100 <haskellbridge> <thirdofmay18081814goya> ski: did my explanation convince you at all? I can't seem to find any resources on this so I'm not entirely convinced I am not serving word salad
2024-12-25 04:59:27 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-12-25 05:03:05 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-12-25 05:08:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:15:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 05:24:45 +0100aforemny(~aforemny@i59F4C727.versanet.de) (Ping timeout: 265 seconds)
2024-12-25 05:25:13 +0100aforemny(~aforemny@i59F4C4B7.versanet.de) aforemny
2024-12-25 05:26:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:31:11 +0100notzmv(~umar@user/notzmv) notzmv
2024-12-25 05:31:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-12-25 05:41:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:46:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-25 05:57:01 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
2024-12-25 05:57:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 05:58:00 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-12-25 06:01:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-25 06:07:59 +0100 <iqubic> Why is there no version of zipWith for arrays?
2024-12-25 06:11:06 +0100encyde(~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
2024-12-25 06:12:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-25 06:17:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-12-25 06:19:22 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2024-12-25 06:28:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn