Newest at the top
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) |
2024-05-07 21:49:50 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-07 21:47:34 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 255 seconds) |
2024-05-07 21:42:55 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 21:42:44 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-07 21:42:01 +0200 | <lambdabot> | 2 |
2024-05-07 21:42:00 +0200 | <mauke> | > length [undefined, undefined] |
2024-05-07 21:40:21 +0200 | <tomsmeding> | I can put 'undefined' in a list |
2024-05-07 21:40:08 +0200 | <energizer> | what's the difference between this x and `undefined`? |
2024-05-07 21:38:23 +0200 | <energizer> | is x |
2024-05-07 21:38:23 +0200 | <mauke> | six but spelled sideways |
2024-05-07 21:37:23 +0200 | <ncf> | what's isx? |
2024-05-07 21:36:39 +0200 | <tomsmeding> | but that's incidental, you can write a list type of unboxed integers and then you can put one in there |
2024-05-07 21:36:28 +0200 | <tomsmeding> | I mean, I guess an unboxed value would count as "cannot put it in a list" |
2024-05-07 21:36:08 +0200 | <tomsmeding> | is not the whole point of polymorphism that you can instantiate a type variable with _anything_ |
2024-05-07 21:35:38 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-05-07 21:35:36 +0200 | <energizer> | is there a value x that trying to do anything with it other than `isx x` will fail? even identity or putting it in a list |
2024-05-07 21:32:44 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-07 21:31:14 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-05-07 21:23:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-07 21:20:30 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
2024-05-07 21:19:02 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-07 21:17:02 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-07 21:16:20 +0200 | disgrunt | (~disgrunt@129.176.64.49) (Quit: Boom.) |
2024-05-07 21:15:06 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
2024-05-07 21:13:57 +0200 | <meejah> | shapr does ;) |
2024-05-07 21:13:05 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 252 seconds) |
2024-05-07 21:10:49 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-07 21:09:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-07 21:08:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-07 21:08:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-05-07 21:08:33 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 21:08:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |