Logs: liberachat/#haskell
| 2026-02-05 04:40:48 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-05 04:42:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-05 04:44:40 | → | jle` joins (~jle`@2603:8001:3b00:11:aa96:1bfc:d44b:9e) |
| 2026-02-05 04:47:14 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 256 seconds) |
| 2026-02-05 04:54:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 04:58:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 05:05:12 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-05 05:06:22 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2026-02-05 05:09:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 05:15:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-05 05:25:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 05:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-05 05:40:48 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-02-05 05:40:54 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-02-05 05:41:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 05:46:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-05 05:49:16 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-02-05 05:49:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 05:51:01 | × | divya quits (~divya@140.238.251.170) (Ping timeout: 264 seconds) |
| 2026-02-05 05:53:22 | → | michalz joins (~michalz@185.246.207.200) |
| 2026-02-05 05:54:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 06:01:55 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-02-05 06:02:51 | × | hakutaku quits (~textual@user/hakutaku) (Client Quit) |
| 2026-02-05 06:05:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 06:08:51 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-05 06:10:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-05 06:21:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 06:24:31 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-05 06:24:56 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-05 06:28:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-05 06:39:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 06:41:20 | × | constxd quits (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2026-02-05 06:43:47 | → | constxd joins (~constxd@user/constxd) |
| 2026-02-05 06:44:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-05 06:50:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 06:54:50 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-05 06:55:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-05 07:04:52 | × | ags quits (~ags@p200300dcb736f1003d348acd0f4709f1.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-02-05 07:05:39 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2026-02-05 07:06:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 07:06:19 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 264 seconds) |
| 2026-02-05 07:11:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-05 07:14:07 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-02-05 07:17:31 | → | ystael joins (~ystael@user/ystael) |
| 2026-02-05 07:22:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 07:25:21 | → | divya joins (divya@140.238.251.170) |
| 2026-02-05 07:25:21 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-05 07:25:39 | × | ft quits (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-05 07:26:33 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-05 07:27:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-05 07:37:47 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-05 07:37:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 07:42:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-05 07:46:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 07:49:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:4842:24c6:bd5c:fe37) |
| 2026-02-05 07:49:52 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 07:50:05 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 07:50:37 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-05 07:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 07:51:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 07:56:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-05 08:07:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 08:12:24 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-05 08:12:34 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-05 08:13:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-05 08:23:41 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-05 08:25:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-05 08:25:21 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2026-02-05 08:27:07 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-05 08:30:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-05 08:41:25 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2026-02-05 08:42:29 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-05 08:43:09 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-02-05 09:00:18 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-05 09:07:47 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-05 09:12:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-02-05 09:13:38 | trickard_ | is now known as trickard |
| 2026-02-05 09:19:49 | → | chele joins (~chele@user/chele) |
| 2026-02-05 09:25:18 | gentauro | Hmmm, I just realized that in SML (and derivates such as OCaml, …) the "not equal operator" (a <> b) states that `a > b` or `a < b`: https://smlhelp.github.io/book/docs/start/syntax/#boolean-operation |
| 2026-02-05 09:26:43 | gentauro | which somehow makes sense. In HaskeLLM `/=` (division equals) is not that intuitive. That said, it took me like "ages" to realize `<>` xD |
| 2026-02-05 09:29:32 | <Googulator> | Makes sense... if you're only thinking of real number and other intuitively sortable types. "Less than or greater than" is a downright lie e.g. for complex numbers. |
| 2026-02-05 09:34:42 | <gentauro> | Googulator: I don't think we have complex numbers in SML (or derivates) |
| 2026-02-05 09:34:45 | <gentauro> | I might be wrong |
| 2026-02-05 09:40:32 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x_) |
| 2026-02-05 09:42:10 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 09:42:23 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 09:42:50 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-05 09:43:03 | <tomsmeding> | gentauro: you probably already know this, but for completeness, /= is ≠ |
| 2026-02-05 09:44:07 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 09:45:06 | <probie> | Just pick an ordering on complex numbers and call it a day |
| 2026-02-05 09:45:15 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-02-05 09:45:27 | <probie> | We're already going to hell for misusing `Ord` |
| 2026-02-05 09:47:40 | <probie> | > let { nan = 0/(0 :: Double); m = M.fromList [(nan, 3), (nan, 4)] } in (m, nan `M.member` m) |
| 2026-02-05 09:47:41 | <lambdabot> | (fromList [(NaN,3),(NaN,4)],False) |
| 2026-02-05 09:50:16 | <Leary> | Yeah, `Ord` is (or has become) a class for types that support /some/ decidable total order, however arbitrary. `Complex` poses no issue whatsoever, but e.g `IORef` might---it supports equality testing but not ordering. |
| 2026-02-05 09:51:36 | <probie> | Personally, I suggest `instance (Ord a) => Ord (Complex a) where compare (a :+ b) (c :+ d) = compare (a,b) (c,d)` |
| 2026-02-05 09:52:17 | <Leary> | Yes, that's what would be derived, and what we should have. |
| 2026-02-05 09:53:11 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 09:53:39 | <int-e> | Eh half of the time I feel like using it I end up copying Complex anyway, so I can have instance Num a => Num (Complex a) |
| 2026-02-05 09:53:41 | <tomsmeding> | I think there's a good argument to be made for _not_ having that instance. I know floats are a mess anyway, but at least it's considered basic programming knowledge that ordering on floats is a mess |
All times are in UTC.