Newest at the top
| 2025-12-01 01:42:39 +0100 | <haskellbridge> | <zoil> also, the type ambiguity doesnt inhibit the read instance |
| 2025-12-01 01:42:08 +0100 | <haskellbridge> | <zoil> it throws an error for both the read and show case |
| 2025-12-01 01:41:37 +0100 | <haskellbridge> | <zoil> (im going to start counting from one for nonempty containers in future versions...) |
| 2025-12-01 01:41:28 +0100 | <glguy> | because show gets an argument that let's it learn what the type is |
| 2025-12-01 01:41:20 +0100 | <haskellbridge> | <zoil> it needs to diferentiate between if its the basecase (S Z) or the recursive case (S (S n)) |
| 2025-12-01 01:41:00 +0100 | <haskellbridge> | <zoil> how so? |
| 2025-12-01 01:40:47 +0100 | <glguy> | zoil: you can probably combine the Show case just fine, it's the Read one that you'll struggle with |
| 2025-12-01 01:40:46 +0100 | <haskellbridge> | <zoil> _facepalm_ |
| 2025-12-01 01:40:43 +0100 | <EvanR> | cool program |
| 2025-12-01 01:40:38 +0100 | <EvanR> | yes I had this flight simulator program which was several pages |
| 2025-12-01 01:40:26 +0100 | <haskellbridge> | <zoil> THANKS! |
| 2025-12-01 01:40:18 +0100 | <haskellbridge> | <zoil> wait wait, im trying to seperate the people talking about floppy disks from the people staying ontopic, i think it might be a mod, im not sure. |
| 2025-12-01 01:40:18 +0100 | <monochrom> | It was also the latter days when those programs became very long. |
| 2025-12-01 01:39:58 +0100 | <EvanR> | that's like buying food |
| 2025-12-01 01:39:48 +0100 | <monochrom> | copies! just copies. |
| 2025-12-01 01:39:42 +0100 | <iqubic> | If you can't tell which instance to choose, then how the heck do you expect the compiler to do it for you? |
| 2025-12-01 01:39:34 +0100 | <EvanR> | monochrom, smh... you BOUGHT the code? smh |
| 2025-12-01 01:39:20 +0100 | <iqubic> | The compiler is not smart. It just does simple rewriting and instance creation. |
| 2025-12-01 01:39:15 +0100 | <monochrom> | The magazine publisher also offered to sell floppy diskettes containing the code. I was able to buy some of that when I had some petty cash. |
| 2025-12-01 01:39:14 +0100 | <glguy> | that won't help it know which one to use |
| 2025-12-01 01:39:06 +0100 | <haskellbridge> | <zoil> but i want to say to it "i have done the exhaustiveness check, its all there, dont worry" |
| 2025-12-01 01:38:41 +0100 | <glguy> | zoil: then that's why the compiler can't do it fo ryou |
| 2025-12-01 01:38:37 +0100 | <haskellbridge> | <zoil> it requires both to match |
| 2025-12-01 01:38:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-01 01:38:25 +0100 | <haskellbridge> | <zoil> glguy: i think not |
| 2025-12-01 01:38:18 +0100 | <monochrom> | True, I was one of those readers of those magazines, and typed in the code myself. |
| 2025-12-01 01:38:06 +0100 | <glguy> | zoil: You can just merge the two instances into one, can't you? |
| 2025-12-01 01:37:54 +0100 | <haskellbridge> | <zoil> im sure the image and paste are sufficient, im not sure whats the problem. |
| 2025-12-01 01:37:29 +0100 | <EvanR> | you're all spoiled now a days. We should return to a time when men were men and copied code char by char out of a magazine |
| 2025-12-01 01:37:27 +0100 | <haskellbridge> | <zoil> iqubic: again, im not sure what your asking. iv stated i dont have the wherewithall to write up a proposal |
| 2025-12-01 01:37:25 +0100 | <iqubic> | Also, yes, I do have this channel open in two different forms. Emacs and Firefox. |
| 2025-12-01 01:36:54 +0100 | <haskellbridge> | <zoil> theres even an extension no? |
| 2025-12-01 01:36:49 +0100 | <haskellbridge> | <iqubic (she/her)> Well, if someone wants to take your code and try it out on their own and make changes to it, their first step would be "type it all out in their own text editor". However, the code already exists on your computer, so you can share the textual version on https://paste.tomsmeding.com easily by copy and paste. Then all we'd have to do is copy and paste it into our text editor and then we could easily make changes to it. |
| 2025-12-01 01:36:40 +0100 | <haskellbridge> | <zoil> we had all kinds of discussions back in the day about existential quantification |
| 2025-12-01 01:36:31 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-01 01:36:22 +0100 | <haskellbridge> | <zoil> there is an Exists symbol and my eyes kind of bounce off it... |
| 2025-12-01 01:36:04 +0100 | <haskellbridge> | <zoil> i cant see from skimming how its relavent |
| 2025-12-01 01:35:49 +0100 | <haskellbridge> | <zoil> you would have to say exactly in what way |
| 2025-12-01 01:34:22 +0100 | <jreicher> | hololeap: Maybe https://en.wikipedia.org/wiki/Witness_(mathematics) will interest you? |
| 2025-12-01 01:33:41 +0100 | <haskellbridge> | <zoil> im sure people have encountered this before... |
| 2025-12-01 01:33:28 +0100 | <haskellbridge> | <zoil> is it a known issue? |
| 2025-12-01 01:33:21 +0100 | <haskellbridge> | <zoil> i figured people would be able to read the paste or image and that would suffice, i dont have time to make a full proposal |
| 2025-12-01 01:32:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-01 01:32:52 +0100 | <haskellbridge> | <zoil> im kind of in the middle of something, otherwise id happily write up a least sufficient example |
| 2025-12-01 01:31:57 +0100 | <haskellbridge> | <zoil> im not sure what your asking of me? |
| 2025-12-01 01:31:29 +0100 | <monochrom> | Because, with luck, someone could have made an easy change and make it compilable. |
| 2025-12-01 01:31:05 +0100 | <monochrom> | "It wouldn't compile anyway" is not a good reason to post a screenshot instead of actually downloading editable code. |
| 2025-12-01 01:30:41 +0100 | <haskellbridge> | <zoil> any ideas? |
| 2025-12-01 01:30:02 +0100 | <haskellbridge> | <zoil> but to do so, this is the placement of the constraint! i mean, thats literally how to convey that the instance is required to exist. i just dont know how to assert that it _does_ exist. which is normally automatic, but this exhaustiveness business seems to induce |
| 2025-12-01 01:28:56 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |