Showing 1,521,801–1,521,900 of 1,531,286 results
| 2025-04-06 04:16:02 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-06 04:17:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-06 04:17:53 +0200 | <monochrom> | Yeah matching against 5, whether that 5 was hardcoded or obtained during run time, is a very point-defeating example of speaking against boolean blindness. |
| 2025-04-06 04:19:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-06 04:20:11 +0200 | cheater | (~Username@user/cheater) (Client Quit) |
| 2025-04-06 04:20:22 +0200 | <EvanR> | the pin is like taking the value of the variable and using it as a pattern |
| 2025-04-06 04:20:32 +0200 | <EvanR> | which requires == |
| 2025-04-06 04:20:44 +0200 | <EvanR> | it's done for you in the case of a constant pattern |
| 2025-04-06 04:20:50 +0200 | <EvanR> | laskdjfasdkfj |
| 2025-04-06 04:20:59 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-06 04:21:24 +0200 | <EvanR> | in the case of numeric, char, string constants (anything else?) |
| 2025-04-06 04:22:10 +0200 | <EvanR> | not all data types in haskell have an == and so this wouldn't universally work like in elixir |
| 2025-04-06 04:22:21 +0200 | <monochrom> | I guess I gave Elixir way too much credit for entertaining the remote possibility that it may do something half as interesting as logic programming. |
| 2025-04-06 04:22:42 +0200 | <monochrom> | One more data point for being more cynical. |
| 2025-04-06 04:22:54 +0200 | <EvanR> | I found an interesting thing about elixir |
| 2025-04-06 04:22:57 +0200 | <geekosaur> | Char acts like an actual constructor, and String like a list of them. this guard business is specific to Num, and is why Num used to have Eq as a "superclass" |
| 2025-04-06 04:23:09 +0200 | <EvanR> | alright numeric constants |
| 2025-04-06 04:24:00 +0200 | <EvanR> | the interest thing about elixir is the === operator, which differs from == in that it doesn't convert numerics between int and float, and distinguishes -0.0 from 0.0 |
| 2025-04-06 04:24:05 +0200 | <EvanR> | it follows this law |
| 2025-04-06 04:24:21 +0200 | <EvanR> | if x === y then f(x) === f(y) (assuming f is a pure function) |
| 2025-04-06 04:25:15 +0200 | <EvanR> | elixir carefully prints out its values in such a way you can't violate that law |
| 2025-04-06 04:25:24 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 04:25:26 +0200 | <monochrom> | That's actually nice. |
| 2025-04-06 04:25:42 +0200 | <Leary> | tabaqui: There's no issue of "boolean blindness" in equality testing. Both `((== x) -> True) -> ...` and `y | x == y -> ...` are perfectly good Haskell equivalents. |
| 2025-04-06 04:25:48 +0200 | <EvanR> | as far as I could tell after an afternoon of trying |
| 2025-04-06 04:26:16 +0200 | <Leary> | Though it would be nice if we could write `pattern Is x = (== x) -> True`. |
| 2025-04-06 04:28:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 04:29:39 +0200 | <geekosaur> | oh, and the special handling of numeric literals is because they're functions in Haskell (wrapped in fromInteger or fromRational as appropriate) |
| 2025-04-06 04:32:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-06 04:38:48 +0200 | <geekosaur> | (I don't know if this is extended to IsString) |
| 2025-04-06 04:40:37 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 04:43:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 04:46:13 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-04-06 04:51:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-06 04:57:54 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-06 05:11:33 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 05:14:46 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-06 05:16:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 05:19:52 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2025-04-06 05:24:02 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-06 05:26:38 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-06 05:36:36 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-04-06 05:39:59 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-04-06 05:48:01 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 05:48:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 05:48:54 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:58e6:6428:d346:1de6) |
| 2025-04-06 05:53:00 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-06 05:59:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 06:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-06 06:15:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 06:18:38 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:58e6:6428:d346:1de6) (Read error: Connection reset by peer) |
| 2025-04-06 06:20:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-06 06:25:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8156:72e2:e83d:bafd) |
| 2025-04-06 06:27:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8156:72e2:e83d:bafd) (Client Quit) |
| 2025-04-06 06:28:06 +0200 | forell | (~forell@user/forell) (Ping timeout: 268 seconds) |
| 2025-04-06 06:29:06 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-06 06:31:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 06:33:25 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 06:38:10 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-06 06:56:43 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 07:08:18 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-04-06 07:08:39 +0200 | statusbot10 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2025-04-06 07:09:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 07:26:42 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-06 07:40:24 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 244 seconds) |
| 2025-04-06 07:41:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-06 07:41:25 +0200 | jmcantrell_ | jmcantrell |
| 2025-04-06 07:56:59 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 08:01:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-06 08:17:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-06 08:30:12 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.5.2) |
| 2025-04-06 08:38:13 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-04-06 08:39:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 08:39:27 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
| 2025-04-06 08:45:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-06 08:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 08:54:31 +0200 | rit | (~rit@2409:40e0:1c:121c:589e:a7ae:8d66:baae) |
| 2025-04-06 08:59:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-06 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-06 09:00:02 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-06 09:00:28 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-06 09:00:53 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-06 09:04:35 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-04-06 09:14:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) |
| 2025-04-06 09:15:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) (Client Quit) |
| 2025-04-06 09:17:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-04-06 09:18:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-06 09:18:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) |
| 2025-04-06 09:19:37 +0200 | gadot | Gadot |
| 2025-04-06 09:19:47 +0200 | rit | (~rit@2409:40e0:1c:121c:589e:a7ae:8d66:baae) (Remote host closed the connection) |
| 2025-04-06 09:21:37 +0200 | rit | (~rit@152.58.177.31) |
| 2025-04-06 09:22:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-06 09:46:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1475e75972aae4f669.dip0.t-ipconnect.de) acidjnk |
| 2025-04-06 09:48:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-06 09:57:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-06 10:00:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-06 10:01:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 10:03:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) |
| 2025-04-06 10:04:17 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) |
| 2025-04-06 10:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |