Newest at the top
2024-05-07 22:41:53 +0200 | forell | (~forell@user/forell) |
2024-05-07 22:41:41 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 240 seconds) |
2024-05-07 22:41:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-07 22:40:46 +0200 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
2024-05-07 22:39:41 +0200 | phma | (phma@2001:5b0:211b:8f38:94dd:3277:4b6:fb28) |
2024-05-07 22:39:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-07 22:37:34 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 22:34:27 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Remote host closed the connection) |
2024-05-07 22:32:25 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-07 22:27:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-07 22:23:51 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 272 seconds) |
2024-05-07 22:23:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-07 22:19:10 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
2024-05-07 22:18:47 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 22:16:21 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
2024-05-07 22:16:03 +0200 | <EvanR> | (you can't even undefine ..... it) |
2024-05-07 22:15:36 +0200 | <EvanR> | (this should put an end to the convo) |
2024-05-07 22:15:34 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 22:14:57 +0200 | <EvanR> | x is a value which can only be used with the function isx and this sentence defining itself |
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 |