Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 894 895 896 897 898 899 900 901 902 903 904 .. 18027
— 1,802,641 events total
2021-07-10 17:40:01 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-10 17:40:25 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-07-10 17:41:24 → gentauro joins (~gentauro@user/gentauro)
2021-07-10 17:42:20 × cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds)
2021-07-10 17:42:50 → cheater joins (~Username@user/cheater)
2021-07-10 17:43:23 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-07-10 17:44:48 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-10 17:47:35 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
2021-07-10 17:55:23 × azeem quits (~azeem@176.201.17.130) (Ping timeout: 255 seconds)
2021-07-10 17:56:30 → azeem joins (~azeem@176.201.17.130)
2021-07-10 18:00:26 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-07-10 18:00:54 × azeem quits (~azeem@176.201.17.130) (Ping timeout: 252 seconds)
2021-07-10 18:03:21 → azeem joins (~azeem@176.201.17.130)
2021-07-10 18:07:36 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-10 18:08:12 → lavaman joins (~lavaman@98.38.249.169)
2021-07-10 18:08:22 × rostero quits (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-10 18:08:36 → cheater joins (~Username@user/cheater)
2021-07-10 18:11:54 × lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-07-10 18:12:03 × fef quits (~thedawn@user/thedawn) (Quit: Leaving)
2021-07-10 18:12:53 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-07-10 18:17:10 → chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-10 18:18:32 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-10 18:19:14 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-10 18:25:15 × talismanick quits (~user@2601:644:8502:d700::f19d) (Ping timeout: 250 seconds)
2021-07-10 18:25:32 × azeem quits (~azeem@176.201.17.130) (Ping timeout: 255 seconds)
2021-07-10 18:26:10 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-07-10 18:28:02 → azeem joins (~azeem@176.201.17.130)
2021-07-10 18:30:47 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-10 18:32:26 → fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca)
2021-07-10 18:32:36 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-10 18:33:54 → qbt joins (~edun@user/edun)
2021-07-10 18:38:23 → Sgeo joins (~Sgeo@user/sgeo)
2021-07-10 18:39:46 → chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-10 18:40:06 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-10 18:41:37 → chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-10 18:42:12 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-10 18:43:05 × Kofid quits (~Kofid@2601:404:d300:5a0:fcbf:c290:5998:a5c6) (Quit: Client closed)
2021-07-10 18:45:32 × fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer)
2021-07-10 18:53:01 × azeem quits (~azeem@176.201.17.130) (Ping timeout: 258 seconds)
2021-07-10 18:53:21 → chomwitt joins (~Pitsikoko@2a02:587:dc04:e00:85d7:f442:7698:9c9a)
2021-07-10 18:53:43 → azeem joins (~azeem@176.201.17.130)
2021-07-10 18:56:28 × norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Read error: Connection reset by peer)
2021-07-10 18:56:35 → n283 joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-07-10 19:00:33 → warnz joins (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net)
2021-07-10 19:03:07 × ahdyt quits (~ahdyt@114.125.111.246) (Quit: Client closed)
2021-07-10 19:04:34 × warnz quits (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Ping timeout: 246 seconds)
2021-07-10 19:04:59 → y04nn joins (~y04nn@89.45.7.186)
2021-07-10 19:05:09 → favonia joins (~favonia@user/favonia)
2021-07-10 19:07:34 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-07-10 19:08:43 → lavaman joins (~lavaman@98.38.249.169)
2021-07-10 19:08:45 → pavonia joins (~user@user/siracusa)
2021-07-10 19:09:12 → ahdyt joins (~ahdyt@114.125.111.246)
2021-07-10 19:10:01 <yin[m]> what's the difference between Map.assocs and Map.toList?
2021-07-10 19:10:34 × Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-07-10 19:10:59 <davean> yin[m]: read the docs?
2021-07-10 19:11:01 <davean> or the code
2021-07-10 19:11:03 <davean> it specificly says
2021-07-10 19:11:12 <shapr> :t Data.Map.assocs
2021-07-10 19:11:13 <lambdabot> M.Map k a -> [(k, a)]
2021-07-10 19:11:17 <shapr> :t Data.Map.toList
2021-07-10 19:11:18 <lambdabot> M.Map k a -> [(k, a)]
2021-07-10 19:11:29 <davean> "An alias for toAscList."
2021-07-10 19:11:37 → machinedgod joins (~machinedg@24.105.81.50)
2021-07-10 19:12:00 <davean> so what is toAscList? "where the keys are in ascending order."
2021-07-10 19:12:10 <davean> which is missing from toList, so we're done
2021-07-10 19:13:04 → berberman_ joins (~berberman@user/berberman)
2021-07-10 19:13:20 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-07-10 19:14:01 × berberman quits (~berberman@user/berberman) (Ping timeout: 246 seconds)
2021-07-10 19:14:46 <yin[m]> from the code:
2021-07-10 19:14:51 <yin[m]> toList = toAscList
2021-07-10 19:15:18 <davean> yin[m]: yes, but thats not the guarrentee
2021-07-10 19:15:30 <yin[m]> from previous responses to some questions i asked in this channel: "the code is sometimes a lie"
2021-07-10 19:15:40 <davean> its not a lie
2021-07-10 19:15:48 <davean> that is correct given the claims
2021-07-10 19:16:14 <yin[m]> so toList, toAscList and assocs are all the same?
2021-07-10 19:16:30 <davean> No, their implimentaiton is the same
2021-07-10 19:16:37 <davean> the *guarrentees* you can rely on are not
2021-07-10 19:16:43 <davean> The properties differ
2021-07-10 19:17:01 <davean> toList might have other behaviors at other times without warning
2021-07-10 19:18:01 <yin[m]> ok what am i missing here? assocs = toAscList, right?
2021-07-10 19:18:29 → chris-the-slurpa joins (~chris@148.252.35.9)
2021-07-10 19:18:40 <davean> Yes
2021-07-10 19:18:55 <yin[m]> toList shares the implementation as of now, but may change
2021-07-10 19:19:01 <davean> yes
2021-07-10 19:19:20 <yin[m]> right
2021-07-10 19:19:22 <yin[m]> thanks
2021-07-10 19:20:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-10 19:21:30 → nick8325 joins (~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d)
2021-07-10 19:24:52 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-10 19:25:05 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-10 19:27:16 → hololeap joins (~hololeap@user/hololeap)
2021-07-10 19:27:48 × chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection)
2021-07-10 19:31:17 → phma_ joins (phma@2001:5b0:211b:d008:91ae:cdcd:6362:add2)
2021-07-10 19:32:48 → chris-the-slurpa joins (~chris@148.252.35.9)
2021-07-10 19:33:06 × Digit quits (~user@user/digit) (Ping timeout: 240 seconds)
2021-07-10 19:33:25 × chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection)
2021-07-10 19:34:50 × phma quits (phma@2001:5b0:211b:d008:d38:3ff9:8a1d:e053) (Ping timeout: 255 seconds)
2021-07-10 19:36:35 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-10 19:40:46 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-10 19:42:06 → oxide joins (~lambda@user/oxide)
←Prev  Next→
Page 1 .. 894 895 896 897 898 899 900 901 902 903 904 .. 18027

All times are in UTC.