Newest at the top
| 2025-03-21 19:14:00 +0100 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-21 19:12:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-21 19:08:46 +0100 | tromp | (~textual@2a02:a210:cba:8500:40b3:acb4:4579:83af) |
| 2025-03-21 19:03:14 +0100 | <EvanR> | seems like the kind of thing the wiki infrastructure would flag automatically |
| 2025-03-21 19:02:06 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-21 19:01:21 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2025-03-21 19:01:20 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-21 19:01:20 +0100 | <xeno11> | https://en.wikibooks.org/wiki/Haskell |
| 2025-03-21 19:00:34 +0100 | <xeno11> | LIRON WAS THE CREATOR OF COMPUTERS" and other changes might have been made. |
| 2025-03-21 19:00:33 +0100 | <xeno11> | To anyone that can help/edit wiki... haskell wikibook main page was edited. It seems "Haskell is pure" was changed to "JEWS ARE THE BEST |
| 2025-03-21 19:00:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-21 18:59:18 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-21 18:58:43 +0100 | <sim590> | :) |
| 2025-03-21 18:58:33 +0100 | <haskellbridge> | <Bowuigi> IEEE-754 floats are so weird |
| 2025-03-21 18:58:31 +0100 | <EvanR> | failed |
| 2025-03-21 18:57:07 +0100 | <sim590> | test |
| 2025-03-21 18:56:54 +0100 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) |
| 2025-03-21 18:56:29 +0100 | <EvanR> | except for NaN |
| 2025-03-21 18:56:23 +0100 | <sim590> | foo |
| 2025-03-21 18:56:10 +0100 | <EvanR> | though in these cases indeed x = x, which is what got me started on this |
| 2025-03-21 18:55:24 +0100 | <EvanR> | another example is treating zero and minus zero differently in floats. Another example is implementing rationals with two numbers, and mapping 1/2 and 2/4 to false and true respectively (assuming false and true are not equal) |
| 2025-03-21 18:53:53 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-21 18:53:37 +0100 | <haskellbridge> | <Bowuigi> Congruence is derivable in various type theories as well, even without identity types |
| 2025-03-21 18:53:04 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-21 18:52:34 +0100 | <haskellbridge> | <Bowuigi> Even then, it holds for PERs IIRC |
| 2025-03-21 18:52:23 +0100 | <haskellbridge> | <Bowuigi> It's only wrong from an undecidability/non-termination standpoint |
| 2025-03-21 18:48:38 +0100 | <EvanR> | (though now you might argue the f is not really a function after all, since it's observing a difference, which is the same point as above) |
| 2025-03-21 18:47:57 +0100 | <EvanR> | e.g. in a possible implementation of computable reals, you could have rational real which terminates and is easy to compute with, and another real which converges to the same rational, and causes the f to explode when applied to it |
| 2025-03-21 18:47:40 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-21 18:47:22 +0100 | euleritian | (~euleritia@dynamic-176-000-195-182.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-21 18:46:45 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:dd6a:fa62:e132:ec11) (Ping timeout: 265 seconds) |
| 2025-03-21 18:46:09 +0100 | <EvanR> | even though it's wrong! |
| 2025-03-21 18:45:54 +0100 | euleritian | (~euleritia@dynamic-176-000-195-182.176.0.pool.telefonica.de) |
| 2025-03-21 18:45:53 +0100 | <EvanR> | and is otherwise a pretty common rule to rely on |
| 2025-03-21 18:44:22 +0100 | <EvanR> | derived from the usual definition of functions in set theory |
| 2025-03-21 18:44:03 +0100 | <EvanR> | if x = y then f(x) = f(y) can be |
| 2025-03-21 18:43:59 +0100 | euleritian | (~euleritia@dynamic-176-000-195-182.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-21 18:43:41 +0100 | <c_wraith> | It gets much harder when you want equality to be computable |
| 2025-03-21 18:43:26 +0100 | <c_wraith> | No, though if you're strictly in math... If the objects in the pairs that make up a formal function can be compared for equality, then functions are equal if they contain the same set of pairs. |
| 2025-03-21 18:43:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-21 18:41:16 +0100 | <__monty__> | I'm not sure that's entirely rigorous. Nowhere do the definitions require that the notion of equality is part of the language of the functions, right? |
| 2025-03-21 18:38:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-21 18:37:44 +0100 | jespada | (~jespada@2800:a4:228e:4800:8c77:166d:4542:2a56) jespada |
| 2025-03-21 18:32:56 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-21 18:27:34 +0100 | <EvanR> | no true function |
| 2025-03-21 18:27:28 +0100 | <EvanR> | so we can go from, imperative language with "functions" doesn't have real functions because they do side effects, or depend on invisible state, etc. to functional language with "functions" futhermore doesn't have functions because it doesn't preserve the equality xD |
| 2025-03-21 18:26:44 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-21 18:25:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-21 18:24:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-21 18:21:55 +0100 | euleritian | (~euleritia@dynamic-176-000-195-182.176.0.pool.telefonica.de) |