Newest at the top
2025-03-21 20:14:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-21 20:13:30 +0100 | laurapigeon | (~laura@205.124.7.51.dyn.plus.net) |
2025-03-21 20:10:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-21 20:06:30 +0100 | xeno11 | (~xeno11@c-69-140-170-168.hsd1.de.comcast.net) (Ping timeout: 240 seconds) |
2025-03-21 20:04:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-21 20:01:06 +0100 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
2025-03-21 20:00:47 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-03-21 20:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-03-21 20:00:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-21 19:58:02 +0100 | zzz | yin |
2025-03-21 19:57:58 +0100 | yin | (~z@user/zero) (Read error: Connection reset by peer) |
2025-03-21 19:56:56 +0100 | zzz | (~z@user/zero) zero |
2025-03-21 19:50:07 +0100 | Pixi` | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
2025-03-21 19:49:00 +0100 | <ski> | .., until you at some point decide to use a `promise_equivalent_solutions' pragma (proof obligation) to claim that at this point you'll get the same result regardless of which representation was observed (or else you can let `main' be comitted-choice multi-deterministic, which you could also do for concurrency, with race conditions possibly affecting result) |
2025-03-21 19:48:56 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
2025-03-21 19:48:50 +0100 | <ski> | .., the implementation arbitrarily choosed one representation) multi-deterministic (could semantically result in any one of one or more possible results), "tainting" the matching operation to be committed-choice multi-deterministic, .. |
2025-03-21 19:48:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-21 19:48:38 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
2025-03-21 19:48:17 +0100 | <ski> | Mercury has (a bit) more explicit support for this, by allowing you to attach a user-defined equality (which is not just "another computable function", but is tied semantically to reasoning laws, and possibly used by some optimizations), causing the data constructor to become non-injective, matching on it is (committed-choice, .. |
2025-03-21 19:47:57 +0100 | <ski> | laws for `Eq' could be `x == y = True => x = y' and `x == y = False => x =/= y', where `=' is semantic equality (an equivalence relation on the representations), and `=/=' is semantic inrquality (an apartness relation on the representations) |
2025-03-21 19:47:24 +0100 | <ski> | e.g. for `Set's and `Map's considering ones which have the same elements/associations, but represented differently internally, asb being "equal". also not including imbalanced representations as valid representations of the semantic values. leading to having an abstract data type that is intended to be a quotient type of a subset type of the representation type |
2025-03-21 19:47:16 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
2025-03-21 19:47:12 +0100 | <ski> | EvanR : "you could attempt to construe haskell's datatypes as presets because not all of them have a way to, at least decidably, know two values are equal" -- it's useful to consider an intended semantic equality, not necessarily decidable, on various Haskell data types |
2025-03-21 19:45:22 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 268 seconds) |
2025-03-21 19:44:57 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-21 19:44:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-03-21 19:43:13 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-21 19:31:56 +0100 | Clint | golfclaps. |
2025-03-21 19:31:36 +0100 | alp | (~alp@2001:861:8ca0:4940:4f32:5e1f:632d:94e1) |
2025-03-21 19:30:13 +0100 | <EvanR> | This had made many people very angry and has been widely regarded as a bad move. |
2025-03-21 19:30:13 +0100 | <EvanR> | In the beginning the Universe was created. |
2025-03-21 19:29:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-21 19:28:56 +0100 | kh0d | (~kh0d@212.200.65.86) kh0d |
2025-03-21 19:25:31 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-03-21 19:24:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-21 19:22:54 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f6518434db087d421fc.dip0.t-ipconnect.de) acidjnk |
2025-03-21 19:22:01 +0100 | <dminuoso> | More importantly, why did they even name them computers and did they have the authority to do so? |
2025-03-21 19:20:59 +0100 | <haskellbridge> | <Bowuigi> Who's Liron and why did they create computers? |
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 |