Logs: liberachat/#haskell
| 2021-07-04 18:38:24 | <monochrom> | (\x y -> Range (x,y)) is just fine. I don't believe that the use of <$> must be correlated to the use of pointfree. |
| 2021-07-04 18:39:00 | <geekosaur> | there is that, I guess |
| 2021-07-04 18:39:25 | <fakehacker[m]> | Yeah |
| 2021-07-04 18:39:33 | <monochrom> | Indeed if you did not know that (,) existed, you would be able to think up (\x y -> Range (x,y)) yourself. My students do. |
| 2021-07-04 18:39:44 | → | Schrostfutz joins (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) |
| 2021-07-04 18:41:32 | <monochrom> | Some of my students don't know that "fmap Just xs" is a thing, they write like "fmap (\x -> Just x) xs". |
| 2021-07-04 18:42:22 | <fakehacker[m]> | Right |
| 2021-07-04 18:42:24 | <monochrom> | This is liberating. When what you really need is "(\x y -> Range (x+1, y-2))" my students won't be afraid to write exactly that and get shit done. |
| 2021-07-04 18:43:26 | <fakehacker[m]> | Well, this was mainly a learning exercise because I just couldn't figure out how to do it without the do-notation and I couldn't just drop it without figuring it out! |
| 2021-07-04 18:43:39 | <monochrom> | Whereas a pointfree fan who doesn't actually have the pointfree ability to go with it suffers writer's block. |
| 2021-07-04 18:48:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 18:48:50 | <dsal> | :t fmap curry |
| 2021-07-04 18:48:51 | <lambdabot> | Functor f => f ((a, b) -> c) -> f (a -> b -> c) |
| 2021-07-04 18:48:55 | → | econo joins (uid147250@user/econo) |
| 2021-07-04 18:52:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-04 18:52:47 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 18:56:31 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-04 18:59:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-04 19:00:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-04 19:00:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 19:01:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-04 19:01:21 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-04 19:04:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 19:09:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-04 19:14:05 | → | safinaskar joins (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-07-04 19:14:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-04 19:14:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 19:15:57 | <hendursaga> | energizer: none that I know of but that's an interesting idea.. |
| 2021-07-04 19:17:56 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-07-04 19:18:40 | → | edward1 joins (~edward@cpc69060-oxfd26-2-0-cust374.4-3.cable.virginm.net) |
| 2021-07-04 19:21:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 19:26:31 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-04 19:27:37 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-04 19:30:30 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-04 19:32:40 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-04 19:33:52 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-04 19:34:10 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 19:35:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-04 19:41:36 | × | xwx quits (~george@user/george) (Ping timeout: 268 seconds) |
| 2021-07-04 19:43:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-04 19:43:26 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-04 19:43:32 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 19:43:38 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 19:43:55 | → | myShoggoth joins (~myShoggot@75.164.51.64) |
| 2021-07-04 19:44:53 | → | cuz joins (~user@2601:182:cc02:8b0:70f8:b993:ed53:22fb) |
| 2021-07-04 19:45:12 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 19:49:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-07-04 19:49:02 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-04 19:49:04 | cheater1__ | is now known as cheater |
| 2021-07-04 19:51:55 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-07-04 19:55:26 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2021-07-04 19:57:01 | × | Schrostfutz quits (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-04 19:58:00 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-07-04 19:58:54 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-07-04 19:59:07 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-04 19:59:10 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-04 19:59:11 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-07-04 19:59:31 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 20:04:31 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-04 20:05:24 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 252 seconds) |
| 2021-07-04 20:06:52 | × | fendor quits (~fendor@91.141.35.106.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-04 20:07:59 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-04 20:08:30 | → | fendor joins (~fendor@91.141.35.106.wireless.dyn.drei.com) |
| 2021-07-04 20:08:31 | → | xwx joins (~george@user/george) |
| 2021-07-04 20:15:50 | × | cuz quits (~user@2601:182:cc02:8b0:70f8:b993:ed53:22fb) (Ping timeout: 256 seconds) |
| 2021-07-04 20:18:51 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-04 20:19:15 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 20:22:32 | × | PPK quits (~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) (Quit: WeeChat 3.2) |
| 2021-07-04 20:22:36 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-04 20:24:03 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9560cc287b29f6323197.dip0.t-ipconnect.de) |
| 2021-07-04 20:25:12 | × | dunkeln_ quits (~dunkeln@188.71.194.238) (Ping timeout: 252 seconds) |
| 2021-07-04 20:25:36 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-07-04 20:26:21 | → | magthe joins (~magthe@c83-252-48-230.bredband.tele2.se) |
| 2021-07-04 20:27:30 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:af42:e045:e98b:4388) (Ping timeout: 240 seconds) |
| 2021-07-04 20:28:43 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:5705:7057:8694:6ccc) |
| 2021-07-04 20:32:23 | × | magthe quits (~magthe@c83-252-48-230.bredband.tele2.se) (Quit: WeeChat 3.2) |
| 2021-07-04 20:32:37 | → | jared1 joins (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) |
| 2021-07-04 20:35:53 | × | fendor quits (~fendor@91.141.35.106.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-04 20:35:59 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:5705:7057:8694:6ccc) (Quit: WeeChat 3.2) |
| 2021-07-04 20:36:06 | ← | jared1 parts (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) () |
| 2021-07-04 20:36:24 | → | fendor joins (~fendor@91.141.35.106.wireless.dyn.drei.com) |
| 2021-07-04 20:37:34 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:5705:7057:8694:6ccc) |
| 2021-07-04 20:40:47 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-04 20:42:02 | × | myShoggoth quits (~myShoggot@75.164.51.64) (Ping timeout: 268 seconds) |
| 2021-07-04 20:43:30 | → | jared2 joins (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) |
| 2021-07-04 20:43:36 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-04 20:43:54 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-04 20:45:22 | × | whiteline quits (~whiteline@c-cda8d954.54725-0-757473696b74.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2021-07-04 20:46:12 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-07-04 20:46:31 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-07-04 20:46:35 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-04 20:47:01 | → | cheater joins (~Username@user/cheater) |
| 2021-07-04 20:47:50 | ← | jared2 parts (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) (WeeChat 3.2) |
| 2021-07-04 20:49:00 | → | cuz joins (~user@2601:182:cc02:8b0:b9cd:400f:8605:1044) |
| 2021-07-04 20:49:19 | → | Guest56 joins (~Guest56@188.27.129.10) |
| 2021-07-04 20:49:53 | → | jared2 joins (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) |
| 2021-07-04 20:52:33 | × | Guest56 quits (~Guest56@188.27.129.10) (Client Quit) |
| 2021-07-04 20:54:32 | ← | jared2 parts (~jared@node-1w7jr9yeneb62gnlkycjvhdv6.ipv6.telus.net) (WeeChat 3.2) |
| 2021-07-04 20:54:54 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-04 20:56:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
All times are in UTC.