Logs: liberachat/#haskell
| 2025-12-02 21:18:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 21:21:03 | <haskellbridge> | <sm> geekosaur nice! |
| 2025-12-02 21:21:13 | <haskellbridge> | <sm> I wonder what you were making in the C years |
| 2025-12-02 21:22:27 | <geekosaur> | database apps in the early years, then mostly porting and maintenance, then OpenAFS kernel module work |
| 2025-12-02 21:24:07 | <geekosaur> | that said, I was doing more than C the whole time, ranging from COBOL(!) and various "4GL" database languages to Perl and a bit of Tcl/Tk (I think I'm still credited for contributions to Exmh) |
| 2025-12-02 21:24:48 | <geekosaur> | JNOS/Linux (major porting effort from Windows, but a fairly limited audience: amateur radio TCP/IP) |
| 2025-12-02 21:25:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 21:26:51 | <geekosaur> | if there are any older U Manchester folks in channel: I wrote UnAxcess. many of the internet refs have it wrong, claiming I was at various universities that in fact got it from the old Usenet net.sources newsgroup |
| 2025-12-02 21:30:12 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-12-02 21:36:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 21:40:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 21:47:10 | <haskellbridge> | <loonycyborg> Did you do anything wayland in addition to X11? |
| 2025-12-02 21:49:23 | <haskellbridge> | <sm> cool cool |
| 2025-12-02 21:52:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 21:55:54 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-02 21:56:44 | × | absentia quits (~henricus@user/institor) (K-Lined) |
| 2025-12-02 21:56:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 21:57:16 | <geekosaur> | nope |
| 2025-12-02 21:57:26 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-02 21:57:49 | <geekosaur> | I, uh, disagree with a number of decisions they made |
| 2025-12-02 21:58:37 | <geekosaur> | not that I would at all recommend sticking with how X11 works; it was suitable for 1980s engineering workstations but not at all so for modern video hardware |
| 2025-12-02 21:59:30 | × | dhil quits (~dhil@5.151.29.141) (Ping timeout: 245 seconds) |
| 2025-12-02 22:00:12 | <geekosaur> | and X11 has a lot of horrid hacks to make it semifunctional on modern video |
| 2025-12-02 22:07:34 | <haskellbridge> | <loonycyborg> Is there a modern window system you're happier with than with wayland? |
| 2025-12-02 22:07:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 22:08:37 | <geekosaur> | Apple's ore Graphics is pretty good, at least from the client end and ignoring that it's closed source |
| 2025-12-02 22:08:44 | <geekosaur> | *Core |
| 2025-12-02 22:09:29 | <geekosaur> | (and that it's Apple) |
| 2025-12-02 22:11:41 | <geekosaur> | Wayland devs made some decisions about global event handling that are similar to IBM's Workplace Shell. And have thereby run into several of the same failure modes. Those who refuse to learn from history are doomed to repeat it. |
| 2025-12-02 22:12:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 22:12:57 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 22:13:10 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 22:18:39 | <haskellbridge> | <loonycyborg> I don't know much about those details but.. In general no technical decision should be considered in vacuum |
| 2025-12-02 22:19:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 22:20:45 | <haskellbridge> | <loonycyborg> Like any strategy that fails in one place is good fit for another. |
| 2025-12-02 22:24:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 22:24:26 | × | gentauro quits (~gentauro@user/gentauro) (Quit: leaving) |
| 2025-12-02 22:24:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 22:25:04 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 22:25:18 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 22:26:39 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-12-02 22:28:36 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-12-02 22:29:05 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-12-02 22:29:47 | → | tromp joins (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) |
| 2025-12-02 22:35:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 22:38:04 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2025-12-02 22:40:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 22:42:00 | trickard_ | is now known as trickard |
| 2025-12-02 22:46:07 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
| 2025-12-02 22:46:31 | → | polykernel joins (~polykerne@user/polykernel) |
| 2025-12-02 22:50:55 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-02 22:51:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 22:51:23 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 22:51:30 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-12-02 22:56:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-02 22:57:49 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-02 23:00:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-02 23:00:29 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 260 seconds) |
| 2025-12-02 23:03:23 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-12-02 23:04:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-12-02 23:06:19 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-02 23:07:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 23:10:33 | trickard_ | is now known as trickard |
| 2025-12-02 23:11:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 23:12:02 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-02 23:19:44 | → | Miroboru joins (~myrvoll@84.215.250.50) |
| 2025-12-02 23:22:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 23:24:46 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 23:24:59 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 23:26:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 23:27:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 23:38:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 23:41:14 | <iqubic> | Is there a list of Haskell code style things I should know about, like how many spaces to indent things and what have you? |
| 2025-12-02 23:43:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-02 23:43:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 23:43:44 | trickard_ | is now known as trickard |
| 2025-12-02 23:43:57 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-02 23:44:30 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-12-02 23:47:58 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-02 23:48:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-12-02 23:50:22 | <geekosaur> | in terms of style, the closest thing to a standard is what various code formatters do — but ormolu, fourmolu, stylish-haskell, brittany (now defunct, I think), etc. all have different opinions |
| 2025-12-02 23:52:27 | <iqubic> | Is there anywhere I can go to see what they all do? Is there a comparison anywhere? |
| 2025-12-02 23:54:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 23:58:57 | <EvanR> | I looked at ormolu's output and it didn't match my expectations of style |
| 2025-12-02 23:59:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-02 23:59:14 | <iqubic> | EvanR: What do you use? |
| 2025-12-02 23:59:31 | <EvanR> | nothing |
| 2025-12-02 23:59:55 | <iqubic> | I see. |
| 2025-12-03 00:00:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-03 00:00:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-03 00:01:24 | ← | Anarchos parts (~Anarchos@91-161-254-16.subs.proxad.net) () |
| 2025-12-03 00:05:44 | → | Googulator11 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 00:05:46 | × | Googulator95 quits (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 00:06:22 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-03 00:06:22 | <geekosaur> | likewise fwiw. I think I'd prefer stylish-haskell if someone held a gun to my head and forced me to use a formatter |
| 2025-12-03 00:09:30 | <jackdk> | ormolu's choices are mostly well-argued but somehow it manages to emit the least aesthetic code I've seen. this is not just an ormulu problem, btw - it seems that each new nix language formatter discovers new frontiers in uglifying code =(. Regardless, I still use autoformatters in a lot of projects just to avoid having style discussions. If I had the time and inclination, I'd look at twiddling the knobs on fourmolu to do more of what i wanted. |
| 2025-12-03 00:10:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 00:11:11 | <ski> | iqubic : <https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md> is one resource, that might be useful to check and ponder |
| 2025-12-03 00:11:18 | <ski> | (re tabs vs. spaces, "Yet Another Tabs v. Spaces Debate - I mix tabs and spaces" by dmwit at <http://dmwit.com/tabs/> (also <https://3.bp.blogspot.com/-kX7Gs0lFG_0/V9GIDlF59cI/AAAAAAAAG9E/8OXtloszZRMwd0_NjkWGk6qYedy_0m6jgCLcB/w1200-h630-p-k-no-nu/TabsSpacesBoth+2.png>) is another opinion) |
| 2025-12-03 00:11:20 | <EvanR> | autoformatter fans I've talked to would say if there are configuration options it's defeating the purpose (to have everyone use the same format) |
All times are in UTC.