Logs: liberachat/#haskell
| 2026-01-15 13:59:23 | → | housemate joins (~housemate@203.56.146.214) |
| 2026-01-15 14:02:32 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-15 14:02:46 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) |
| 2026-01-15 14:03:20 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-01-15 14:08:03 | → | annamalai joins (~annamalai@117.231.195.83) |
| 2026-01-15 14:09:50 | → | durstloescher joins (~textual@2001:638:708:308:c907:7e9e:4d1e:bc5d) |
| 2026-01-15 14:09:56 | × | durstloescher quits (~textual@2001:638:708:308:c907:7e9e:4d1e:bc5d) (Client Quit) |
| 2026-01-15 14:10:52 | × | Jackneill_ quits (~Jackneill@94-21-195-8.pool.digikabel.hu) (Quit: Leaving) |
| 2026-01-15 14:11:05 | → | Jackneill joins (~Jackneill@94-21-195-8.pool.digikabel.hu) |
| 2026-01-15 14:20:46 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-15 14:26:35 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2026-01-15 14:28:02 | → | ystael joins (~ystael@user/ystael) |
| 2026-01-15 14:34:18 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-15 14:35:25 | × | Inline quits (~User@cgn-195-14-218-118.nc.de) (Ping timeout: 264 seconds) |
| 2026-01-15 14:39:31 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-15 14:42:55 | × | doyougnu- quits (~doyougnu@38.175.72.111) (Ping timeout: 240 seconds) |
| 2026-01-15 14:46:05 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-15 14:46:32 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2026-01-15 14:46:38 | → | doyougnu joins (~doyougnu@38.175.72.111) |
| 2026-01-15 14:46:38 | × | trickard quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-15 14:49:19 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-15 14:52:22 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-15 14:52:38 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) |
| 2026-01-15 14:53:04 | → | fp joins (~Thunderbi@130.233.70.149) |
| 2026-01-15 14:54:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-15 14:56:11 | → | Jackneill_ joins (~Jackneill@178-164-234-102.pool.digikabel.hu) |
| 2026-01-15 14:58:29 | × | Jackneill_ quits (~Jackneill@178-164-234-102.pool.digikabel.hu) (Remote host closed the connection) |
| 2026-01-15 14:59:07 | × | Jackneill quits (~Jackneill@94-21-195-8.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2026-01-15 15:00:14 | → | Jackneill joins (~Jackneill@178-164-234-102.pool.digikabel.hu) |
| 2026-01-15 15:07:19 | trickard_ | is now known as trickard |
| 2026-01-15 15:08:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-15 15:12:25 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-15 15:13:16 | <thenightmail> | why is there no associativity for equality, inequality and comparison operators |
| 2026-01-15 15:15:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-15 15:16:56 | × | newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-15 15:17:58 | <chromoblob> | how would inequality associativity be useful |
| 2026-01-15 15:19:21 | <chromoblob> | to actually answer: x == y == z is banned because it cannot have the meaning it seems to have |
| 2026-01-15 15:19:32 | → | qqq joins (~qqq@185.54.21.105) |
| 2026-01-15 15:20:10 | <chromoblob> | because the result of one comparing is a Bool, thus you would next compare this Bool to another operand |
| 2026-01-15 15:20:24 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-15 15:21:22 | <chromoblob> | and authors of language didn't think that it would be a good idea to forego rule and special-case these operators so that it means what you want it to mean |
| 2026-01-15 15:21:34 | <thenightmail> | i see, this question is a problem from a book. the hint is to 'write down the simplest expression you can think of that would require the associativity rules to resolve the precedence of comparison operators and try to make sense of it' |
| 2026-01-15 15:22:08 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-15 15:26:33 | <thenightmail> | I'm not fully grasping it, maybe x == y == z is what they are referring to, but I will move on for now in case it makes sense later with more context. thanks for the answers |
| 2026-01-15 15:28:54 | × | fp quits (~Thunderbi@130.233.70.149) (Ping timeout: 260 seconds) |
| 2026-01-15 15:32:06 | × | trickard quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-15 15:32:06 | → | durstloescher joins (~textual@2001:638:708:308:b8a0:21c4:c5e4:aa38) |
| 2026-01-15 15:32:19 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-15 15:32:46 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-01-15 15:34:17 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-15 15:34:37 | × | durstloescher quits (~textual@2001:638:708:308:b8a0:21c4:c5e4:aa38) (Client Quit) |
| 2026-01-15 15:35:19 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2026-01-15 15:38:32 | → | durstloescher joins (~textual@2001:638:708:308:b8a0:21c4:c5e4:aa38) |
| 2026-01-15 15:42:50 | × | durstloescher quits (~textual@2001:638:708:308:b8a0:21c4:c5e4:aa38) (Ping timeout: 245 seconds) |
| 2026-01-15 15:46:30 | × | Catty quits (~catties@user/meow/catties) (Remote host closed the connection) |
| 2026-01-15 15:50:08 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-15 15:50:23 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) |
| 2026-01-15 15:52:37 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Client Quit) |
| 2026-01-15 15:52:54 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) |
| 2026-01-15 15:53:38 | → | catties joins (~catties@user/meow/catties) |
| 2026-01-15 15:54:02 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 256 seconds) |
| 2026-01-15 15:54:05 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-01-15 15:56:17 | → | itaipu joins (~itaipu@168.121.99.54) |
| 2026-01-15 16:00:55 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 240 seconds) |
| 2026-01-15 16:01:39 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-01-15 16:03:32 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-15 16:03:46 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-15 16:03:56 | → | Inline joins (~User@cgn-195-14-218-118.nc.de) |
| 2026-01-15 16:05:13 | <tomsmeding> | chromoblob: "authors of language" -- authors of _this_ language. The authors of Python did think this was a good idea |
| 2026-01-15 16:07:15 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-15 16:12:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-15 16:14:11 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-15 16:20:51 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-15 16:23:15 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-01-15 16:25:08 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-15 16:25:50 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-15 16:29:11 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-01-15 16:29:33 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-15 16:29:40 | → | danza joins (~danza@user/danza) |
| 2026-01-15 16:30:36 | × | danz65539 quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-01-15 16:34:18 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-15 16:41:53 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-15 16:42:06 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-15 16:42:17 | → | ft joins (~ft@p4fc2a9d7.dip0.t-ipconnect.de) |
| 2026-01-15 16:51:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-15 16:52:13 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-01-15 16:55:35 | × | doyougnu quits (~doyougnu@38.175.72.111) (Ping timeout: 240 seconds) |
| 2026-01-15 16:59:00 | → | doyougnu joins (~doyougnu@38.175.72.111) |
| 2026-01-15 17:00:07 | <monochrom> | "associativity" talks about whether "(x == y) == z" and "x == (y == z)" are the same or not. So those are the two expressions the hint wants you to look at. If they were the same, can you see a type error? |
| 2026-01-15 17:00:56 | <monochrom> | (Fun fact: But if x,y,z are all Bool, then they are the same. Draw a truth table to see and be shocked. :) ) |
| 2026-01-15 17:01:16 | <tomsmeding> | (because == on Bools is <=>) |
| 2026-01-15 17:02:20 | <monochrom> | It is surprising but handy that both == and /= (xor) are commutative associative and with identities. |
| 2026-01-15 17:07:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-15 17:07:44 | <monochrom> | Alternatively, you can legalize "x == y == z" but you say it does not mean "(x == y) == z" or "x == (y == z)". You say it means "x == y && y == z". This is what mathematicians did. (You can trust that they are pros and they know what they're doing, right? Right? >:) ) |
| 2026-01-15 17:08:29 | <monochrom> | (Hint: They are pros in math content, but not math syntax.) |
| 2026-01-15 17:08:36 | <monochrom> | (or any syntax) |
| 2026-01-15 17:08:37 | <danza> | :t (<=>) |
| 2026-01-15 17:08:38 | <lambdabot> | error: [GHC-88464] |
| 2026-01-15 17:08:38 | <lambdabot> | Variable not in scope: <=> |
| 2026-01-15 17:08:38 | <lambdabot> | Suggested fix: |
All times are in UTC.