Logs: freenode/#haskell
| 2021-03-07 02:43:57 | <monochrom> | I write main = interact (unlines . map read . lines) |
| 2021-03-07 02:44:15 | <monochrom> | But I also write f x = (arctan . sin) x + sqrt x |
| 2021-03-07 02:44:58 | <monochrom> | I don't go out of my way to be pointfree or pointful. That's my point. |
| 2021-03-07 02:45:07 | <MarcelineVQ> | -2 |
| 2021-03-07 02:45:10 | slack1256 | got the pun |
| 2021-03-07 02:45:13 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 02:45:34 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-03-07 02:45:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-07 02:45:50 | <MarcelineVQ> | monochrom: that's the modern monochrom-- fwiw |
| 2021-03-07 02:46:14 | <MarcelineVQ> | fwiw fyi bbq |
| 2021-03-07 02:48:04 | × | thrig1 quits (~thrig@178.239.168.171) (Remote host closed the connection) |
| 2021-03-07 02:48:07 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-07 02:48:38 | → | doyougnu joins (~user@c-67-168-253-231.hsd1.or.comcast.net) |
| 2021-03-07 02:49:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds) |
| 2021-03-07 02:52:55 | × | xff0x quits (~xff0x@2001:1a81:52b1:4b00:9db1:154e:449f:cfec) (Ping timeout: 240 seconds) |
| 2021-03-07 02:55:09 | → | xff0x joins (~xff0x@2001:1a81:52eb:4100:b845:cdb8:60dd:fe93) |
| 2021-03-07 02:55:28 | × | redmp quits (~redmp@172.58.35.234) (Ping timeout: 245 seconds) |
| 2021-03-07 02:59:57 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-07 03:00:08 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-07 03:05:54 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:c5e6:2aef:3cd6:33c8) (Remote host closed the connection) |
| 2021-03-07 03:06:08 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-07 03:07:55 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:c9:290:3666:3492) |
| 2021-03-07 03:10:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-07 03:12:47 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-07 03:12:48 | finn_elija | is now known as Guest6304 |
| 2021-03-07 03:12:48 | FinnElija | is now known as finn_elija |
| 2021-03-07 03:16:32 | × | Guest6304 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-07 03:17:14 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-07 03:23:40 | × | alx741 quits (~alx741@186.178.108.142) (Quit: alx741) |
| 2021-03-07 03:24:12 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 03:24:28 | × | ADG1089_ quits (~adg1089@122.163.167.99) (Ping timeout: 265 seconds) |
| 2021-03-07 03:26:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 03:29:36 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:41f1:ac6f:e52e:998c) |
| 2021-03-07 03:29:38 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-07 03:30:53 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.0.1) |
| 2021-03-07 03:31:24 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-07 03:31:38 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) |
| 2021-03-07 03:33:16 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-iccmdkrlldkpmdkm) |
| 2021-03-07 03:36:15 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-03-07 03:37:05 | → | theDon_ joins (~td@94.134.91.77) |
| 2021-03-07 03:37:42 | <growpotkin> | Hey it's been a while since I've written Haskell, but I used to all the time. There used to be a module/tool where you could give it a function definition, and it would rewrite/simplify it. I cannot remember the name of it for the life of me. It was really nice because it would tell you the fancy operator to replace a lot of `do' expressions with. |
| 2021-03-07 03:38:24 | × | pincel quits (~pyon@unaffiliated/pyon) (Quit: brb) |
| 2021-03-07 03:38:25 | <c_wraith> | hlint? |
| 2021-03-07 03:39:00 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 03:40:03 | × | theDon quits (~td@94.134.91.205) (Ping timeout: 256 seconds) |
| 2021-03-07 03:40:09 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-07 03:40:20 | <growpotkin> | No it's on the tip of my tongue though. It was like "hcompose" or something. I'm going to see if it's anywhere in my old dot files. It's driving me nuts I can't remember haha |
| 2021-03-07 03:40:20 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 03:40:24 | <hiptobecubic> | djinn |
| 2021-03-07 03:40:26 | <hiptobecubic> | ? |
| 2021-03-07 03:41:02 | <hiptobecubic> | there's djinn and some other thing that rewrites as pointfree |
| 2021-03-07 03:41:12 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 03:41:13 | <hiptobecubic> | whether that's "simplifying" it is another story |
| 2021-03-07 03:41:20 | <growpotkin> | pointfree ! |
| 2021-03-07 03:41:23 | <growpotkin> | yes thank you |
| 2021-03-07 03:41:30 | <growpotkin> | my savior |
| 2021-03-07 03:42:27 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 03:42:39 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 03:45:48 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:41f1:ac6f:e52e:998c) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-03-07 03:46:33 | → | ADG1089_ joins (~adg1089@122.163.167.99) |
| 2021-03-07 03:46:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds) |
| 2021-03-07 03:48:08 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 03:48:09 | × | ADG1089_ quits (~adg1089@122.163.167.99) (Read error: Connection reset by peer) |
| 2021-03-07 03:48:32 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-07 03:49:50 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 03:50:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-03-07 03:56:41 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Quit: leaving) |
| 2021-03-07 03:58:18 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 03:58:18 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 03:59:23 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 03:59:26 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 04:00:07 | → | zone117x1 joins (~zone117x@178.239.168.171) |
| 2021-03-07 04:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-07 04:02:13 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-07 04:05:17 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-03-07 04:06:05 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:40f8:9e5c:2d80:8515) |
| 2021-03-07 04:06:43 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-07 04:09:18 | → | thevishy joins (~Nishant@103.210.43.206) |
| 2021-03-07 04:09:39 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-07 04:15:38 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 04:16:49 | × | thevishy quits (~Nishant@103.210.43.206) (Ping timeout: 276 seconds) |
| 2021-03-07 04:17:40 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-07 04:20:07 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-03-07 04:20:44 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-03-07 04:21:33 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 246 seconds) |
| 2021-03-07 04:21:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-07 04:22:20 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-07 04:24:14 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-07 04:26:52 | <heck-to-the-gnom> | Ooh, I'll have to look into pointfree |
| 2021-03-07 04:29:06 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 04:30:25 | <swarmcollective> | @pl (h . g . f) x |
| 2021-03-07 04:30:25 | <lambdabot> | h (g (f x)) |
| 2021-03-07 04:30:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-07 04:30:57 | <swarmcollective> | @pointful h (g (f x)) |
| 2021-03-07 04:30:57 | <lambdabot> | h (g (f x)) |
| 2021-03-07 04:31:17 | <swarmcollective> | @unpl h (g (f x)) |
| 2021-03-07 04:31:17 | <lambdabot> | h (g (f x)) |
| 2021-03-07 04:31:39 | <swarmcollective> | @unpf h (g (f x)) |
| 2021-03-07 04:31:39 | <lambdabot> | h (g (f x)) |
| 2021-03-07 04:31:44 | <swarmcollective> | Hrmpf |
All times are in UTC.