Logs: freenode/#haskell
| 2020-10-27 14:23:49 | → | FreeBirdLjj joins (~freebirdl@101.228.42.108) |
| 2020-10-27 14:23:49 | <dminuoso> | Yes. And all the engineering complexity you put into managing the schema *pales* in comparison to all the pain and effort you spend in working with completely unstructured data. |
| 2020-10-27 14:24:29 | <gothnbass> | Hence me wanting to put a structure onto it, complete with constraints on what kind of relationships you can make between what kinds of nodes. |
| 2020-10-27 14:24:39 | <dminuoso> | And it makes testing so much harder, data retrieval becomes complex, hard to optimize for, and very difficult to analyze with formal methods |
| 2020-10-27 14:24:45 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 240 seconds) |
| 2020-10-27 14:24:56 | <dminuoso> | At any rate |
| 2020-10-27 14:25:17 | <dminuoso> | I have not solved that kind of problem, but I see absolutely no reason why haskell wouldn't be a prime candidate for this type of problem. |
| 2020-10-27 14:25:51 | <gothnbass> | Well, I already solved it in CL, so I'd hope it can do it :) |
| 2020-10-27 14:25:52 | <dminuoso> | Presumably you're doing something similar to OpenAPI? |
| 2020-10-27 14:26:37 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-27 14:27:36 | <gothnbass> | Will be, yes. At the moment the schema API basically returns a dump into JSON, which has been enough for debugging purposes. I plan to turn that into something OpenAPI-compliant. |
| 2020-10-27 14:30:19 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2020-10-27 14:31:47 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-10-27 14:31:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-27 14:34:00 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-10-27 14:34:25 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 240 seconds) |
| 2020-10-27 14:35:18 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-plvaooheqznjbhqg) |
| 2020-10-27 14:35:30 | → | _vaibhavingale_ joins (~Adium@203.188.228.9) |
| 2020-10-27 14:38:34 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 2020-10-27 14:38:57 | × | Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 260 seconds) |
| 2020-10-27 14:40:58 | → | Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
| 2020-10-27 14:41:17 | → | PlasmaStrike joins (~mattplasm@38.73.141.198) |
| 2020-10-27 14:45:30 | × | debugloop quits (~danieln@unaffiliated/debugloop) (Quit: WeeChat 2.9) |
| 2020-10-27 14:50:13 | × | ransom quits (~c4264035@2601:285:201:6720:b121:bf7e:316a:1ddf) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-27 14:54:46 | × | PlasmaStrike quits (~mattplasm@38.73.141.198) (Ping timeout: 272 seconds) |
| 2020-10-27 14:55:03 | × | bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection) |
| 2020-10-27 14:56:19 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2020-10-27 14:56:30 | → | cpape joins (~user@static.180.18.203.116.clients.your-server.de) |
| 2020-10-27 14:57:33 | <dsal> | Data.Aeson.Lens is pretty great for this kind of thing. |
| 2020-10-27 14:57:45 | × | idhugo quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 240 seconds) |
| 2020-10-27 14:58:28 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2020-10-27 14:59:38 | <gothnbass> | OK. Lens is a feature I've heard about, but haven't yet gotten to exploring. |
| 2020-10-27 15:00:01 | × | Criggie1 quits (~Criggie@154.13.1.56) () |
| 2020-10-27 15:00:45 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2020-10-27 15:01:31 | → | clockboi joins (~clockboi@p200300ef8f0a9b00f86fc02b1cd4ca0a.dip0.t-ipconnect.de) |
| 2020-10-27 15:01:54 | → | mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 2020-10-27 15:02:31 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Ping timeout: 256 seconds) |
| 2020-10-27 15:02:39 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 2020-10-27 15:02:51 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Ping timeout: 260 seconds) |
| 2020-10-27 15:03:43 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2020-10-27 15:05:24 | → | dme2 joins (~user@c-24-1-191-153.hsd1.il.comcast.net) |
| 2020-10-27 15:05:40 | → | damianfral3 joins (~damianfra@174.red-37-13-187.dynamicip.rima-tde.net) |
| 2020-10-27 15:05:46 | <__monty__> | Uhm, why does GHC 8.10 come with an older version of text than 8.4? |
| 2020-10-27 15:06:25 | <Uniaika> | I think it's a plain mistake |
| 2020-10-27 15:06:33 | <Uniaika> | __monty__: what's the status with 8.10.1? |
| 2020-10-27 15:06:59 | <__monty__> | Uniaika: Same for both 1.2.3.2. |
| 2020-10-27 15:07:19 | <__monty__> | And the 8.8 series came with 1.2.4.0 |
| 2020-10-27 15:10:02 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-10-27 15:10:26 | → | Tops2 joins (~Tobias@dyndsl-095-033-025-205.ewe-ip-backbone.de) |
| 2020-10-27 15:10:41 | <Uniaika> | __monty__: shit, indeed |
| 2020-10-27 15:10:42 | × | chaosmasttter quits (~chaosmast@p200300c4a73c4601c5635e0548f7339d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-27 15:11:16 | × | polyrain quits (~polyrain@2001:8003:e501:6901:caf:e594:a7fb:67e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-27 15:13:41 | × | Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Quit: WeeChat 2.9) |
| 2020-10-27 15:14:46 | → | Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
| 2020-10-27 15:16:28 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-10-27 15:17:35 | × | toorevitimirp quits (~tooreviti@117.182.180.36) (Remote host closed the connection) |
| 2020-10-27 15:17:49 | <Uniaika> | __monty__: 8.10.1 should have indeed bundled 1.2.4.0 https://gitlab.haskell.org/ghc/ghc/-/issues/17214 |
| 2020-10-27 15:18:12 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 2020-10-27 15:18:23 | × | SanchayanM quits (~Sanchayan@122.167.95.166) (Quit: leaving) |
| 2020-10-27 15:19:32 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-27 15:19:48 | <yushyin> | https://github.com/haskell/text/issues/279 |
| 2020-10-27 15:21:21 | → | jedi1 joins (~jedi@185.204.1.185) |
| 2020-10-27 15:22:28 | hackage | byline 1.1.0.0 - Library for creating command-line interfaces (colors, menus, etc.) https://hackage.haskell.org/package/byline-1.1.0.0 (PeterJones) |
| 2020-10-27 15:22:46 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-27 15:22:50 | <merijn> | __monty__: Due to a miscoordination fuck up |
| 2020-10-27 15:22:57 | <merijn> | __monty__: THe older text is intentional (sadly) |
| 2020-10-27 15:23:07 | → | acidjnk_new joins (~acidjnk@p200300d0c7237845ecd50ba376a38a54.dip0.t-ipconnect.de) |
| 2020-10-27 15:23:31 | <monsterchrom> | Data is always structured. Even the most ardent user of "everything is string" has a much-more-rigorously-structured-than-string model. "unstructured" means there is a structure in someone's mind but they are too smug to spell it out. |
| 2020-10-27 15:24:01 | <merijn> | __monty__: https://github.com/haskell/text/issues/273 |
| 2020-10-27 15:24:18 | <monsterchrom> | Err nevermind, late by an hour. |
| 2020-10-27 15:30:41 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-27 15:30:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-10-27 15:30:52 | × | bliminse quits (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2020-10-27 15:30:59 | → | teardown joins (~user@unaffiliated/mrush) |
| 2020-10-27 15:31:00 | <gothnbass> | No matter: I agree with your point. There's always a structure somewhere in there; it's just a question of how it's communicated. |
| 2020-10-27 15:31:01 | × | teardown quits (~user@unaffiliated/mrush) (Client Quit) |
| 2020-10-27 15:31:46 | → | bliminse joins (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) |
| 2020-10-27 15:31:52 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-27 15:32:19 | <gothnbass> | Well, also whether it emanates from the minds of humans or Great Old Ones. I swear some structures aren't just non-relational, but outright non-Euclidean. |
| 2020-10-27 15:33:14 | → | teardown joins (~user@unaffiliated/mrush) |
| 2020-10-27 15:36:13 | × | ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2020-10-27 15:38:06 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2020-10-27 15:40:26 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 2020-10-27 15:42:20 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-27 15:45:28 | × | whald_ quits (~trem@2a02:810a:8100:11a6:719f:1c0f:efe6:863b) (Remote host closed the connection) |
| 2020-10-27 15:46:14 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Remote host closed the connection) |
| 2020-10-27 15:49:58 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hxonwkkgkhrxlnbv) |
| 2020-10-27 15:52:09 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-27 15:54:43 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 2020-10-27 15:57:17 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Quit: birdd) |
| 2020-10-27 15:57:48 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-27 16:00:18 | × | knupfer quits (~Thunderbi@200116b82cb7c4008d74fd1dd144f3b4.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-27 16:00:32 | → | knupfer joins (~Thunderbi@200116b82cb7c400d8c9d953179e22c7.dip.versatel-1u1.de) |
| 2020-10-27 16:00:48 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 2020-10-27 16:01:01 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2020-10-27 16:01:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-27 16:01:45 | × | damianfral3 quits (~damianfra@174.red-37-13-187.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2020-10-27 16:03:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-27 16:03:39 | → | Abletai joins (~Lautris@p5df28535.dip0.t-ipconnect.de) |
| 2020-10-27 16:04:34 | <Raito_Bezarius> | is there a Text version of Read? |
All times are in UTC.