Logs: liberachat/#haskell
| 2021-07-08 08:25:39 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 08:25:39 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-08 08:25:51 | <merijn> | Depends on your machine? :p |
| 2021-07-08 08:26:00 | <merijn> | What sorta precise time calculations? |
| 2021-07-08 08:26:05 | <merijn> | Like benchmark timings? |
| 2021-07-08 08:26:45 | × | azeem quits (~azeem@176.200.224.11) (Read error: Connection reset by peer) |
| 2021-07-08 08:26:46 | <sidv> | I'm dealing with APIs that give timestamps in milliseconds |
| 2021-07-08 08:26:48 | → | Obo joins (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) |
| 2021-07-08 08:27:01 | <sidv> | I'm trying to write a scraper for time series data |
| 2021-07-08 08:27:13 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-08 08:27:57 | <sidv> | Is it better to keep things as UTCTime or just store the timestamp as an Int64 or something |
| 2021-07-08 08:28:04 | <merijn> | sidv: https://hackage.haskell.org/package/time-1.12/docs/Data-Time-Clock.html#t:DiffTime |
| 2021-07-08 08:28:11 | <merijn> | sidv: Docs says it has picosecond resolution |
| 2021-07-08 08:28:39 | <merijn> | Since UTCTime is just a Day and a DiffTime |
| 2021-07-08 08:30:26 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-08 08:30:43 | <sidv> | oh that's perfect |
| 2021-07-08 08:30:43 | <sidv> | thanks merijn |
| 2021-07-08 08:30:43 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) |
| 2021-07-08 08:30:43 | × | MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-07-08 08:31:38 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds) |
| 2021-07-08 08:32:39 | <viluon> | hi, is there a GHC.Generics -based alternative to SYB? I'm looking for something with similarly high-level traversals/schemes which would generalise type-specific cases to type-agnostic ones, but with the additional structure of a sum-of-products representation |
| 2021-07-08 08:35:40 | × | polux quits (~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io) |
| 2021-07-08 08:35:44 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) (Ping timeout: 252 seconds) |
| 2021-07-08 08:35:45 | → | polux joins (~polux@51.15.169.172) |
| 2021-07-08 08:36:51 | → | MidAutumnMoon9 joins (~MidAutumn@user/midautumnmoon) |
| 2021-07-08 08:39:31 | → | hmmmas joins (~chenqisu1@183.217.200.144) |
| 2021-07-08 08:40:42 | × | Arahael quits (~arahael@60-240-135-223.tpgi.com.au) (Ping timeout: 256 seconds) |
| 2021-07-08 08:47:22 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-07-08 08:50:47 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-08 08:50:48 | → | arahael joins (~arahael@118.211.182.212) |
| 2021-07-08 08:50:48 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-07-08 08:50:48 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-08 08:50:49 | → | arjun joins (~Srain@user/arjun) |
| 2021-07-08 08:50:49 | → | dunj3 joins (~dunj3@2001:16b8:3066:7300:d4d1:5d56:be5f:cf84) |
| 2021-07-08 08:55:21 | × | m4lvin quits (~m4lvin@w4eg.de) (Quit: m4lvin) |
| 2021-07-08 08:56:51 | <dminuoso> | viluon: You mean like generics-sop? |
| 2021-07-08 08:57:10 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 246 seconds) |
| 2021-07-08 08:57:12 | → | MoC joins (~moc@user/moc) |
| 2021-07-08 08:58:01 | <dminuoso> | (or sop-core, I guess) |
| 2021-07-08 08:58:31 | <dminuoso> | Well. Both together. :) |
| 2021-07-08 09:01:25 | → | mpt joins (~tom@2a02:908:1862:49e0::8) |
| 2021-07-08 09:01:53 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-08 09:02:34 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-08 09:06:16 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-08 09:06:38 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 09:10:03 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-08 09:11:10 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 246 seconds) |
| 2021-07-08 09:17:23 | × | arjun quits (~Srain@user/arjun) (Ping timeout: 252 seconds) |
| 2021-07-08 09:20:41 | × | APic quits (apic@apic.name) (Ping timeout: 252 seconds) |
| 2021-07-08 09:23:46 | × | mpt quits (~tom@2a02:908:1862:49e0::8) (Ping timeout: 246 seconds) |
| 2021-07-08 09:24:12 | → | Guest29 joins (~Guest29@2a02:a03f:8dbe:300:f1f1:39aa:3c9b:ab9c) |
| 2021-07-08 09:25:50 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-08 09:26:25 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-08 09:26:32 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-07-08 09:26:49 | × | sidv quits (~sidv@23.252.50.92) (Ping timeout: 246 seconds) |
| 2021-07-08 09:29:17 | <viluon> | dminuoso: oh, generics-sop has that kind of functionality? is there a variant of the paradise benchmark implemented with it? |
| 2021-07-08 09:30:16 | <Profpatsch> | viluon: what’s the paradise benchmark? |
| 2021-07-08 09:31:09 | <Profpatsch> | I can only find heaven benchmark |
| 2021-07-08 09:31:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-08 09:31:38 | <viluon> | Profpatsch: it's an old but at the time seemingly popular exercise in generic programming, see e.g. http://web.archive.org/web/20080622204226/http://www.cs.vu.nl/boilerplate/#paradise |
| 2021-07-08 09:33:41 | <Profpatsch> | Oh god, one letter constructor names, this must be the same people that made SYB |
| 2021-07-08 09:35:19 | <Profpatsch> | I would like a second helping of one letter names that don’t correspond to any mnemonics please |
| 2021-07-08 09:35:50 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-08 09:35:55 | <Profpatsch> | Also how is it paradise if there’s XML and +1 Company employee salaries in the example |
| 2021-07-08 09:35:59 | <int-e> | Why do you call it SYB instead of Scrap Your Boilerplate ;-) |
| 2021-07-08 09:36:45 | <Profpatsch> | Cause bad naming means your framework’s name is so long and unwieldy that you have to resort to bad abbreviations |
| 2021-07-08 09:36:58 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 240 seconds) |
| 2021-07-08 09:37:12 | <Profpatsch> | sorry being snarky, but the main problem with Generics is not that they are not powerful, but their awful naming. |
| 2021-07-08 09:37:26 | → | ubert1 joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-08 09:37:50 | <int-e> | Heh, you don't need to apologize for being snarky in reply to a snark. |
| 2021-07-08 09:37:51 | <Profpatsch> | I haven’t looked at generics-sop yet, I hope it doesn’t fall into the same trap |
| 2021-07-08 09:38:00 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-07-08 09:38:18 | <absence> | in ghc 9, template haskell was changed so liftTyped returns Quote m => Code m a instead of Q (TExp a). this breaks the code "either fail liftTyped something" because Code doesn't have a MonadFail instance. what's the recommended way to deal with this? manually wrap the result of fail in Code, i.e. "either (Code . fail) liftTyped something", or does that have other consequences? |
| 2021-07-08 09:39:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-08 09:40:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-08 09:40:41 | <int-e> | > let b = 1; 𝐛 = 2; 𝑏 = 3; 𝒃 = 4; 𝒷 = 5; 𝓫 = 6; 𝔟 = 7; 𝕓 = 8; 𝖇 = 9; 𝘣 = 10; 𝙗 = 11; 𝚋 = 12 in b+𝐛+𝑏+𝒃+𝒷+𝓫+𝔟+𝕓+𝖇+𝘣+𝙗+𝚋 |
| 2021-07-08 09:40:43 | <lambdabot> | 78 |
| 2021-07-08 09:40:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 09:41:22 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-08 09:41:30 | <dminuoso> | int-e: Is this Agda code? |
| 2021-07-08 09:41:32 | <dminuoso> | :> |
| 2021-07-08 09:41:43 | <int-e> | dminuoso: lambdabot doesn't do Agda |
| 2021-07-08 09:41:56 | <int-e> | But, heh. |
| 2021-07-08 09:43:09 | × | hmmmas quits (~chenqisu1@183.217.200.144) (Quit: Leaving.) |
| 2021-07-08 09:45:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-08 09:46:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-08 09:46:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 09:47:11 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-07-08 09:47:49 | × | Guest29 quits (~Guest29@2a02:a03f:8dbe:300:f1f1:39aa:3c9b:ab9c) (Ping timeout: 246 seconds) |
| 2021-07-08 09:49:43 | → | Guest29 joins (~Guest29@2a02:a03f:8dbe:300:c46e:da5f:3e3c:1d44) |
| 2021-07-08 09:51:27 | <Guest29> | Does RIO provide a way to set environment variables? RIO.Process.envVarsL only allows getting values |
| 2021-07-08 09:52:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-08 09:52:42 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2021-07-08 09:52:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 09:54:26 | <Taneb> | Guest29: it's not possible to set environment variables like that, with or without RIO |
| 2021-07-08 09:57:52 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-08 09:58:04 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-a11c-6737-273e-abfe.fixed6.kpn.net) (Ping timeout: 246 seconds) |
| 2021-07-08 09:58:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-08 09:58:33 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-08 09:59:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
All times are in UTC.