Newest at the top
2024-05-25 01:00:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-25 00:57:34 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
2024-05-25 00:53:26 +0200 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) () |
2024-05-25 00:50:23 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 256 seconds) |
2024-05-25 00:50:17 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) |
2024-05-25 00:49:13 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) (Quit: Konversation terminated!) |
2024-05-25 00:47:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-05-25 00:46:01 +0200 | mikess | (~mikess@user/mikess) |
2024-05-25 00:41:56 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 256 seconds) |
2024-05-25 00:23:37 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
2024-05-25 00:23:02 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
2024-05-25 00:10:28 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:4da2:4a66:3d2f:f69f) (Remote host closed the connection) |
2024-05-25 00:09:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-25 00:04:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
2024-05-24 23:55:06 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-24 23:54:49 +0200 | ikimmit | (~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) (Remote host closed the connection) |
2024-05-24 23:53:45 +0200 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-24 23:53:27 +0200 | ikimmit | (~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) |
2024-05-24 23:45:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-24 23:45:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-24 23:42:34 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-24 23:42:13 +0200 | causal | (~eric@50.35.88.207) |
2024-05-24 23:42:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-24 23:34:09 +0200 | Guest|51 | (~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) (Client Quit) |
2024-05-24 23:33:28 +0200 | Guest|51 | (~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) |
2024-05-24 23:32:14 +0200 | <ph88> | ah ok |
2024-05-24 23:31:40 +0200 | <Leary> | That's `(HasDataID cs):cs`. |
2024-05-24 23:31:08 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-24 23:30:25 +0200 | <ph88> | Leary, why did you make it cs:cs ? |
2024-05-24 23:28:54 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) |
2024-05-24 23:27:45 +0200 | <ph88> | Leary, thanks ! |
2024-05-24 23:27:19 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-05-24 23:18:53 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
2024-05-24 23:14:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
2024-05-24 23:12:42 +0200 | johnw | (~johnw@69.62.242.138) |
2024-05-24 23:01:25 +0200 | phma | (~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer) |
2024-05-24 22:59:46 +0200 | <ski> | yea, that's a nice one |
2024-05-24 22:59:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-05-24 22:59:18 +0200 | <monochrom> | OTOH most of my students just use vscode and its haskell plugin, which probably already does its own thing about format. |
2024-05-24 22:59:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-24 22:58:47 +0200 | <monochrom> | But I follow most of this style guide, and share with my students: https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md |
2024-05-24 22:58:33 +0200 | <EvanR> | since we're not using valuable brain cycles juggling dynamic types in our heads, we can use them for important stuff like judgement and taste in formatting the code! |
2024-05-24 22:57:38 +0200 | ski | tends to err on the side of encouraging personal judgement and taste (informed by relevant concerns and common alternatives considered by people) |
2024-05-24 22:56:45 +0200 | <lxsameer> | anyway, thanks for sharing your experience folks |
2024-05-24 22:54:59 +0200 | pavonia | (~user@user/siracusa) |
2024-05-24 22:54:55 +0200 | <lxsameer> | that's true in Haskell though |
2024-05-24 22:54:47 +0200 | <monochrom> | Haskell code formatter can only do trivial things like "change 2 spaces to 3.1415 spaces". It can't fix your mistakes. |
2024-05-24 22:54:09 +0200 | <monochrom> | But it is NOT one fewer thing to worry about. You still worry about manually indenting correctly somehow. |
2024-05-24 22:53:33 +0200 | <monochrom> | You can still keep your "so the whole team stays consistent". |
2024-05-24 22:53:03 +0200 | <ski> | (sometimes my opinion in one situation differs from my opinion in another circumstance) |