Logs: liberachat/#haskell
| 2021-07-28 01:51:24 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-28 01:54:11 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2021-07-28 01:57:35 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-28 02:02:35 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-28 02:03:11 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-28 02:06:39 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-07-28 02:06:41 | → | robo_cuckoo joins (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01) |
| 2021-07-28 02:06:57 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-28 02:07:19 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-07-28 02:08:37 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-07-28 02:09:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-28 02:10:24 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-28 02:14:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-28 02:15:16 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-28 02:16:38 | → | derelbenkoenig joins (~derelbenk@99-149-123-44.lightspeed.rlghnc.sbcglobal.net) |
| 2021-07-28 02:19:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-28 02:19:30 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-07-28 02:19:39 | <derelbenkoenig> | howdy |
| 2021-07-28 02:26:00 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-28 02:26:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-28 02:29:55 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-28 02:29:55 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2021-07-28 02:29:55 | finn_elija | is now known as FinnElija |
| 2021-07-28 02:30:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-28 02:30:44 | <geekosaur> | ohai |
| 2021-07-28 02:34:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-28 02:35:03 | <robo_cuckoo> | hello |
| 2021-07-28 02:35:47 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-28 02:44:08 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-28 02:44:13 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-07-28 02:48:43 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 2021-07-28 02:54:31 | <zzz> | aloha |
| 2021-07-28 02:56:52 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-28 02:57:36 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 258 seconds) |
| 2021-07-28 03:00:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-28 03:00:55 | × | td_ quits (~td@muedsl-82-207-238-215.citykom.de) (Ping timeout: 265 seconds) |
| 2021-07-28 03:02:31 | → | td_ joins (~td@muedsl-82-207-238-200.citykom.de) |
| 2021-07-28 03:03:19 | <lechner> | Hi, what's a good Haskell code formatter, please? |
| 2021-07-28 03:06:03 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-28 03:06:40 | <lechner> | stylish-haskell? |
| 2021-07-28 03:07:02 | <dsal> | I like it, but code formatting is somewhat controversial. |
| 2021-07-28 03:07:39 | <dsal> | Ormolu is gaining popularity, but, imo makes code harder to read. |
| 2021-07-28 03:07:45 | <lechner> | not in my case. any of them would do, i'm sure |
| 2021-07-28 03:07:58 | <lechner> | what's wrong with ormulu? |
| 2021-07-28 03:08:40 | <dsal> | They took some cues from elm to prioritize reading diffs over reading code |
| 2021-07-28 03:08:44 | <lechner> | brittany? |
| 2021-07-28 03:08:45 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-28 03:08:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-28 03:08:56 | <dsal> | So you the up with taller, more whitespace rich code. |
| 2021-07-28 03:09:29 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-28 03:09:40 | <lechner> | yeah, ormulu is probably not for me |
| 2021-07-28 03:09:41 | <dsal> | It's not actually as bad add elm, but that's a terrible place to get inspiration if you want to read a simple function without scrolling. |
| 2021-07-28 03:11:05 | <dsal> | Ormolu has at least one bug open for reducing some obnoxious line breaking, but the one I'm thinking of has been open as long as I've been aware of the project. |
| 2021-07-28 03:11:46 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-07-28 03:15:12 | <lechner> | stylish doesn't break long lines |
| 2021-07-28 03:18:33 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-28 03:19:12 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-28 03:19:23 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-28 03:19:26 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-28 03:22:23 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-28 03:23:32 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-28 03:24:14 | × | Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) (Remote host closed the connection) |
| 2021-07-28 03:27:02 | <lechner> | i went with hfmt |
| 2021-07-28 03:27:27 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-28 03:28:27 | <lechner> | maybe not |
| 2021-07-28 03:30:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-28 03:33:20 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-07-28 03:33:26 | → | eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-28 03:34:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-28 03:34:17 | × | derelbenkoenig quits (~derelbenk@99-149-123-44.lightspeed.rlghnc.sbcglobal.net) (Quit: leaving) |
| 2021-07-28 03:34:22 | <dsal> | I use stylish-haskell some. It only occasionally does things that are offensive. |
| 2021-07-28 03:35:27 | <dsal> | The results at least look a bit like haskell I see elsewhere. :) If your format is too different from stdlib, I don't think you're doing a good service to the community. |
| 2021-07-28 03:35:44 | → | jushur joins (~human@user/jushur) |
| 2021-07-28 03:36:10 | × | robo_cuckoo quits (~yilin@2601:400:c100:6330:6b23:fdc1:34d0:ae01) (Quit: WeeChat 2.3) |
| 2021-07-28 03:36:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-28 03:38:08 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2021-07-28 03:38:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-28 03:41:40 | × | juhp quits (~juhp@128.106.188.220) (Quit: juhp) |
| 2021-07-28 03:41:54 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-07-28 03:42:31 | <lechner> | hfmt says it uses stylish. the latter does not break long lines, which is where most of my problems are |
| 2021-07-28 03:42:51 | <lechner> | but hfmt is dense. |
| 2021-07-28 03:42:57 | <siraben> | ormolu is what I use and seems to be the most readable, tbh |
| 2021-07-28 03:43:06 | <siraben> | stylish-haskell does some whacky things with indentation |
| 2021-07-28 03:43:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-28 03:43:34 | <lechner> | as for hfmt, is it normal to use no blank lines in functions? |
| 2021-07-28 03:44:24 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Remote host closed the connection) |
| 2021-07-28 03:46:57 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 2021-07-28 03:47:53 | <dsal> | This is definitely not an improvement in readability: https://usercontent.irccloud-cdn.com/file/EUKwWwKa/ormolu.png |
| 2021-07-28 03:50:07 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-28 03:50:28 | <dsal> | It also did a lot of this kind of stuff: https://usercontent.irccloud-cdn.com/file/DiODfgZI/mormolu.png |
| 2021-07-28 03:50:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-28 03:51:06 | <siraben> | you can configure those, no? |
| 2021-07-28 03:51:11 | <dsal> | Definitely not as bad as elm, which typically ~doubles the number of lines in a file, but it's not an improvement: 4 files changed, 1158 insertions(+), 969 deletions(-) |
| 2021-07-28 03:51:38 | <dsal> | I thought the point that was that it wasn't configurable. |
| 2021-07-28 03:51:59 | <dsal> | One of their stated goals: Implementing one “true” formatting style which admits no configuration. |
| 2021-07-28 03:52:15 | × | dermato quits (~dermatobr@154.21.114.128) (Quit: WeeChat 3.1) |
| 2021-07-28 03:53:09 | <dsal> | That's why there's a whole fork just to allow something other than two space indentation. :) |
| 2021-07-28 03:55:37 | → | Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) |
| 2021-07-28 03:56:36 | <dsal> | both of these are about their "minimize diff" goals. I do not share that goal. I also know how to use my diff tools better than that. |
| 2021-07-28 04:05:04 | <monochrom> | History is the dialectic class struggle between someone's idea of one true way and someone else's idea of one true way. |
All times are in UTC.