Logs: liberachat/#haskell
| 2021-06-09 13:11:04 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-06-09 13:11:07 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-09 13:14:04 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-06-09 13:14:06 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2021-06-09 13:14:54 | → | fabfianda joins (~fabfianda@mob-5-90-243-109.net.vodafone.it) |
| 2021-06-09 13:17:49 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-09 13:18:52 | <delYsid> | merijn: So, how do I make my type an instance of Lift? |
| 2021-06-09 13:19:42 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-09 13:21:04 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-09 13:22:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-09 13:23:44 | × | mastarija__ quits (~mastarija@46.188.129.109) (Ping timeout: 264 seconds) |
| 2021-06-09 13:25:50 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-09 13:26:35 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-09 13:26:41 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 272 seconds) |
| 2021-06-09 13:29:30 | × | kiweun quits (~sheepduck@2607:fea8:2a61:4800::6882) (Remote host closed the connection) |
| 2021-06-09 13:29:53 | → | kiweun joins (~sheepduck@2607:fea8:2a61:4800::e92f) |
| 2021-06-09 13:30:01 | <dminuoso> | delYsid: You write an instance declaration? |
| 2021-06-09 13:30:12 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-09 13:30:51 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-09 13:31:42 | <dminuoso> | delYsid: All you have to do is specify how to build an Exp from a value of your type. To generate fresh names that cannot be captured, you can use `newName` inside the definition of `lift` |
| 2021-06-09 13:32:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-09 13:33:12 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 2021-06-09 13:33:32 | <merijn> | delYsid: You can DeriveLift |
| 2021-06-09 13:33:33 | <jaror[m]> | With (since) 9.0.1 you have to give an implementation of `liftTyped`, that might be harder than implementing `lift`. |
| 2021-06-09 13:35:21 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-06-09 13:38:03 | × | ddellaco_ quits (~ddellacos@86.106.121.65) (Remote host closed the connection) |
| 2021-06-09 13:38:32 | → | ddellacosta joins (~ddellacos@86.106.121.65) |
| 2021-06-09 13:39:40 | → | ddellaco_ joins (~ddellacos@89.46.62.34) |
| 2021-06-09 13:39:45 | <delYsid> | merijn: I did. I even found th-instances-lift for Unboxed Vector, but now I am stuck at HashMap not having a Lift instance... |
| 2021-06-09 13:40:01 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-09 13:43:32 | × | ddellacosta quits (~ddellacos@86.106.121.65) (Ping timeout: 264 seconds) |
| 2021-06-09 13:45:04 | → | ell8 joins (~ellie@user/ellie) |
| 2021-06-09 13:46:28 | × | ell quits (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2021-06-09 13:46:29 | ell8 | is now known as ell |
| 2021-06-09 13:46:41 | × | jlamothe quits (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-06-09 13:47:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-09 13:47:48 | → | slack1256 joins (~slack1256@191.125.180.163) |
| 2021-06-09 13:49:56 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-09 13:50:21 | <merijn> | delYsid: You can workaround that like so: https://github.com/merijn/validated-literals/blob/master/examples/ByteString.hs#L28 |
| 2021-06-09 13:51:54 | <merijn> | i.e. "AppE <$> [| HM.fromList |] <*> lift x" where "x :: [(k, v)]" |
| 2021-06-09 13:52:19 | <jippiedoe> | re: laziness and fusing list operations: I like to think of it in evaluation order; laziness evaluates the f's and g's in `map f . map g` in the same order as the fused `map (f . g)`. Actual fusion/deforestation just removes some indirection with consing and unconsing |
| 2021-06-09 13:56:00 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-09 13:57:33 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:8da6:e24d:9a34:2f32) (Quit: Leaving) |
| 2021-06-09 13:59:20 | × | _________ quits (~nobody@user//x-7881368) (Remote host closed the connection) |
| 2021-06-09 13:59:51 | × | xff0x_ quits (~xff0x@port-92-195-66-229.dynamic.as20676.net) (Ping timeout: 252 seconds) |
| 2021-06-09 14:00:10 | → | xff0x_ joins (~xff0x@185.65.135.235) |
| 2021-06-09 14:00:22 | → | biberu\ joins (~biberu@user/biberu) |
| 2021-06-09 14:00:35 | <delYsid> | oh, it works. |
| 2021-06-09 14:00:51 | <merijn> | \o/ |
| 2021-06-09 14:01:27 | → | slac19625 joins (~slack1256@191.125.180.163) |
| 2021-06-09 14:01:30 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-06-09 14:01:48 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-09 14:01:49 | → | bollu7 joins (~bollu@139.59.46.74) |
| 2021-06-09 14:01:59 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-09 14:02:01 | <dminuoso> | jippiedoe: Wouldn't another major benefit of fusing `map f . map g` into `map (f . g)` be improved locality of cache? |
| 2021-06-09 14:02:26 | <merijn> | Yes, no, maybe? |
| 2021-06-09 14:02:45 | → | abbie6 joins (~abbie@user/abbie) |
| 2021-06-09 14:03:04 | → | monochrm joins (trebla@216.138.220.146) |
| 2021-06-09 14:03:06 | <dminuoso> | Well, if the produced data of `f` is still hot in your L1/L2, then surely that's a good thing |
| 2021-06-09 14:03:18 | → | dobblego joins (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2021-06-09 14:03:18 | × | dobblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2021-06-09 14:03:18 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 2021-06-09 14:03:23 | → | tomjagua1paw joins (~tom@li367-225.members.linode.com) |
| 2021-06-09 14:03:31 | → | gentauro_ joins (~gentauro@185.107.12.141) |
| 2021-06-09 14:03:35 | → | sciencen1 joins (~sciencent@hacksoc/ordinary-member) |
| 2021-06-09 14:03:46 | <dminuoso> | If you map twice, then depending on the length of the data, you could be evicting chunks of it |
| 2021-06-09 14:03:50 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-09 14:03:55 | → | samebchase6 joins (~samebchas@51.15.68.182) |
| 2021-06-09 14:03:57 | → | lambdap7 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-06-09 14:04:03 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-06-09 14:04:11 | → | dustinm- joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-06-09 14:04:22 | → | zopsi_ joins (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 2021-06-09 14:04:24 | → | _________ joins (~nobody@user//x-7881368) |
| 2021-06-09 14:04:25 | → | urtie joins (~arthurvl@deban2.xs4all.space) |
| 2021-06-09 14:04:46 | → | micro_ joins (~micro@user/micro) |
| 2021-06-09 14:05:05 | → | Philonous_ joins (~Philonous@user/philonous) |
| 2021-06-09 14:05:23 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-09 14:05:28 | → | juri__ joins (~juri@178.63.35.222) |
| 2021-06-09 14:06:03 | → | dtman34_ joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-06-09 14:06:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-06-09 14:06:13 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-06-09 14:06:26 | → | bah_ joins (~bah@l1.tel) |
| 2021-06-09 14:06:38 | <merijn> | dminuoso: That doesn't hold though |
| 2021-06-09 14:06:38 | → | ozzymcdu1f joins (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-09 14:06:52 | <merijn> | dminuoso: In a lazy setting the evaluation of the first and second map would be interleaved |
| 2021-06-09 14:07:07 | → | aravk_ joins (~aravk@user/aravk) |
| 2021-06-09 14:07:09 | <dminuoso> | Ah yes |
| 2021-06-09 14:07:15 | × | shailangsa quits (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Killed (NickServ (GHOST command used by Shailangsa_))) |
| 2021-06-09 14:07:21 | → | shanemikel_ joins (~shanemike@desk.roadwar.net) |
| 2021-06-09 14:07:30 | → | typedfern_ joins (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-06-09 14:08:17 | <dminuoso> | What's the main benefit of fusion then? Ability of the simplifier to improve `f.g`? |
| 2021-06-09 14:08:27 | <merijn> | dminuoso: You get to skip allocating a cons cell |
| 2021-06-09 14:08:31 | <dminuoso> | Or is it really just saving extra case-of discriminating on cons? |
| 2021-06-09 14:08:42 | <dminuoso> | Ah, it has to create a new one |
| 2021-06-09 14:08:51 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-09 14:08:51 | → | harry joins (~harry@92.234.0.237) |
| 2021-06-09 14:08:54 | → | ptrcmd_ joins (~ptrcmd@user/ptrcmd) |
| 2021-06-09 14:09:19 | → | otulp_ joins (~otulp@ti0187q162-2423.bb.online.no) |
| 2021-06-09 14:09:30 | → | dmwit_ joins (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) |
| 2021-06-09 14:09:51 | → | troydm1 joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
All times are in UTC.