Logs: freenode/#haskell
| 2021-03-10 13:02:25 | → | stass joins (~stas@2a00:13c0:63:7195::beef) |
| 2021-03-10 13:03:05 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-10 13:04:30 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 246 seconds) |
| 2021-03-10 13:05:40 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-03-10 13:06:47 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-10 13:07:23 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-10 13:08:44 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-10 13:11:34 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-10 13:13:47 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-10 13:13:48 | × | ADG1089_ quits (~adg1089@171.76.180.62) (Read error: Connection reset by peer) |
| 2021-03-10 13:14:00 | → | ADG1089_ joins (~adg1089@223.226.235.12) |
| 2021-03-10 13:16:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-10 13:17:20 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) |
| 2021-03-10 13:18:18 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-10 13:18:31 | → | Benzi-Junior joins (~BenziJuni@dsl-149-64-40.hive.is) |
| 2021-03-10 13:22:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) (Ping timeout: 264 seconds) |
| 2021-03-10 13:23:58 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-10 13:29:20 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 13:29:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-10 13:32:54 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer) |
| 2021-03-10 13:33:33 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-10 13:35:00 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-10 13:35:18 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 256 seconds) |
| 2021-03-10 13:36:15 | × | hongminhee quits (hongminhee@gateway/web/irccloud.com/x-oeswesuwvugryusv) () |
| 2021-03-10 13:36:33 | → | hongminhee joins (hongminhee@gateway/web/irccloud.com/x-fsrpgumqewqqpots) |
| 2021-03-10 13:37:52 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-10 13:37:58 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-10 13:38:32 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-10 13:39:11 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-hvyfxukatujiwcjk) |
| 2021-03-10 13:39:46 | × | timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving) |
| 2021-03-10 13:45:00 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-03-10 13:46:36 | → | mayleesia joins (590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de) |
| 2021-03-10 13:46:53 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 13:47:34 | × | glowcoil quits (sid3405@gateway/web/irccloud.com/x-tfnxycsxmhezfuwi) () |
| 2021-03-10 13:47:59 | → | glowcoil joins (sid3405@gateway/web/irccloud.com/x-qnxtwxdwpopdxnrp) |
| 2021-03-10 13:50:30 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-10 13:50:49 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-10 13:52:48 | × | ADG1089_ quits (~adg1089@223.226.235.12) (Ping timeout: 260 seconds) |
| 2021-03-10 13:53:05 | → | ADG1089_ joins (~adg1089@171.76.180.62) |
| 2021-03-10 13:53:34 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-10 13:53:51 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-10 13:54:23 | × | ghuntley quits (sid16877@gateway/web/irccloud.com/x-mbqwvidrftgcbeuo) () |
| 2021-03-10 13:54:39 | → | ghuntley joins (sid16877@gateway/web/irccloud.com/x-mboskivnsdysjwmu) |
| 2021-03-10 13:55:41 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-03-10 13:55:41 | → | jonathanx_ joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-10 13:56:09 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-osmjtblbmpscywbx) |
| 2021-03-10 13:59:22 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-03-10 14:04:31 | → | befuddled joins (~befuddled@49.207.140.164) |
| 2021-03-10 14:05:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-10 14:05:39 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-10 14:05:40 | × | befuddled quits (~befuddled@49.207.140.164) (Client Quit) |
| 2021-03-10 14:07:01 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-10 14:08:43 | → | ADG1089__ joins (~aditya@122.163.164.53) |
| 2021-03-10 14:10:49 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 276 seconds) |
| 2021-03-10 14:15:45 | × | jonathanx_ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-10 14:15:46 | × | ADG1089__ quits (~aditya@122.163.164.53) (Remote host closed the connection) |
| 2021-03-10 14:15:57 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:e9a2:5149:9431:1ba4) |
| 2021-03-10 14:17:23 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-10 14:20:46 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 272 seconds) |
| 2021-03-10 14:20:58 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-03-10 14:22:15 | <adamCS> | I've got an N-dimensional matrix of a, in the form [([Int],a)], where the [Int] is the N-dimensional index where element a is stored. I need a nested vector representation, for JSON output via Aeson. I see how to nest it one index at a time: f :: [([Int],a)] -> [([Int], [a])]. But trying to write a function to nest it "all the way" runs into a "what is the return type?" issue. Any way around this without |
| 2021-03-10 14:22:16 | <adamCS> | dependent-types-style shenanigans? |
| 2021-03-10 14:24:15 | <opqdonut> | write a data type |
| 2021-03-10 14:24:18 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-10 14:24:42 | <opqdonut> | you can just do something like `data Matrix a = Vector [Matrix a] | Element a` |
| 2021-03-10 14:24:59 | <opqdonut> | but if you want guarantees that all the Elements are at the same depth, you can do some tricks |
| 2021-03-10 14:25:31 | <opqdonut> | (just a sec while I recall how the trick works) |
| 2021-03-10 14:27:10 | <adamCS> | opqdonut: Thanks! |
| 2021-03-10 14:27:55 | <opqdonut> | `data Matrix a = Element a | Dimension (Matrix [a])` |
| 2021-03-10 14:27:59 | × | rslima_____ quits (sid26145@gateway/web/irccloud.com/x-ngrykalbadekwxuk) () |
| 2021-03-10 14:28:01 | <opqdonut> | I think that's the trick |
| 2021-03-10 14:28:13 | → | rslima_____ joins (sid26145@gateway/web/irccloud.com/x-phhododppaawnoma) |
| 2021-03-10 14:29:52 | → | ADG1089__ joins (~aditya@122.163.164.53) |
| 2021-03-10 14:29:55 | <adamCS> | opqdonut: So then I convert my un-nested "a"s to Matrix (as elements), nest them, and then somehow convert the nested thing back to nested vectors? I can try to do that... |
| 2021-03-10 14:29:57 | × | ocharles quits (sid30093@musicbrainz/user/ocharles) () |
| 2021-03-10 14:29:59 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-03-10 14:30:18 | → | ocharles joins (sid30093@musicbrainz/user/ocharles) |
| 2021-03-10 14:32:56 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-10 14:33:23 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-10 14:34:23 | <opqdonut> | adamCS: https://gist.github.com/opqdonut/03fd44c26b260a90ea9f6447a7243977 |
| 2021-03-10 14:34:47 | <opqdonut> | adamCS: you can't go to just nested lists like [[[a]]] unless you know how many dimensions you have at compile-time |
| 2021-03-10 14:35:12 | <opqdonut> | adamCS: but making an Aeson instance for Matrix that just outputs lists of lists in JSON should be easy |
| 2021-03-10 14:35:41 | <adamCS> | opqdonut: I don't know at compile time. |
| 2021-03-10 14:35:53 | → | argento joins (~argent0@168.227.97.23) |
| 2021-03-10 14:35:58 | <adamCS> | I mean, I guess I could. I need to think about it. |
| 2021-03-10 14:36:15 | <adamCS> | All I need is the json, though. |
| 2021-03-10 14:36:17 | <opqdonut> | yeah |
| 2021-03-10 14:36:21 | → | knupfer joins (~Thunderbi@200116b82cb0c7005129c843079bc5a1.dip.versatel-1u1.de) |
| 2021-03-10 14:36:27 | × | argento quits (~argent0@168.227.97.23) (Client Quit) |
| 2021-03-10 14:36:46 | <opqdonut> | I'm writing the [([Int],a)] -> Matrix a function now, for fun |
| 2021-03-10 14:36:59 | → | minoru_shiraeesh joins (~shiraeesh@46.34.207.182) |
| 2021-03-10 14:37:15 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-10 14:37:24 | <adamCS> | Right, just needing JSON is what makes me think it's possible. |
| 2021-03-10 14:37:43 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-10 14:38:48 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-10 14:41:57 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds) |
| 2021-03-10 14:44:20 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-10 14:46:01 | × | ADG1089__ quits (~aditya@122.163.164.53) (Remote host closed the connection) |
| 2021-03-10 14:47:36 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2021-03-10 14:47:52 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
All times are in UTC.