Newest at the top
| 2025-12-01 01:44:53 +0100 | <haskellbridge> | <zoil> thanks! i thought it would be a known issue |
| 2025-12-01 01:44:08 +0100 | <Leary> | zoil: This kind of exhaustiveness doesn't exist at the type level in GHC for the same reason we don't have "eta-rules" <https://gitlab.haskell.org/ghc/ghc/-/issues/7259>; it isn't sound. You want to say that `xs :: NonEmpty _` implies `xs ~ Cons _ _` or `Last _`, but that isn't true until you successfully pattern match on `Transfers xs`. |
| 2025-12-01 01:43:46 +0100 | <haskellbridge> | <zoil> but it just looks underneath and still demands the underlying constraint |
| 2025-12-01 01:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-01 01:43:35 +0100 | <haskellbridge> | <zoil> i would think basically, that if i gave it a newtype, that this would serve as such an assertion |
| 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? |