Logs: liberachat/#haskell
| 2025-12-03 00:11:57 | <int-e> | but if you don't have options then you're defeating adaptation :-P |
| 2025-12-03 00:11:59 | <ski> | i would not trust an autoformatter, without closely checking out its opinions |
| 2025-12-03 00:12:15 | <int-e> | I meant adoptation, though both work |
| 2025-12-03 00:12:19 | <jackdk> | EvanR: I disagree, because you can still maintain consistency within a codebase, which is where I feel it's most important. |
| 2025-12-03 00:12:27 | <jackdk> | (with autoformatter fans, not with you) |
| 2025-12-03 00:12:49 | <EvanR> | really |
| 2025-12-03 00:13:11 | <EvanR> | so like project1 is somehow set up with config 1, project 2 config 2 and everyone can actually keep it straight |
| 2025-12-03 00:13:44 | ski | indents by two spaces (including the whole module body, from the `where') |
| 2025-12-03 00:13:44 | × | xff0x quits (~xff0x@2405:6580:b080:900:b577:52ee:470:5943) (Ping timeout: 244 seconds) |
| 2025-12-03 00:14:23 | <iqubic> | Wait... are you serieous? |
| 2025-12-03 00:15:24 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 00:15:29 | <ski> | of course |
| 2025-12-03 00:16:04 | <ski> | (exception is if there's no `module ... where' part) |
| 2025-12-03 00:16:54 | <geekosaur> | my response to said autoformatter fans is that as soon as there's more than one such the purpose is already defeated |
| 2025-12-03 00:17:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-03 00:17:09 | <jackdk> | EvanR: Yes, the configurable formatters I'm aware of can store the project config in version control next to the source. |
| 2025-12-03 00:17:18 | <geekosaur> | and you will not convince everyone in the Haskell community to use One True Formatter |
| 2025-12-03 00:17:47 | <haskellbridge> | <loonycyborg> if there was one true way then compiler would enforce it :P |
| 2025-12-03 00:18:09 | <geekosaur> | (case in point, brittany's origins — and its demise) |
| 2025-12-03 00:18:27 | <haskellbridge> | <loonycyborg> I think it emits warning if you stick "\t" somewhere already |
| 2025-12-03 00:18:38 | <haskellbridge> | <loonycyborg> while in YAML they're illegal altogether |
| 2025-12-03 00:18:49 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-12-03 00:19:57 | <ski> | i also not that seldom divide the source into pages (separated by form feeds) of size between thirtythree and sixtysix lines (c.f. "Riastradh's Lisp Style Rules" <https://mumble.net/~campbell/scheme/style.txt>) |
| 2025-12-03 00:20:07 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 264 seconds) |
| 2025-12-03 00:20:42 | <geekosaur> | now I'm being reminded of C source code formatted with formfeeds in comments between functions, thanks |
| 2025-12-03 00:28:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 00:33:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-03 00:35:44 | → | Googulator88 joins (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-03 00:35:45 | × | Googulator11 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 00:41:44 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-03 00:44:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 00:49:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-03 00:52:54 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-03 00:54:12 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-12-03 00:56:20 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 01:01:14 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 260 seconds) |
| 2025-12-03 01:09:59 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-03 01:13:58 | <iqubic> | I can't tell if my LSP is configured incorrectly or if weird things are happening here. |
| 2025-12-03 01:14:25 | <iqubic> | By default, is hlint supposed to give a warning for unused function inputs? |
| 2025-12-03 01:14:31 | <iqubic> | part1 :: String -> Int |
| 2025-12-03 01:14:39 | <iqubic> | part1 i = undefined |
| 2025-12-03 01:15:10 | <iqubic> | It's not telling me anything about the parameter i being unused. |
| 2025-12-03 01:15:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 01:16:30 | × | acidjnk quits (~acidjnk@p200300d6e71719443da791614ae70cbb.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-12-03 01:16:45 | <davean> | I'm at a loss why people care about style. It takes real work to make a style so bad it actually matters. |
| 2025-12-03 01:18:18 | <davean> | You can do it, but I've not seen it outside of obfuscation contests. |
| 2025-12-03 01:19:41 | → | omidmash5 joins (~omidmash@user/omidmash) |
| 2025-12-03 01:19:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-03 01:21:25 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-03 01:21:25 | omidmash5 | is now known as omidmash |
| 2025-12-03 01:22:28 | <probie> | davean: Broken window theory. If the style is inconsistent, it'll encourage other bad behaviours that actually have consequences |
| 2025-12-03 01:24:45 | <davean> | That doesn't follow the structure of the broken window theory to me |
| 2025-12-03 01:24:55 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-03 01:25:00 | <davean> | The same "therefor" doesn't hold or apply |
| 2025-12-03 01:25:48 | → | X-Scale joins (~ARM@50.65.114.89.rev.vodafone.pt) |
| 2025-12-03 01:26:37 | → | mehbark joins (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-03 01:26:58 | × | mehbark quits (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-03 01:26:58 | → | mehbark joins (~mehbark@user/mehbark) |
| 2025-12-03 01:27:19 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-03 01:30:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 01:31:56 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-03 01:32:46 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 01:33:00 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 01:33:15 | → | img joins (~img@user/img) |
| 2025-12-03 01:33:28 | <davean> | "I don't like their style" is different from "this isn't maintained. The equivilence for the broken window theory would be coming across a place with gothic arches |
| 2025-12-03 01:34:07 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-03 01:35:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-03 01:36:24 | × | divya quits (divya@140.238.251.170) (Ping timeout: 244 seconds) |
| 2025-12-03 01:44:24 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 01:46:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 01:48:34 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 246 seconds) |
| 2025-12-03 01:52:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 01:55:51 | <geekosaur> | the usual argument I hear for forcing formatting in projects is they usually enforce a style that minimizes diffs |
| 2025-12-03 02:02:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-03 02:02:08 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) |
| 2025-12-03 02:04:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 02:06:46 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 265 seconds) |
| 2025-12-03 02:07:33 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-03 02:09:38 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-12-03 02:09:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-03 02:20:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 02:24:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 02:33:34 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-03 02:34:24 | → | finsternis joins (~X@23.226.237.192) |
| 2025-12-03 02:36:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 02:36:56 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-03 02:40:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-03 02:49:35 | → | wbooze joins (~wbooze@2001-4dd7-9813-0-4568-5322-9334-ddaa.ipv6dyn.netcologne.de) |
| 2025-12-03 02:51:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 02:52:15 | trickard_ | is now known as trickard |
| 2025-12-03 02:56:20 | → | AlexNoo_ joins (~AlexNoo@85.174.183.177) |
| 2025-12-03 02:56:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-03 02:57:50 | × | AlexZenon quits (~alzenon@85.174.183.216) (Ping timeout: 245 seconds) |
| 2025-12-03 02:59:35 | × | AlexNoo quits (~AlexNoo@85.174.183.216) (Ping timeout: 240 seconds) |
| 2025-12-03 03:01:57 | → | AlexZenon joins (~alzenon@85.174.183.177) |
| 2025-12-03 03:04:41 | <EvanR> | that would be a good argument |
| 2025-12-03 03:04:43 | <EvanR> | if it were true |
| 2025-12-03 03:05:01 | <EvanR> | auto formatting after a code change may have collateral damage when hit with the autoformatter |
| 2025-12-03 03:05:05 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-03 03:07:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.