Logs: liberachat/#haskell
| 2021-08-07 20:02:37 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 258 seconds) |
| 2021-08-07 20:07:50 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-07 20:09:39 | <c_wraith> | Is there some known performance issue with listArray? |
| 2021-08-07 20:10:00 | × | emliunix quits (~emliunix@2a09:bac0:23::815:b8b) (Remote host closed the connection) |
| 2021-08-07 20:10:17 | → | emliunix joins (~emliunix@103.138.75.119) |
| 2021-08-07 20:10:20 | <c_wraith> | I benchmarked creating a mutable array and freezing it as faster which is... weird. |
| 2021-08-07 20:11:10 | <c_wraith> | (just throwing an unevaluated thunk into each element) |
| 2021-08-07 20:12:58 | × | Vajb quits (~Vajb@2001:999:40:943a:c6ba:d1d7:2c13:8b56) (Ping timeout: 258 seconds) |
| 2021-08-07 20:15:51 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-07 20:15:57 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-08-07 20:16:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 20:16:33 | → | Vajb joins (~Vajb@2001:999:251:bada:1067:ceb1:260a:e753) |
| 2021-08-07 20:18:55 | × | fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 2021-08-07 20:19:38 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-07 20:23:30 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-07 20:23:43 | → | hueso joins (~root@user/hueso) |
| 2021-08-07 20:24:12 | × | exarkun quits (~exarkun@user/exarkun) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-08-07 20:24:18 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-07 20:24:54 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 2021-08-07 20:25:30 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 20:26:34 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 20:28:04 | → | dagit_ joins (~dagit@2601:1c2:1b7f:9fa0:a995:13eb:4687:7041) |
| 2021-08-07 20:29:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-08-07 20:29:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-07 20:31:25 | × | dagit quits (~dagit@2601:1c2:1b7f:9fa0:459f:eccd:9a2b:f09a) (Read error: Connection reset by peer) |
| 2021-08-07 20:32:22 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-07 20:36:29 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:44dd:f31f:7e38:f34) |
| 2021-08-07 20:36:47 | → | dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2021-08-07 20:37:05 | × | dagit quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Remote host closed the connection) |
| 2021-08-07 20:49:22 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-07 20:49:55 | → | dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2021-08-07 20:50:51 | × | dagit_ quits (~dagit@2601:1c2:1b7f:9fa0:a995:13eb:4687:7041) (Quit: Leaving) |
| 2021-08-07 20:50:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 21:01:41 | → | roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:7c66:402b:b915:415b) |
| 2021-08-07 21:03:24 | → | erisco_ joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 2021-08-07 21:05:16 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:44dd:f31f:7e38:f34) (Ping timeout: 272 seconds) |
| 2021-08-07 21:05:16 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 272 seconds) |
| 2021-08-07 21:05:16 | erisco_ | is now known as erisco |
| 2021-08-07 21:06:42 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-08-07 21:10:23 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-07 21:14:31 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:dc56:955e:ee42:613) |
| 2021-08-07 21:15:37 | × | endlesseditions quits (~endlessed@199.19.117.167) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-07 21:15:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-07 21:16:36 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 276 seconds) |
| 2021-08-07 21:18:08 | × | roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:7c66:402b:b915:415b) (Ping timeout: 258 seconds) |
| 2021-08-07 21:22:27 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 276 seconds) |
| 2021-08-07 21:22:53 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 21:24:04 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-07 21:29:50 | × | tcard_ quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-08-07 21:30:39 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-07 21:31:01 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:dc56:955e:ee42:613) () |
| 2021-08-07 21:38:57 | × | Topsi quits (~Tobias@dyndsl-095-033-095-062.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-08-07 21:39:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-08-07 21:42:14 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 2021-08-07 21:42:26 | → | cheater joins (~Username@user/cheater) |
| 2021-08-07 21:42:26 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-07 21:42:50 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-08-07 21:46:42 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds) |
| 2021-08-07 21:46:47 | × | alx741 quits (~alx741@186.178.108.253) (Ping timeout: 245 seconds) |
| 2021-08-07 21:47:09 | × | xkuru quits (~xkuru@user/xkuru) (Client Quit) |
| 2021-08-07 21:47:16 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 258 seconds) |
| 2021-08-07 21:47:33 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-08-07 21:47:37 | × | xkuru quits (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2021-08-07 21:49:12 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-08-07 21:50:38 | → | phma joins (phma@2001:5b0:210f:5478:d01b:a8f6:5c4b:b741) |
| 2021-08-07 21:52:13 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-07 21:53:35 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-07 21:53:50 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-07 21:54:02 | × | funsafe quits (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) (Ping timeout: 272 seconds) |
| 2021-08-07 22:04:53 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-07 22:05:40 | → | ukari joins (~ukari@user/ukari) |
| 2021-08-07 22:06:04 | → | aegon joins (~mike@174.127.249.180) |
| 2021-08-07 22:06:15 | <int-e> | c_wraith: I'm looking at https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/Arr.hs#L175-189 and it's horrible, but not obviously bad from a performance PoV? In any case, superficially it does what you said: create a mutable array, then (unsafe-) freeze it. |
| 2021-08-07 22:06:34 | <aegon> | hey all, I'm trying to follow the real world scotty example and adapt it to my use case and I'm getting an error I don't understand why the example does not get |
| 2021-08-07 22:06:40 | <aegon> | https://paste.tomsmeding.com/aTqmQD5w |
| 2021-08-07 22:07:07 | <aegon> | i get that the Storage r m constraint doesn't necissarily fully define what r must be but my understanding is that that is by design and not needed to be defined at this point |
| 2021-08-07 22:07:33 | <int-e> | c_wraith: it may actually be bad if list fusion doesn't kick in. |
| 2021-08-07 22:07:58 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-08-07 22:10:27 | <aegon> | oh shoot, do notation messed me up, found it |
| 2021-08-07 22:10:30 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 272 seconds) |
| 2021-08-07 22:11:39 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-07 22:14:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-07 22:16:07 | → | cawfee joins (~root@2406:3003:2077:2758::babe) |
| 2021-08-07 22:36:24 | → | alx741 joins (~alx741@186.178.108.253) |
| 2021-08-07 22:39:46 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-08-07 22:40:24 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-07 22:47:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 22:47:17 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-07 22:48:33 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-07 22:53:48 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 2021-08-07 23:02:08 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 23:04:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 23:08:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-07 23:12:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 23:12:54 | × | sander quits (~sander@user/sander) (Ping timeout: 250 seconds) |
| 2021-08-07 23:13:31 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 2021-08-07 23:13:57 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-07 23:21:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 23:23:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 23:27:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
All times are in UTC.