Logs: liberachat/#haskell
| 2021-06-25 23:22:50 | <geekosaur> | you still have problems around those changes |
| 2021-06-25 23:23:03 | <sm[m]> | mason0 do you think tz's utcToLocalTimeTZ would handle it right ? |
| 2021-06-25 23:23:23 | <mason0> | it did for me when I had to do something similar in the past |
| 2021-06-25 23:26:54 | × | cheater quits (~Username@user/cheater) (Quit: (BitchX) If you gaze into the abyss, the abyss gazes also into you) |
| 2021-06-25 23:28:59 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-06-25 23:30:31 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-25 23:31:00 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-25 23:31:08 | <sm[m]> | thanks |
| 2021-06-25 23:31:26 | <sm[m]> | I'm reporting a bug, we'll see what the time lord thinks |
| 2021-06-25 23:37:01 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-25 23:37:10 | → | azeem joins (~azeem@dynamic-adsl-94-34-9-28.clienti.tiscali.it) |
| 2021-06-25 23:42:18 | <sm[m]> | phew, found mistakes in my paste. https://termbin.com/jhze shows the UTCTime instance works fine, adjusting the date as expected. |
| 2021-06-25 23:44:51 | <sm[m]> | I think the result of parseTimeM ... :: Maybe UTCTime can be relied on, and it's only when you try to convert that to another time zone things can go wrong, mason0 ? |
| 2021-06-25 23:44:55 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-25 23:45:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-25 23:46:40 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
| 2021-06-25 23:46:44 | <mason0> | yes. it should work in combination with tz package |
| 2021-06-25 23:46:50 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-25 23:47:34 | → | cheater joins (~Username@user/cheater) |
| 2021-06-25 23:48:23 | → | zebrag_ joins (~chris@user/zebrag) |
| 2021-06-25 23:48:35 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 250 seconds) |
| 2021-06-25 23:49:07 | → | is7s joins (~is7s@2a01:4b00:895f:3d00:fd08:7a4b:2db3:57e3) |
| 2021-06-25 23:50:19 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-25 23:55:25 | × | hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-25 23:56:44 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-06-25 23:56:52 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-25 23:57:45 | → | MorrowM joins (~MorrowM_@147.161.9.7) |
| 2021-06-25 23:58:12 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-25 23:59:38 | <qrpnxz> | i read that this is a free theorem for functors: `map g . f = f . map g` when f :: [a] -> [a], but i don't buy it. It doesn't hold for f = fmap (++"f") and g = (++"g") |
| 2021-06-25 23:59:51 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-26 00:00:04 | × | Morrow quits (~MorrowM_@147.161.9.9) (Ping timeout: 268 seconds) |
| 2021-06-26 00:00:29 | <shachaf> | But fmap (++"f") doesn't have the type [a] -> [a] |
| 2021-06-26 00:00:57 | <qrpnxz> | but it does |
| 2021-06-26 00:01:10 | <qrpnxz> | a = String, f = [] |
| 2021-06-26 00:01:38 | <shachaf> | No, in Haskell "f :: [a] -> [a]" means "f :: forall a. [a] -> [a]". |
| 2021-06-26 00:01:47 | <qrpnxz> | dang it |
| 2021-06-26 00:02:00 | <shachaf> | That's what gives you the free theorem |
| 2021-06-26 00:02:03 | <qrpnxz> | isn't the only thing you can do that is [a] -> [a] id then? |
| 2021-06-26 00:02:13 | <shachaf> | No. |
| 2021-06-26 00:02:14 | <hpc> | or tail |
| 2021-06-26 00:02:27 | <qrpnxz> | hm |
| 2021-06-26 00:02:30 | <hpc> | there's lots of things you can do with the list, just not really its elements |
| 2021-06-26 00:02:37 | <qrpnxz> | ye ye |
| 2021-06-26 00:02:41 | <MorrowM> | @type reverse |
| 2021-06-26 00:02:42 | <lambdabot> | [a] -> [a] |
| 2021-06-26 00:03:04 | <MorrowM> | take, drop, etc |
| 2021-06-26 00:03:25 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-06-26 00:03:36 | <shachaf> | You can do a lot of things, but they're all structural, not knowing anything about the elements. |
| 2021-06-26 00:03:36 | <qrpnxz> | so you can thing of it like an operation on the elements of the list commutes with an operation on the structure of the list? |
| 2021-06-26 00:03:40 | <qrpnxz> | *think |
| 2021-06-26 00:03:59 | <qrpnxz> | interesting |
| 2021-06-26 00:04:02 | <shachaf> | Sure, something like that. |
| 2021-06-26 00:04:28 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-26 00:04:59 | <shachaf> | f is a natural transformation, if that means anything. |
| 2021-06-26 00:05:14 | <qrpnxz> | alright |
| 2021-06-26 00:05:30 | <sm[m]> | https://github.com/haskell/time/issues/172 |
| 2021-06-26 00:08:34 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-26 00:08:43 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-26 00:08:50 | <sm[m]> | ack, I thought time was still managed by the original author. |
| 2021-06-26 00:08:59 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-26 00:14:22 | × | adinfinitum quits (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (Ping timeout: 272 seconds) |
| 2021-06-26 00:17:32 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-26 00:18:03 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-26 00:22:51 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Ping timeout: 272 seconds) |
| 2021-06-26 00:25:49 | × | alx741 quits (~alx741@181.196.69.199) (Quit: alx741) |
| 2021-06-26 00:27:41 | → | alx741 joins (~alx741@181.196.69.199) |
| 2021-06-26 00:29:42 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-26 00:30:45 | → | Cajun joins (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 2021-06-26 00:31:23 | × | stevenxl quits (~stevenlei@174.128.179.103) (Read error: Connection reset by peer) |
| 2021-06-26 00:31:38 | → | stevenxl joins (~stevenlei@174.128.179.103) |
| 2021-06-26 00:31:50 | × | funsafe quits (~funsafe@2601:1c1:4200:938f:4e1e:fc56:b28f:5ac7) (Ping timeout: 244 seconds) |
| 2021-06-26 00:32:00 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-06-26 00:33:54 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-26 00:34:04 | → | funsafe joins (~funsafe@2601:1c1:4200:938f:4e1e:fc56:b28f:5ac7) |
| 2021-06-26 00:34:29 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-26 00:35:08 | × | nerdypepper quits (~nerdypepp@152.67.162.71) (Quit: bye) |
| 2021-06-26 00:35:27 | × | xff0x quits (~xff0x@2001:1a81:52c9:c400:7297:5fed:23fc:a105) (Ping timeout: 244 seconds) |
| 2021-06-26 00:36:14 | → | xff0x joins (~xff0x@2001:1a81:52c9:c400:e0d8:2879:2fd2:a436) |
| 2021-06-26 00:36:48 | → | nerdypepper joins (~nerdypepp@152.67.162.71) |
| 2021-06-26 00:37:31 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-26 00:37:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-26 00:39:36 | × | alx741 quits (~alx741@181.196.69.199) (Quit: alx741) |
| 2021-06-26 00:39:44 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-26 00:40:11 | → | adinfinitum joins (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) |
| 2021-06-26 00:40:51 | → | alx741 joins (~alx741@181.196.69.199) |
| 2021-06-26 00:49:11 | → | aerh joins (~aerh@99-39-158-127.lightspeed.ltrkar.sbcglobal.net) |
| 2021-06-26 00:49:35 | ← | aerh parts (~aerh@99-39-158-127.lightspeed.ltrkar.sbcglobal.net) () |
| 2021-06-26 00:50:39 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-26 00:51:03 | <qrpnxz> | shouldn't `f (a -> b)` = `f a -> f b` if `f` is a functor? |
| 2021-06-26 00:52:14 | <shachaf> | No. |
| 2021-06-26 00:52:37 | <qrpnxz> | tru |
| 2021-06-26 00:53:40 | <qrpnxz> | ok ok i think i get it now |
| 2021-06-26 00:56:23 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-26 00:56:41 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-26 00:58:29 | <mason0> | sm[m], oh, there's actually getTimeZone :: UTCTime -> IO TimeZone in Data.Time.LocalTime, so tz package may not even be needed |
| 2021-06-26 00:58:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-26 00:58:45 | → | fYnch joins (~mike@174.127.249.180) |
| 2021-06-26 00:59:01 | ← | adinfinitum parts (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (WeeChat 3.0.1) |
| 2021-06-26 00:59:56 | <mason0> | I did a couple of tests, and it correctly adjusts daylight saving according to passed date for my timezone |
| 2021-06-26 01:00:31 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.