Logs: freenode/#haskell
| 2021-04-04 22:43:10 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-04 22:44:01 | × | dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-04 22:46:23 | × | Tario quits (~Tario@200.119.187.188) (Ping timeout: 260 seconds) |
| 2021-04-04 22:46:43 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-04 22:48:21 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-04 22:50:30 | → | tefter joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-04-04 22:51:14 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-04-04 22:51:17 | → | tefter__ joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-04-04 22:53:11 | × | tefter quits (bmaxa@gateway/vpn/protonvpn/tefter) (Remote host closed the connection) |
| 2021-04-04 22:53:18 | × | tefter_ quits (~bmaxa@62.240.24.69) (Ping timeout: 240 seconds) |
| 2021-04-04 22:54:35 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-04 22:55:46 | × | tefter__ quits (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 260 seconds) |
| 2021-04-04 22:56:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 22:57:36 | → | tefter__ joins (~bmaxa@62.240.24.69) |
| 2021-04-04 22:58:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 23:01:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-04 23:03:15 | × | tefter__ quits (~bmaxa@62.240.24.69) (Quit: WeeChat 3.1) |
| 2021-04-04 23:06:18 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-04 23:06:52 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-04 23:09:11 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-04 23:09:36 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 23:13:42 | × | Saurabh quits (80c198ce@128-193-152-206.ptpg.oregonstate.edu) (Ping timeout: 240 seconds) |
| 2021-04-04 23:19:20 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-04 23:19:34 | × | __minoru__shirae quits (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 2021-04-04 23:19:41 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 268 seconds) |
| 2021-04-04 23:19:54 | × | Chorhizo quits (5615d9ca@cpc1-cmbg20-2-0-cust457.5-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-04-04 23:23:22 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-04 23:25:36 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-04 23:26:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-04 23:29:14 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-04-04 23:29:47 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-04-04 23:32:43 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-04 23:34:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-04 23:35:10 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 2021-04-04 23:36:19 | × | acidjnk_new quits (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-04-04 23:37:04 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-04 23:37:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-04 23:41:37 | × | APic quits (apic@apic.name) (Ping timeout: 245 seconds) |
| 2021-04-04 23:44:48 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-tqwsnaxaoooqdbuj) |
| 2021-04-04 23:45:07 | <dcbdan> | dmj`: https://xkcd.com/378/ |
| 2021-04-04 23:45:55 | <sim590> | A good step by step explanation to understand the process to rigourously make a haskell statement pointfree: https://stackoverflow.com/a/13426526. I guess most people here know how, but in case it helps someone. Or if you have a better reference? |
| 2021-04-04 23:46:47 | ← | usr25 parts (~usr25@unaffiliated/usr25) ("Leaving") |
| 2021-04-04 23:48:36 | <sim590> | Which is more readable? `copath uid = maybe empty return <=< runChronicleWithLog . runMaybeT . IT.copath uid` or `copath = ( ( maybe empty return <=< runChronicleWithLog . runMaybeT ) . ) . IT.copath`. I would guess the first... right? :) |
| 2021-04-04 23:49:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 23:49:54 | → | vv8 joins (~egp_@128-71-69-136.broadband.corbina.ru) |
| 2021-04-04 23:51:10 | × | Sorny quits (~Sornaensi@185.192.69.50) (Read error: Connection reset by peer) |
| 2021-04-04 23:53:00 | <dcbdan> | unlambda, everyone's favorite programming language http://www.madore.org/~david/programs/unlambda/ |
| 2021-04-04 23:53:07 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-04 23:53:47 | <dcbdan> | i think that site covers the "to-point-free" algo, in some guise.. |
| 2021-04-04 23:54:50 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-04 23:55:41 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-04 23:56:55 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-04 23:57:37 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-qihmpjrjaahvhsww) (Quit: Connection closed for inactivity) |
| 2021-04-05 00:00:07 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 2021-04-05 00:00:28 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-04-05 00:00:51 | <sim590> | :D |
| 2021-04-05 00:01:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 00:02:14 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-05 00:03:36 | × | ambiso99211 quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 2021-04-05 00:03:57 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 00:04:07 | → | ambiso99211 joins (~ambiso@209.182.239.205) |
| 2021-04-05 00:05:32 | × | malumore quits (~malumore@151.62.121.55) (Remote host closed the connection) |
| 2021-04-05 00:06:06 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 265 seconds) |
| 2021-04-05 00:12:38 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2021-04-05 00:13:05 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2021-04-05 00:14:10 | → | redmp joins (~redmp@172.58.35.230) |
| 2021-04-05 00:16:37 | × | asdfghjkl100 quits (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) (Quit: Connection closed) |
| 2021-04-05 00:17:00 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-05 00:17:24 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-04-05 00:18:44 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-05 00:19:21 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-04-05 00:20:54 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-tiatbdxsdtnvkusf) (Quit: Connection closed for inactivity) |
| 2021-04-05 00:22:31 | × | xff0x quits (~xff0x@2001:1a81:5223:f300:bd35:cc29:5dd:ed37) (Ping timeout: 260 seconds) |
| 2021-04-05 00:23:21 | → | xff0x joins (~xff0x@2001:1a81:5223:f300:aea6:89c8:1cd9:de3e) |
| 2021-04-05 00:25:11 | <d34df00d> | Let's say I have a Data.Vector.Unboxed.Vector of pairs of Int and Word8, say. |
| 2021-04-05 00:25:31 | <d34df00d> | How can I be sure that a function like this isn't slower than it needs to be due to laziness? |
| 2021-04-05 00:26:09 | <d34df00d> | https://bpaste.net/6CWA |
| 2021-04-05 00:26:48 | <d34df00d> | (the rihs of the patterns are probably irrelevant, what I care is the pairs being lazy and the compiler being able to avoid that laziness here) |
| 2021-04-05 00:28:34 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-05 00:29:17 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a5e5:fa89:8dc2:92de) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 00:29:21 | <d34df00d> | I'm looking at the core, and the compiler seems to do a great job of first checking that the value at that index in the second underlying unboxed index is (not) -1, but I'm curious if I can rely on that. |
| 2021-04-05 00:30:55 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-05 00:31:46 | <edwardk> | if in doubt you can always break the unboxed vector into its two underlying parts and do the calls yourself. |
| 2021-04-05 00:32:31 | <d34df00d> | I might just as well write some C++ then. Not fun! |
| 2021-04-05 00:33:11 | <edwardk> | well, what you ask for has rather different answers depending on what level of 'rely on' you want. |
| 2021-04-05 00:33:17 | <edwardk> | at a good optimization level? sure |
| 2021-04-05 00:33:58 | <d34df00d> | I'm still exploring writing performant haskell, so I'm curious what levels of "rely on" I could even get here! |
| 2021-04-05 00:34:07 | <edwardk> | but it'd be perfectly within its rights to do both derefs strictly to avoid risking building up thunks |
| 2021-04-05 00:34:38 | <edwardk> | since that isn't a documented part of the api of unboxed vectors, if you want hard guarantees then doing it yourself seems the right path. |
| 2021-04-05 00:35:02 | <edwardk> | but my expectation is that at -O1 or -O2 or so it'll just work |
| 2021-04-05 00:36:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-05 00:36:12 | <edwardk> | as i mentioned other folks might be equally expectant that they get a strictly evaluated pair without dangling references to the two underlying primitive vectors, and these two optimization goals are at odds |
| 2021-04-05 00:41:57 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-05 00:43:33 | → | APic joins (apic@apic.name) |
| 2021-04-05 00:44:17 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-05 00:48:50 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d4e8:9aac:afbb:2615) |
| 2021-04-05 00:50:05 | × | APic quits (apic@apic.name) (Ping timeout: 265 seconds) |
| 2021-04-05 00:57:05 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-05 01:07:39 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-05 01:10:10 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
All times are in UTC.