Newest at the top
2024-05-07 22:13:48 +0200 | phma | (~phma@2001:5b0:212a:9dd8:b0f:f357:db6e:4d49) (Read error: Connection reset by peer) |
2024-05-07 22:13:43 +0200 | <EvanR> | oh |
2024-05-07 22:13:39 +0200 | <EvanR> | then you can't even create your own custom kind list |
2024-05-07 22:13:37 +0200 | <cheater> | could this work? |
2024-05-07 22:13:37 +0200 | <tomsmeding> | then I make a polykinded list type lol |
2024-05-07 22:13:30 +0200 | <cheater> | is that a thing? |
2024-05-07 22:13:27 +0200 | <cheater> | hmm |
2024-05-07 22:13:21 +0200 | <EvanR> | make a custom kind and don't export the kind xD |
2024-05-07 22:13:19 +0200 | <cheater> | right |
2024-05-07 22:13:08 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
2024-05-07 22:13:05 +0200 | <tomsmeding> | I concur with monochrom |
2024-05-07 22:13:03 +0200 | <tomsmeding> | covered that with unboxed ints above |
2024-05-07 22:12:45 +0200 | <cheater> | wouldn't making MySpecialType a different kind than Type be a good way of stopping that from happening? |
2024-05-07 22:12:44 +0200 | <monochrom> | It is perhaps acceptable. This is why the better answer is asking back "what is the motivation?" like I did. |
2024-05-07 22:12:29 +0200 | <cheater> | so like |
2024-05-07 22:12:24 +0200 | <cheater> | i was just getting to that |
2024-05-07 22:12:18 +0200 | <cheater> | right |
2024-05-07 22:12:10 +0200 | <tomsmeding> | then you can still put x in a list |
2024-05-07 22:11:59 +0200 | <cheater> | 4. export x, isx, and not MySpecialType |
2024-05-07 22:11:40 +0200 | <cheater> | 3. add isx :: MySpecialType -> Bool |
2024-05-07 22:11:27 +0200 | <cheater> | 2. add x :: MySpecialType |
2024-05-07 22:11:22 +0200 | <cheater> | 1. start a new module |
2024-05-07 22:11:07 +0200 | <cheater> | energizer: it's easy to create something like this in the following way |
2024-05-07 22:09:42 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-07 22:08:50 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-07 22:08:49 +0200 | causal | (~eric@50.35.88.207) |
2024-05-07 22:08:36 +0200 | <EvanR> | oh yeah, only goes in left pocket is a good one |
2024-05-07 22:08:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-07 22:07:40 +0200 | <EvanR> | as if anyone you presented it to could see some identifying mark and it was a vast conspiracy |
2024-05-07 22:07:32 +0200 | <monochrom> | Oh I'm just sharpening the analogy. I'm with you. :) |
2024-05-07 22:07:00 +0200 | <EvanR> | yeah but imagine if it was a real legal tender $20 USD note, or canadian if necessary, it just doesn't work |
2024-05-07 22:06:57 +0200 | <monochrom> | In which case the better analogy is "$20 coupon but you can only put it in your left pocket not the right pocket" which is WTF and that would be right, WTF. |
2024-05-07 22:05:58 +0200 | <monochrom> | But s/$20 bill/$20 coupon/ and that one is a pretty common thing IRL. :) |
2024-05-07 22:05:10 +0200 | <monochrom> | You can always remember x. Then it exists in your mind, and no one can take it away. Or use it wrong. :) |
2024-05-07 22:05:06 +0200 | <glguy> | Maybe we need universities to run introduction to deprogramming courses |
2024-05-07 22:04:52 +0200 | <EvanR> | constructively speaking |
2024-05-07 22:04:33 +0200 | <EvanR> | that would not satisfy one of the goals "x exists" |
2024-05-07 22:04:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-07 22:03:29 +0200 | <monochrom> | More people should use the subtraction method. Delete more code. |
2024-05-07 22:03:01 +0200 | <monochrom> | Alternatively, let's use minimalism. Don't even provide x and isx. Then no one can use them wrong. |
2024-05-07 22:01:05 +0200 | <monochrom> | My question is: What is the motivation? There is a better question behind this. |
2024-05-07 21:56:34 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-07 21:54:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-07 21:54:19 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-05-07 21:53:15 +0200 | <EvanR> | like a $20 bill that you somehow can't spent except on a specific commodity |
2024-05-07 21:51:28 +0200 | <EvanR> | since it seems to know about the context it is used in |
2024-05-07 21:51:26 +0200 | phma | (~phma@2001:5b0:212a:9dd8:b0f:f357:db6e:4d49) |
2024-05-07 21:51:19 +0200 | <EvanR> | it sounds like x isn't much of a value |
2024-05-07 21:50:24 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-07 21:50:03 +0200 | Rodney_ | (~Rodney@176.254.244.83) |