Logs: freenode/#haskell
| 2021-03-05 15:22:43 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-05 15:22:44 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-05 15:23:08 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 2021-03-05 15:23:29 | × | maier quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds) |
| 2021-03-05 15:23:45 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-03-05 15:24:30 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-03-05 15:26:07 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 2021-03-05 15:27:48 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-03-05 15:28:53 | → | gitgoood joins (~gitgood@82-132-218-124.dab.02.net) |
| 2021-03-05 15:29:56 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) (Remote host closed the connection) |
| 2021-03-05 15:30:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 240 seconds) |
| 2021-03-05 15:30:34 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:f50e:8a4c:76f4:c2b8) |
| 2021-03-05 15:31:00 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-03-05 15:31:40 | × | gitgood quits (~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-05 15:32:12 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-05 15:33:24 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-05 15:33:24 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-05 15:33:24 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-05 15:33:37 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Client Quit) |
| 2021-03-05 15:33:54 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-05 15:33:57 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Client Quit) |
| 2021-03-05 15:35:22 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-05 15:36:28 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-05 15:37:20 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-gudvzeidxnskkkra) (Quit: Connection closed for inactivity) |
| 2021-03-05 15:40:09 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds) |
| 2021-03-05 15:46:44 | → | Pressyware[m] joins (pressyware@gateway/shell/matrix.org/x-cypbqfareuipwdxl) |
| 2021-03-05 15:49:19 | <ADG1089__> | I'm only upset that there is a <0.06 sec version |
| 2021-03-05 15:49:33 | <ADG1089__> | and I am still stuck at 32 sec |
| 2021-03-05 15:49:42 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-05 15:50:04 | × | xff0x quits (~xff0x@2001:1a81:5278:3000:6caf:8f38:636e:aa55) (Remote host closed the connection) |
| 2021-03-05 15:50:23 | → | xff0x joins (~xff0x@2001:1a81:5278:3000:57ba:9247:ce34:6483) |
| 2021-03-05 15:50:54 | <merijn> | ADG1089__: I see you using foldl1 |
| 2021-03-05 15:51:00 | <merijn> | Pretty sure that isn't strict |
| 2021-03-05 15:51:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 15:52:08 | <merijn> | ADG1089__: What happens if you replace it with: https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-List.html#v:foldl1-39- ? |
| 2021-03-05 15:53:37 | <maerwald> | am I the only one constantly getting confused by the use of :: for kind signatures? |
| 2021-03-05 15:54:11 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-05 15:54:36 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-05 15:54:58 | <ADG1089__> | merijn: 1-2 sec improvement |
| 2021-03-05 15:55:08 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 2021-03-05 15:56:56 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 240 seconds) |
| 2021-03-05 15:57:18 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-05 15:57:30 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-05 15:57:50 | → | ADG1089 joins (~adg1089@106.214.235.119) |
| 2021-03-05 15:58:40 | × | jlamothe quits (~jlamothe@198.251.55.207) (Ping timeout: 276 seconds) |
| 2021-03-05 16:00:54 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 2021-03-05 16:02:09 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-03-05 16:02:23 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-05 16:03:07 | → | conal_ joins (~conal@192.145.118.163) |
| 2021-03-05 16:03:22 | × | conal_ quits (~conal@192.145.118.163) (Client Quit) |
| 2021-03-05 16:03:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-05 16:08:23 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 2021-03-05 16:08:38 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-05 16:09:31 | × | gitgoood quits (~gitgood@82-132-218-124.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-05 16:09:38 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 2021-03-05 16:10:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-05 16:11:01 | × | o1lo01ol_ quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-03-05 16:12:09 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 2021-03-05 16:12:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-03-05 16:14:45 | → | loyon joins (loyonmatri@gateway/shell/matrix.org/x-pibcmanmmawjsdlg) |
| 2021-03-05 16:16:24 | <loyon> | I'm looking for an auto-formatter, I see there is different one around, which one do you use and would recommend? |
| 2021-03-05 16:17:07 | <Uniaika> | I use stylish-haskell, very satisfied with it |
| 2021-03-05 16:17:13 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 2021-03-05 16:17:21 | <maerwald> | I don't like any of them... brittany looked most promising, but it has a habit of doing excessive newlining... ormolu is just awful |
| 2021-03-05 16:17:29 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-05 16:17:58 | <shapr> | I like ormolu because it formats the most things in the most opinionated way |
| 2021-03-05 16:18:12 | <shapr> | and I really just want a formatter |
| 2021-03-05 16:18:38 | <shapr> | The formatters in other languages often don't handle spaces inside parens and all sorts of other picky details, I want *everything* formatted |
| 2021-03-05 16:19:31 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 2021-03-05 16:20:21 | <maerwald> | I found formatters in other languages generally work better than in haskell |
| 2021-03-05 16:20:32 | <maerwald> | haskell formatters can't even deal correctly with CPP |
| 2021-03-05 16:20:36 | <loyon> | thanks everyone, I'm really looking for something that format everything so ormolu is what I will try first. If it's too much stylish-haskell seems to offer a reasonable middle ground. |
| 2021-03-05 16:20:46 | <lortabac> | one thing I dislike about ormolu is that it doesn't add newlines if there isn't at least one already |
| 2021-03-05 16:20:47 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-05 16:21:40 | <lortabac> | sometimes I want to write a long expression on one line and let the formatter do everything, but with ormolu I have to add at least one random newline to trigger proper formatting |
| 2021-03-05 16:21:53 | <lortabac> | otherwise it would leave everything on one line |
| 2021-03-05 16:22:00 | → | frozenErebus joins (~frozenEre@94.128.219.166) |
| 2021-03-05 16:23:07 | <loyon> | that is very good to know lortabac , because that's exactly what I was hoping for haha, to break my endless lines automagically. |
| 2021-03-05 16:23:14 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-05 16:25:43 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-05 16:25:50 | → | vilpan joins (~0@212.117.1.172) |
| 2021-03-05 16:26:06 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-05 16:26:09 | <lortabac> | loyon: then brittany might be a better choice |
| 2021-03-05 16:26:23 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds) |
| 2021-03-05 16:26:58 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 2021-03-05 16:27:20 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-jycqcvdxtuypsqup) |
| 2021-03-05 16:28:08 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 2021-03-05 16:28:39 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 2021-03-05 16:28:54 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-05 16:30:59 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 2021-03-05 16:31:06 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 2021-03-05 16:31:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 240 seconds) |
| 2021-03-05 16:31:19 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-05 16:31:24 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 2021-03-05 16:31:31 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 2021-03-05 16:31:56 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 2021-03-05 16:32:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 16:33:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection) |
| 2021-03-05 16:34:33 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 16:35:20 | → | HaeB1 joins (~HaeB@217.146.82.202) |
All times are in UTC.