Logs: freenode/#haskell
| 2020-09-30 14:01:07 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:36a0:8c5f:831a:4acc:45dd) (Ping timeout: 240 seconds) |
| 2020-09-30 14:03:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-30 14:03:58 | → | Wuzzy joins (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) |
| 2020-09-30 14:04:36 | × | ph88 quits (~ph88@213.23.78.154) (Ping timeout: 256 seconds) |
| 2020-09-30 14:05:23 | → | encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl) |
| 2020-09-30 14:05:37 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-09-30 14:05:48 | <kuribas> | merijn: I was thinking to make a library to pre (post-) process aeson data before (after) parsing/generating. |
| 2020-09-30 14:05:57 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 260 seconds) |
| 2020-09-30 14:06:03 | <kuribas> | merijn: to move around fields. |
| 2020-09-30 14:06:26 | <kuribas> | merijn: in the best case in a typesafe way (using generics). |
| 2020-09-30 14:06:27 | <Uniaika> | kuribas: aren't there already hooks to do that? |
| 2020-09-30 14:06:49 | <kuribas> | Uniaika: you mean a handwritten parser? |
| 2020-09-30 14:07:00 | <Uniaika> | no, hooks in Aeson |
| 2020-09-30 14:07:02 | <Uniaika> | wait a sec |
| 2020-09-30 14:08:22 | → | ystael joins (~ystael@209.6.50.55) |
| 2020-09-30 14:08:26 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-30 14:09:07 | <Uniaika> | kuribas: https://hackage.haskell.org/package/aeson-1.4.6.0/docs/Data-Aeson.html#g:16 |
| 2020-09-30 14:09:12 | <Uniaika> | option fields |
| 2020-09-30 14:09:33 | <kuribas> | Uniaika: they only change the strings |
| 2020-09-30 14:09:41 | <kuribas> | Uniaika: I want to reorder the JSON |
| 2020-09-30 14:09:51 | <Uniaika> | wait, re-order it? |
| 2020-09-30 14:10:49 | <Uniaika> | kuribas: that's tricky because objects are unordered while arrays are |
| 2020-09-30 14:10:59 | <kuribas> | yeah, like {"subfield": {"x": 1, "y": 2}} => {"subfield_x": 1, "subfield_y": 2} |
| 2020-09-30 14:11:19 | <Uniaika> | ah that's different |
| 2020-09-30 14:11:26 | <Uniaika> | p. sure you can operate on the AST |
| 2020-09-30 14:11:39 | <Uniaika> | although, to be fair, I would just use DTOs for that |
| 2020-09-30 14:11:58 | <kuribas> | Uniaika: of course I can do Value -> Value, but I want something more principled, composable, and bidirectional. |
| 2020-09-30 14:12:09 | <Uniaika> | and an explicit translation from the first (direct mapping of the object) to the second (better for my business logic) |
| 2020-09-30 14:12:25 | <lortabac> | kuribas: lens-aeson ? |
| 2020-09-30 14:12:29 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:df5:637e:fad1:ac7) |
| 2020-09-30 14:12:36 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-09-30 14:12:50 | <kuribas> | lortabac: hmm, maybe an isomorphism? |
| 2020-09-30 14:13:16 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-30 14:13:25 | <lortabac> | oh, if you don't want Value -> Value then lens-aeson is probably not the right tool |
| 2020-09-30 14:16:33 | <kuribas> | well, maybe just Endo Value |
| 2020-09-30 14:16:45 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-09-30 14:17:46 | × | random quits (~random@185.219.70.106) (Read error: Connection reset by peer) |
| 2020-09-30 14:18:27 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-30 14:19:07 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-09-30 14:19:25 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds) |
| 2020-09-30 14:20:54 | × | Sanchayan quits (~Sanchayan@223.226.111.203) (Quit: leaving) |
| 2020-09-30 14:21:14 | → | notzmv`` joins (~user@177.45.26.174) |
| 2020-09-30 14:22:47 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-30 14:23:12 | × | kuribas quits (~user@ptr-25vy0i8if8811202m3x.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2020-09-30 14:24:43 | × | notzmv` quits (~user@177.45.26.174) (Ping timeout: 265 seconds) |
| 2020-09-30 14:24:55 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds) |
| 2020-09-30 14:25:26 | → | obruT1 joins (~obruT@84.39.117.57) |
| 2020-09-30 14:25:36 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-09-30 14:28:33 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-30 14:29:36 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-09-30 14:30:33 | × | tbreslein quits (~tbreslein@2a02:8108:140:44f8::901) (Remote host closed the connection) |
| 2020-09-30 14:30:50 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-09-30 14:31:49 | → | tbreslein joins (~tbreslein@2a02:8108:140:44f8::901) |
| 2020-09-30 14:32:35 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-30 14:33:29 | × | darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 256 seconds) |
| 2020-09-30 14:34:20 | → | darjeeling_ joins (~darjeelin@122.245.121.113) |
| 2020-09-30 14:38:39 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-30 14:40:35 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2020-09-30 14:41:30 | → | mirrorbird joins (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9) |
| 2020-09-30 14:43:34 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-09-30 14:45:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-30 14:47:24 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-30 14:48:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-30 14:51:47 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-09-30 14:53:28 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-30 14:54:46 | × | encod3 quits (~encod3@45-154-157-94.ftth.glasoperator.nl) () |
| 2020-09-30 14:55:38 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-09-30 14:58:03 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-09-30 14:58:10 | → | glguy_ joins (x@freenode/staff/haskell.developer.glguy) |
| 2020-09-30 14:58:10 | glguy | is now known as Guest34587 |
| 2020-09-30 14:58:10 | × | Guest34587 quits (x@freenode/staff/haskell.developer.glguy) (Killed (moon.freenode.net (Nickname regained by services))) |
| 2020-09-30 14:58:10 | glguy_ | is now known as glguy |
| 2020-09-30 14:59:00 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-30 15:00:01 | × | obruT1 quits (~obruT@84.39.117.57) () |
| 2020-09-30 15:00:49 | × | mac10688 quits (~mac10688@c-76-115-116-76.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2020-09-30 15:01:14 | → | mac10688 joins (~mac10688@c-76-115-116-76.hsd1.or.comcast.net) |
| 2020-09-30 15:01:34 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 2020-09-30 15:01:35 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-09-30 15:01:55 | → | coot joins (~coot@37.30.51.172.nat.umts.dynamic.t-mobile.pl) |
| 2020-09-30 15:03:03 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-09-30 15:03:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-30 15:04:44 | <zincy_> | Is there a name for this? You have a N x N matrix and have a set of instructions to update elements in the grid |
| 2020-09-30 15:05:08 | <zincy_> | startCol, endCol, startRow, endRow |
| 2020-09-30 15:05:47 | <zincy_> | And a function to update each element |
| 2020-09-30 15:05:47 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2020-09-30 15:05:56 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2020-09-30 15:06:20 | <zincy_> | So you can compose transformations on given coordinates in the grid by sequencing instructions |
| 2020-09-30 15:09:05 | × | borne quits (~fritjof@200116b864837e00537d5cc8226f9d9f.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-09-30 15:09:15 | <merijn> | zincy_: Array comprehensions? :p |
| 2020-09-30 15:10:08 | <zincy_> | hehe |
| 2020-09-30 15:10:58 | <merijn> | zincy_: Kinda serious |
| 2020-09-30 15:11:00 | <merijn> | zincy_: http://www.sac-home.org/lib/exe/fetch.php?media=docs:tutorial.pdf |
| 2020-09-30 15:11:20 | <merijn> | See chapter 4 on with loops |
| 2020-09-30 15:12:30 | <merijn> | "tensor comprehensions" are also somewhat related |
| 2020-09-30 15:13:03 | → | spew joins (uid195861@gateway/web/irccloud.com/x-jsbpggyredzfkvod) |
| 2020-09-30 15:13:22 | <zincy_> | thanks! |
| 2020-09-30 15:14:09 | <merijn> | zincy_: The various SaC papers should also talk a bit about fusing stuff like that together |
| 2020-09-30 15:15:52 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-30 15:17:09 | <[exa]> | anyone on windows with working vscode integration? |
| 2020-09-30 15:19:18 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.