Logs: liberachat/#haskell
| 2021-06-16 09:41:07 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 2021-06-16 09:41:07 | → | the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-16 09:41:08 | → | eddiemundo joins (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-16 09:41:08 | → | vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2021-06-16 09:41:08 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-06-16 09:41:08 | → | kadoban joins (~kadoban@user/kadoban) |
| 2021-06-16 09:41:08 | → | bitonic joins (~bitonic@2001:470:69fc:105::1812) |
| 2021-06-16 09:41:08 | → | jophish joins (~jophish@2001:470:69fc:105::670) |
| 2021-06-16 09:41:08 | → | carmysilna joins (~brightly-@2001:470:69fc:105::2190) |
| 2021-06-16 09:41:08 | → | ericson2314 joins (~ericson23@2001:470:69fc:105::70c) |
| 2021-06-16 09:41:08 | → | siraben joins (~siraben@user/siraben) |
| 2021-06-16 09:41:08 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2021-06-16 09:41:08 | → | Deewiant_ joins (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-06-16 09:41:08 | → | bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-06-16 09:41:08 | → | unrooted joins (~unrooted@2001:470:69fc:105::a4a) |
| 2021-06-16 09:41:08 | → | Aleci[m] joins (~alecilibr@2001:470:69fc:105::32e7) |
| 2021-06-16 09:41:08 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 2021-06-16 09:41:08 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 2021-06-16 09:41:18 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-06-16 09:41:19 | → | Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0) |
| 2021-06-16 09:41:19 | → | Drezil joins (~drezilkif@2001:470:69fc:105::7f8) |
| 2021-06-16 09:41:19 | → | adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-06-16 09:41:19 | → | srid[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-06-16 09:41:19 | → | wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae) |
| 2021-06-16 09:41:19 | → | amesgen[m] joins (~amesgenam@2001:470:69fc:105::82b) |
| 2021-06-16 09:41:19 | → | dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7) |
| 2021-06-16 09:41:20 | → | Soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 2021-06-16 09:41:20 | → | autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1) |
| 2021-06-16 09:41:20 | → | jellz[m] joins (~jellzmatr@2001:470:69fc:105::2daa) |
| 2021-06-16 09:41:20 | → | yin[m] joins (~zwromatri@2001:470:69fc:105::1d4) |
| 2021-06-16 09:41:20 | → | dminuoso[m] joins (~dminuosom@2001:470:69fc:105::33bb) |
| 2021-06-16 09:41:20 | → | kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d) |
| 2021-06-16 09:41:20 | → | RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc) |
| 2021-06-16 09:41:22 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 2021-06-16 09:41:22 | → | Sylveon joins (~sylveonma@2001:470:69fc:105::2d95) |
| 2021-06-16 09:41:46 | Sylveon | is now known as Guest5700 |
| 2021-06-16 09:41:59 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-16 09:42:09 | amirouche` | is now known as amirouche |
| 2021-06-16 09:43:30 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-16 09:50:44 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-16 09:52:35 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-16 09:54:43 | × | fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Quit: Bye!) |
| 2021-06-16 09:57:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-16 09:59:24 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-16 10:01:21 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-16 10:02:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Ping timeout: 252 seconds) |
| 2021-06-16 10:04:48 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:5f61:b75b:7ea0:7a5c) (Ping timeout: 244 seconds) |
| 2021-06-16 10:07:39 | × | haskman quits (~haskman@223.179.143.114) (Ping timeout: 268 seconds) |
| 2021-06-16 10:08:16 | fendor_ | is now known as fendor |
| 2021-06-16 10:08:59 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-16 10:11:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-06-16 10:12:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 10:13:00 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-16 10:14:31 | → | haskman joins (~haskman@223.179.135.194) |
| 2021-06-16 10:14:44 | <kuribas> | Is there some abstraction that has ordering, but not equality? For example timeseries: [(t, v)], where you can compare the time, but a value at the same time is not necessarily equal. |
| 2021-06-16 10:15:08 | <kuribas> | it would allow for merging of timeseries. |
| 2021-06-16 10:15:44 | <tomsmeding> | kuribas: a == b = compare a b == EQ |
| 2021-06-16 10:16:01 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 10:18:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-16 10:18:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 10:20:20 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-16 10:22:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-16 10:25:20 | <dminuoso> | kuribas: Do you mean a preorder? |
| 2021-06-16 10:25:57 | <kuribas> | dminuoso: I suppose? |
| 2021-06-16 10:26:36 | <kuribas> | for example, this doesn't allow for merging values: https://hackage.haskell.org/package/data-ordlist-0.4.7.0/docs/Data-List-Ordered.html |
| 2021-06-16 10:26:56 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Ping timeout: 252 seconds) |
| 2021-06-16 10:27:27 | → | pera joins (~pera@user/pera) |
| 2021-06-16 10:27:55 | <arahael> | Aeson converts arbitrary structures into json, using generics. It's amazing, but how do I generate a schema for it? I've found https://hackage.haskell.org/package/jsonschema-gen-0.4.1.0/docs/Data-JSON-Schema-Generator.html but it's really old, and has a few other concerning issues. Any other recommendations? |
| 2021-06-16 10:28:21 | <arahael> | Compiles and apparently works well, though... (Haven't tested it though) |
| 2021-06-16 10:28:31 | <dminuoso> | arahael: what kind of schema specification are you looking for? |
| 2021-06-16 10:28:33 | <dminuoso> | OpenAPI3? |
| 2021-06-16 10:28:41 | <dminuoso> | JSON Schema? |
| 2021-06-16 10:28:53 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-16 10:29:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-16 10:29:21 | <arahael> | Yeah, json schema, but happy to support anything that lets me spit out a parser for the aeson's json in some other language (such as in this particular case: Swift) |
| 2021-06-16 10:29:24 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-06-16 10:29:38 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-16 10:29:44 | <dminuoso> | Try openapi3, in parts its an extended form of json schema |
| 2021-06-16 10:30:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 10:30:17 | <dminuoso> | You might get away with it |
| 2021-06-16 10:31:15 | <arahael> | That looks better, actually. |
| 2021-06-16 10:31:16 | <dminuoso> | kuribas: I guess you could use an `IntMap [T]` with `inserting t = insertWith (<>) [t]` as an approximation |
| 2021-06-16 10:31:22 | <arahael> | dminuoso: Thanks :D |
| 2021-06-16 10:31:43 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-06-16 10:32:25 | <kuribas> | dminuoso: no, because they are ranges, not events. |
| 2021-06-16 10:33:14 | <dminuoso> | kuribas: What would that preorder look like? |
| 2021-06-16 10:33:29 | <dminuoso> | Would it be some <= relation on the starting timestamp of the range? |
| 2021-06-16 10:33:39 | <kuribas> | yeah |
| 2021-06-16 10:34:00 | <dminuoso> | When do things "overlap" with that? |
| 2021-06-16 10:34:15 | <dminuoso> | i.e. what does "same time" even mean? |
| 2021-06-16 10:34:17 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 268 seconds) |
| 2021-06-16 10:34:30 | <dminuoso> | (if we only compare say the lower bound of the range) |
| 2021-06-16 10:35:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-16 10:35:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 10:38:22 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.1) |
| 2021-06-16 10:39:42 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-16 10:40:29 | <arahael> | Just tested it - jsonschema-gen doesn't appear to work as expected, somehow pleased, OpenAPI looks far more appropriate. |
| 2021-06-16 10:42:30 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-16 10:45:07 | × | anandprabhu quits (~anandprab@87.201.97.214) (Quit: Leaving) |
| 2021-06-16 10:45:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
All times are in UTC.