Logs: liberachat/#haskell
| 2021-06-24 15:36:33 | → | adamse joins (sid72084@user/adamse) |
| 2021-06-24 15:36:40 | test | is now known as lep |
| 2021-06-24 15:36:41 | → | rizary_andika_ joins (sid220347@id-220347.tooting.irccloud.com) |
| 2021-06-24 15:36:43 | → | grfn joins (sid449115@id-449115.brockwell.irccloud.com) |
| 2021-06-24 15:36:45 | → | nrr joins (sid20938@id-20938.tooting.irccloud.com) |
| 2021-06-24 15:36:46 | → | kaizen joins (sid501599@id-501599.brockwell.irccloud.com) |
| 2021-06-24 15:36:47 | × | killsushi quits (~killsushi@user/killsushi) (Ping timeout: 250 seconds) |
| 2021-06-24 15:36:47 | → | conjunctive joins (sid433686@id-433686.brockwell.irccloud.com) |
| 2021-06-24 15:36:48 | × | bjs quits (sid190364@id-190364.brockwell.irccloud.com) (Changing host) |
| 2021-06-24 15:36:48 | → | bjs joins (sid190364@user/bjs) |
| 2021-06-24 15:36:48 | × | idnar quits (sid12240@id-12240.tooting.irccloud.com) (Changing host) |
| 2021-06-24 15:36:48 | → | idnar joins (sid12240@debian/mithrandi) |
| 2021-06-24 15:36:48 | × | mcfilib quits (sid302703@id-302703.brockwell.irccloud.com) (Changing host) |
| 2021-06-24 15:36:48 | → | mcfilib joins (sid302703@user/mcfilib) |
| 2021-06-24 15:36:49 | × | vito quits (sid1962@id-1962.highgate.irccloud.com) (Changing host) |
| 2021-06-24 15:36:49 | → | vito joins (sid1962@user/vito) |
| 2021-06-24 15:36:53 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 2021-06-24 15:36:53 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 2021-06-24 15:36:53 | → | cbarrett joins (sid192934@id-192934.brockwell.irccloud.com) |
| 2021-06-24 15:37:00 | → | JSharp joins (sid4580@id-4580.tooting.irccloud.com) |
| 2021-06-24 15:37:04 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 15:37:04 | bjfs | is now known as Guest3613 |
| 2021-06-24 15:37:26 | → | ouroboros joins (~ouroboros@user/ouroboros) |
| 2021-06-24 15:37:26 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 2021-06-24 15:37:33 | → | mht joins (~mht@mht.wtf) |
| 2021-06-24 15:37:34 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2021-06-24 15:37:35 | → | bbear joins (~znc@21212.s.t4vps.eu) |
| 2021-06-24 15:37:35 | → | gawen joins (~gawen@user/gawen) |
| 2021-06-24 15:37:37 | → | oats joins (~thomas@user/oats) |
| 2021-06-24 15:37:38 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-06-24 15:37:40 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2021-06-24 15:37:40 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2021-06-24 15:37:41 | → | sajith joins (~sajith@user/sajith) |
| 2021-06-24 15:37:41 | → | DigitalKiwi joins (~kiwi@2604:a880:400:d0::12fc:5001) |
| 2021-06-24 15:37:47 | → | anderson joins (~ande@134.209.221.71) |
| 2021-06-24 15:37:49 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-24 15:37:58 | → | mrkajetanp joins (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
| 2021-06-24 15:38:05 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-24 15:38:10 | → | sm joins (~user@plaintextaccounting/sm) |
| 2021-06-24 15:38:16 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-06-24 15:38:37 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 15:38:38 | → | radw joins (~radw@user/radw) |
| 2021-06-24 15:38:51 | → | w1gz joins (~do@159.89.11.133) |
| 2021-06-24 15:38:52 | → | st joins (~ts@46.101.20.9) |
| 2021-06-24 15:38:53 | → | sweater2 joins (~sweater@206.81.18.26) |
| 2021-06-24 15:40:04 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2021-06-24 15:41:31 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 15:41:38 | → | energizer joins (~energizer@user/energizer) |
| 2021-06-24 15:42:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 15:43:04 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 15:43:04 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-24 15:43:09 | → | TheCommieDuck joins (~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) |
| 2021-06-24 15:43:28 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-24 15:43:38 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-24 15:44:00 | × | azeem quits (~azeem@176.201.36.120) (Read error: Connection reset by peer) |
| 2021-06-24 15:44:53 | <TheCommieDuck> | Hey there. So coming back to haskell after some time away. Is the use of typeclasses in a classy lens type way (rather than foo :: ConcreteA -> Bar, you write foo :: HasA x => x -> Bar) a poor idea? I'm unsure if there's a nicer way to avoid this. it's not a closed type, so I can't just use a sum. |
| 2021-06-24 15:44:53 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-24 15:44:54 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-24 15:45:39 | → | Morrow joins (~MorrowM_@147.161.12.76) |
| 2021-06-24 15:46:00 | <shane> | TheCommieDuck: Have you seen generic-lens? |
| 2021-06-24 15:46:02 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 15:46:29 | <TheCommieDuck> | shane: I've seen a lot of lens but not specifically generic-lens, and I've read bits and pieces about generic but never quite understood it properly |
| 2021-06-24 15:46:41 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2) |
| 2021-06-24 15:47:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) (Ping timeout: 250 seconds) |
| 2021-06-24 15:47:35 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 15:47:42 | → | azeem joins (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-24 15:48:07 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-24 15:48:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 15:49:00 | <shane> | It might be a way to get you what you want. You can use it with an extension called OverloadedLabels (which look like #foo). #foo would be a magic lens for any type with a Generic instance that has a field named "foo" |
| 2021-06-24 15:49:51 | <TheCommieDuck> | I'll give it a look, thank you...I've always shyed away from generic because it feels like throwing away the hefty type system bonuses |
| 2021-06-24 15:50:17 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 15:50:19 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 15:50:28 | <shane> | Ah no, not at all |
| 2021-06-24 15:50:34 | <shane> | It's completely type safe |
| 2021-06-24 15:51:38 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 15:51:48 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-24 15:51:52 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 15:52:10 | carbolymer_ | is now known as carbolymer |
| 2021-06-24 15:52:24 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-06-24 15:52:32 | <c_wraith> | generic-lens gives you incredibly specific type errors, in fact. |
| 2021-06-24 15:52:49 | <TheCommieDuck> | huh, cool. I'll give this a solid looksie. |
| 2021-06-24 15:52:57 | <TheCommieDuck> | thank you! |
| 2021-06-24 15:53:24 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-06-24 15:54:07 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-24 15:54:41 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 15:56:14 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 15:56:18 | → | jlou2u joins (~justin@151.197.213.39) |
| 2021-06-24 15:59:07 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 15:59:07 | bjobjo_ | is now known as bjobjo |
| 2021-06-24 15:59:16 | × | bjobjo quits (~bo@2a01:79c:cebf:d688::9e6) (Changing host) |
| 2021-06-24 15:59:16 | → | bjobjo joins (~bo@user/bjobjo) |
| 2021-06-24 16:00:15 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 16:00:34 | × | DNH quits (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-24 16:00:40 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-24 16:01:38 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 16:02:22 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-24 16:02:26 | → | DNH joins (~DNH@8.43.122.6) |
| 2021-06-24 16:03:26 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-24 16:03:38 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-24 16:03:59 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
All times are in UTC.