Logs: liberachat/#haskell
| 2021-07-17 12:46:34 | <kuribas> | However a theoretically, a "live" programming environment with integrated version control could be nice. |
| 2021-07-17 12:46:44 | <kuribas> | I don't know if that ever has been done. |
| 2021-07-17 12:47:32 | <maerwald> | https://hackage.haskell.org/package/optics-th-0.4/docs/Optics-TH.html#v:makeClassy |
| 2021-07-17 12:47:34 | <maerwald> | https://hackage.haskell.org/package/optics-th-0.4/docs/Optics-TH.html#v:makeFieldsNoPrefix |
| 2021-07-17 12:47:36 | <maerwald> | https://hackage.haskell.org/package/generic-optics-2.2.0.0/docs/Data-Generics-Product-Fields.html#t:HasField |
| 2021-07-17 12:47:38 | <maerwald> | which one of those to pick? |
| 2021-07-17 12:48:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 12:49:00 | <maerwald> | HasField is kinda cool with those neat type errors |
| 2021-07-17 12:49:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-17 12:51:41 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2021-07-17 12:52:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-17 12:53:54 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 240 seconds) |
| 2021-07-17 12:55:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-17 12:55:32 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-17 12:57:13 | → | pesada joins (~agua@2804:18:48:588b:1:0:277e:35b0) |
| 2021-07-17 12:57:27 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 12:59:33 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-d983-46dc-7f08-a171.fixed6.kpn.net) (Ping timeout: 255 seconds) |
| 2021-07-17 12:59:34 | × | azeem quits (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-17 13:01:06 | × | agua quits (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 240 seconds) |
| 2021-07-17 13:04:25 | → | azeem joins (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-17 13:06:50 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-17 13:08:00 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-17 13:08:26 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-17 13:11:29 | → | chomwitt joins (~Pitsikoko@athedsl-32487.home.otenet.gr) |
| 2021-07-17 13:16:58 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:3e00:8986:ae6e:2aac) (Remote host closed the connection) |
| 2021-07-17 13:21:34 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-07-17 13:22:43 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-17 13:24:15 | → | justLearning96 joins (~justLearn@bb42-60-215-35.singnet.com.sg) |
| 2021-07-17 13:27:14 | ← | justLearning96 parts (~justLearn@bb42-60-215-35.singnet.com.sg) () |
| 2021-07-17 13:29:20 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-07-17 13:31:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-17 13:32:07 | → | agua joins (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-17 13:33:28 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 13:34:12 | × | pesada quits (~agua@2804:18:48:588b:1:0:277e:35b0) (Ping timeout: 255 seconds) |
| 2021-07-17 13:39:28 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2021-07-17 13:40:39 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-07-17 13:41:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 13:43:28 | → | Guest15 joins (~Guest15@2402:e280:2117:297:e041:4ae1:dd3c:1f08) |
| 2021-07-17 13:43:50 | × | xff0x quits (~xff0x@2001:1a81:5219:9d00:3d14:ef54:1c92:a192) (Ping timeout: 255 seconds) |
| 2021-07-17 13:44:20 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-17 13:44:30 | → | xff0x joins (~xff0x@port-92-193-131-10.dynamic.as20676.net) |
| 2021-07-17 13:45:18 | × | Guest15 quits (~Guest15@2402:e280:2117:297:e041:4ae1:dd3c:1f08) (Client Quit) |
| 2021-07-17 13:54:00 | × | mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-17 14:02:29 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-17 14:02:49 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 14:04:05 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-17 14:06:40 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 14:06:43 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-07-17 14:08:18 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-07-17 14:09:10 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-17 14:19:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-17 14:21:25 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 14:35:11 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-17 14:40:32 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-17 14:40:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 14:44:11 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-17 14:44:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-17 14:44:38 | × | Guest77 quits (~Guest77@2402:e280:2117:297:e041:4ae1:dd3c:1f08) (Quit: Ping timeout (120 seconds)) |
| 2021-07-17 14:45:50 | → | Guest77 joins (~Guest77@2402:e280:2117:297:e041:4ae1:dd3c:1f08) |
| 2021-07-17 14:51:13 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-17 14:55:15 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-17 14:56:14 | × | Guest77 quits (~Guest77@2402:e280:2117:297:e041:4ae1:dd3c:1f08) (Quit: Client closed) |
| 2021-07-17 14:56:32 | → | Guest77 joins (~Guest77@2402:e280:2117:297:e041:4ae1:dd3c:1f08) |
| 2021-07-17 14:57:27 | fef | is now known as admin |
| 2021-07-17 14:57:36 | admin | is now known as adminll |
| 2021-07-17 14:57:48 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 15:02:55 | × | meinside_ quits (uid24933@id-24933.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-17 15:04:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 15:08:14 | → | smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-17 15:08:50 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-17 15:09:01 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2021-07-17 15:10:23 | × | gehmehgeh quits (~user@user/gehmehgeh) (Client Quit) |
| 2021-07-17 15:12:29 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-17 15:12:54 | → | fradet joins (~fradet@216.252.75.247) |
| 2021-07-17 15:13:31 | × | andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Ping timeout: 268 seconds) |
| 2021-07-17 15:14:01 | → | Zemyla_ joins (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-07-17 15:14:08 | × | Aleksejs_Home quits (~Aleksejs@haskell.lv) (Ping timeout: 268 seconds) |
| 2021-07-17 15:14:08 | × | ajb quits (~ajb@cupid.whatbox.ca) (Ping timeout: 268 seconds) |
| 2021-07-17 15:14:45 | × | Zemyla quits (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-07-17 15:14:57 | → | oso joins (~oso@2601:58c:c080:a950:e67d:b4e2:c5be:433f) |
| 2021-07-17 15:15:01 | → | andreas303 joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-07-17 15:15:22 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-17 15:15:35 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-07-17 15:15:35 | <boxscape> | maerwald: the TH versions say "This method of optics generation should only be used when migrating an existing codebase from the lens library to optics" |
| 2021-07-17 15:15:40 | → | ajb joins (~ajb@cupid.whatbox.ca) |
| 2021-07-17 15:15:51 | <boxscape> | maerwald: this, my final answer is C |
| 2021-07-17 15:15:56 | <boxscape> | s/this/thus |
| 2021-07-17 15:16:00 | × | nonzen quits (~nonzen@user/nonzen) (Ping timeout: 268 seconds) |
| 2021-07-17 15:16:00 | × | aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-07-17 15:16:00 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 244 seconds) |
| 2021-07-17 15:16:08 | <maerwald> | HasField? |
| 2021-07-17 15:16:20 | → | Aleksejs joins (~Aleksejs@haskell.lv) |
| 2021-07-17 15:16:21 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 255 seconds) |
| 2021-07-17 15:16:34 | → | nonzen joins (~nonzen@user/nonzen) |
| 2021-07-17 15:16:46 | <boxscape> | yeah.. though I thought there was a version of that which uses OverloadedLabels |
| 2021-07-17 15:17:20 | <maerwald> | HasField though doesn't allow arbitrary subtyping... it's a simple getter |
| 2021-07-17 15:17:23 | → | aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 2021-07-17 15:17:32 | × | adminll quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-17 15:17:36 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-07-17 15:17:54 | <maerwald> | with makeClassy style classes you could descend deeper into the structure with the same getter |
All times are in UTC.