Logs: liberachat/#xmonad
| 2023-03-29 13:29:47 | <geekosaur> | a layout has as its most general type `LayoutClass l => l Window`. typeclasses tend to break type inference |
| 2023-03-29 13:30:25 | <geekosaur> | (note that you can't give a layout that type; you need to give it a type compatible with that type, but specific to the layout |
| 2023-03-29 13:31:22 | <Ou42> | I grok maybe a 1/3 of what you're saying... so I'll still have to sleep on it. But I def grok the point about needing to have the thing used for the compiler to make the right assumptions. |
| 2023-03-29 13:32:09 | <geekosaur> | well, let's just say that it only has half the information it needs to infer a type. the other half it has to get from use providing that `LayoutClass` thing |
| 2023-03-29 13:33:36 | <Ou42> | I think I follow. |
| 2023-03-29 13:33:43 | <geekosaur> | I'm tempted to say this is because things are overparameterized |
| 2023-03-29 13:33:44 | <Ou42> | OK, *now* I'm gonna call it a night |
| 2023-03-29 13:34:21 | <Ou42> | geekosaur: tyvm |
| 2023-03-29 13:34:22 | <geekosaur> | we use type variables where we don't strictly need to, because that way we can provide alternative types to feed it through a proof checker that doesn't have access to X11 types |
| 2023-03-29 13:34:24 | <Ou42> | Solid: ty too |
| 2023-03-29 13:34:54 | <geekosaur> | but that means it breaks very badly when nothing provides those types to it |
| 2023-03-29 13:36:07 | <Ou42> | makes sense. |
| 2023-03-29 13:36:35 | <Ou42> | seriously appreciate this. |
| 2023-03-29 13:36:55 | <Ou42> | g'nite #xmonad! May we cross paths after a short nap |
| 2023-03-29 13:37:04 | <Ou42> | peace & 42 |
| 2023-03-29 13:37:18 | × | Ou42 quits (~Ou4242a@2600:1700:e930:41b0:65bd:94a:d3f4:d966) (Quit: Leaving) |
| 2023-03-29 14:02:50 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2023-03-29 14:26:18 | × | redgloboli_ quits (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 2023-03-29 14:27:28 | → | redgloboli joins (~redglobol@user/redgloboli) |
| 2023-03-29 14:28:47 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2023-03-29 16:00:15 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2023-03-29 16:28:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2023-03-29 16:50:05 | → | catman joins (~catman@user/catman) |
| 2023-03-29 17:09:48 | × | catman quits (~catman@user/catman) (Ping timeout: 264 seconds) |
| 2023-03-29 17:31:30 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-03-29 19:29:37 | → | malook joins (~Thunderbi@2a02:9b0:4029:41a8:3d46:a94b:9330:d637) |
| 2023-03-29 20:03:06 | × | malook quits (~Thunderbi@2a02:9b0:4029:41a8:3d46:a94b:9330:d637) (Ping timeout: 252 seconds) |
| 2023-03-29 20:08:51 | → | malook joins (~Thunderbi@46.52.72.170) |
| 2023-03-29 20:12:24 | × | malook quits (~Thunderbi@46.52.72.170) (Remote host closed the connection) |
| 2023-03-29 20:12:52 | → | malook joins (~Thunderbi@2a02:9b0:4029:41a8:e76d:c79c:d48f:d8b1) |
| 2023-03-29 20:26:45 | × | malook quits (~Thunderbi@2a02:9b0:4029:41a8:e76d:c79c:d48f:d8b1) (Quit: malook) |
| 2023-03-29 20:40:15 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 255 seconds) |
| 2023-03-29 20:52:48 | → | haskl joins (~haskl@user/haskl) |
| 2023-03-29 22:31:38 | × | fnurglewitz quits (uid263868@id-263868.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-29 23:10:36 | × | chomwitt quits (~chomwitt@2a02:587:7a0f:e00:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-03-29 23:22:55 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 250 seconds) |
| 2023-03-29 23:49:43 | → | catman joins (~catman@user/catman) |
| 2023-03-29 23:53:27 | × | catman quits (~catman@user/catman) (Client Quit) |
| 2023-03-30 02:10:59 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Ping timeout: 264 seconds) |
| 2023-03-30 02:28:33 | × | td_ quits (~td@i53870923.versanet.de) (Ping timeout: 255 seconds) |
| 2023-03-30 02:30:26 | → | td_ joins (~td@i53870922.versanet.de) |
| 2023-03-30 04:01:59 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 250 seconds) |
| 2023-03-30 04:03:54 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 2023-03-30 05:21:25 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Remote host closed the connection) |
| 2023-03-30 05:28:25 | → | chomwitt joins (~chomwitt@2a02:587:7a0f:e00:1ac0:4dff:fedb:a3f1) |
| 2023-03-30 06:39:13 | → | mncheck joins (~mncheck@193.224.205.254) |
| 2023-03-30 08:22:55 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 2023-03-30 08:26:14 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 2023-03-30 08:27:21 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Remote host closed the connection) |
| 2023-03-30 08:28:20 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 2023-03-30 08:29:08 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-03-30 08:54:25 | × | mncheck quits (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2023-03-30 09:24:19 | → | tridactyl joins (~tridactyl@user/tridactyl) |
| 2023-03-30 09:25:25 | <tridactyl> | hello, is there a developer online? i was wondering why xmonad uses xlib instead of xcb |
| 2023-03-30 09:25:39 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2023-03-30 09:26:08 | <tridactyl> | was it easier to use xlib for the creation of xmonad or some other reason? |
| 2023-03-30 09:29:01 | <liskin> | tridactyl: I guess there may not have been Haskell xcb bindings back in 2007, but X11 bindings were shipped with compiler |
| 2023-03-30 09:29:48 | <liskin> | X11 haskell lib was split into a separate project at some point, that may have actually happened before 2007, but there probably still was an "official" vibe to it :-) |
| 2023-03-30 09:31:32 | <liskin> | oh, git history looks like the split happened because xmonad devs needed to make a lot of changes to it |
| 2023-03-30 09:38:03 | <tridactyl> | really, I hadn't thought of that |
| 2023-03-30 09:39:20 | <tridactyl> | but can you tell me if the developers have done any kind of comparative test? i see in many places on the internet that xcb is faster than Xlib |
| 2023-03-30 09:45:44 | <liskin> | I wouldn't know :-( |
| 2023-03-30 09:45:49 | <liskin> | geekosaur is the historian here :-) |
| 2023-03-30 09:46:02 | <Solid> | I doubt that this really matters; your window manager is not doing any kind of computationally intensive task |
| 2023-03-30 09:48:23 | <tridactyl> | liskin no problem, thanks for answering |
| 2023-03-30 09:52:11 | × | chomwitt quits (~chomwitt@2a02:587:7a0f:e00:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 2023-03-30 09:52:14 | <tridactyl> | Solid I'm not complaining, I just really wanted to know if there was a bigger reason or just historical reasons |
| 2023-03-30 09:53:03 | <Solid> | historical artifacts, in that case :) and XMonad's wrapper around Xlib is way too thin for us to switch to xcb, really |
| 2023-03-30 09:55:02 | <tridactyl> | that's right |
| 2023-03-30 09:55:27 | <tridactyl> | thanks for explaining |
| 2023-03-30 09:56:34 | <tridactyl> | well, I'm still learning how to use IRC |
| 2023-03-30 09:56:43 | <tridactyl> | I don't know if I managed to mention you in my message, but I think it was worth a try |
| 2023-03-30 09:58:25 | <tridactyl> | in addition, I am trying to converse more in English |
| 2023-03-30 09:58:33 | <tridactyl> | so I'm sorry if there was some mistake in my messages, I'm trying to be less dependent on translation services |
| 2023-03-30 09:59:12 | <tridactyl> | :-) |
| 2023-03-30 10:12:33 | → | derpyxdhs joins (~derpyxdhs@user/derpyxdhs) |
| 2023-03-30 10:22:46 | × | tridactyl quits (~tridactyl@user/tridactyl) (Quit: Konversation terminated!) |
| 2023-03-30 10:51:53 | → | chomwitt joins (~chomwitt@ppp-94-69-24-223.home.otenet.gr) |
| 2023-03-30 10:57:43 | × | derpyxdhs quits (~derpyxdhs@user/derpyxdhs) (Ping timeout: 260 seconds) |
| 2023-03-30 11:23:56 | <geekosaur> | I see they left, but the best answer you'll get is that sjanssen chose X11 probably because dwm was using it at the time |
| 2023-03-30 11:24:39 | <geekosaur> | there was an early ticket about considering a move to xcb but even by that point it would have broken pretty much everything so it was dropped |
| 2023-03-30 11:29:13 | <geekosaur> | as to performance, by the time you'd notice the difference you'll have long since been bitten by the linked lists in the StackSet |
| 2023-03-30 13:22:03 | → | mncheck joins (~mncheck@193.224.205.254) |
| 2023-03-30 14:18:02 | → | todi joins (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-03-30 14:29:00 | <todi> | schreibt hir keiner |
| 2023-03-30 14:29:43 | <todi> | schreibt ihr deutsch oder englisch |
| 2023-03-30 14:30:20 | <vrs> | english mostly |
| 2023-03-30 14:33:40 | <todi> | ok |
| 2023-03-30 14:33:58 | <todi> | i can not so good english |
| 2023-03-30 14:34:18 | <todi> | a little byt |
| 2023-03-30 14:36:10 | <geekosaur> | I think I can understand broken English better than I can German, sorry |
| 2023-03-30 14:37:25 | <todi> | chandel ??? |
| 2023-03-30 14:38:23 | <todi> | and server |
| 2023-03-30 14:38:35 | <todi> | to talk german |
| 2023-03-30 14:39:51 | <geekosaur> | hm, I was hoping there was a #haskell-de to go with the other l10n channels but it appears not 😞 |
| 2023-03-30 14:40:39 | <geekosaur> | (actually that surprises me) |
| 2023-03-30 14:47:11 | <geekosaur> | mm, looks like matrix has #haskell.de:matrix.org, use https://element.io/download since they insist on being a web app instead of simple web page |
| 2023-03-30 14:48:51 | <geekosaur> | (or install Nheko via flatpak, but you probably don't want that for some quick questions) |
| 2023-03-30 15:23:52 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2023-03-30 16:00:04 | × | sparksdrinker[m] quits (~sparksdri@2001:470:69fc:105::3:1939) (Quit: You have been kicked for being idle) |
All times are in UTC.