| 2021-04-05 00:02:31 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Ping timeout: 260 seconds) |
| 2021-04-05 00:03:36 +0200 | shatriff | (~vitaliish@176.52.216.242) () |
| 2021-04-05 00:03:49 +0200 | e | (e@freenode/staff/spy.edk) (Quit: edk) |
| 2021-04-05 00:04:36 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-04-05 00:04:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 00:05:34 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) |
| 2021-04-05 00:07:35 +0200 | guest11235813 | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal) |
| 2021-04-05 00:08:39 +0200 | ChanServ | (ChanServ@services.) (shutting down) |
| 2021-04-05 00:08:57 +0200 | e | (e@freenode/staff/spy.edk) |
| 2021-04-05 00:09:03 +0200 | esp344065 | (~esp32_pro@89.45.90.62) (Ping timeout: 260 seconds) |
| 2021-04-05 00:10:05 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-04-05 00:13:21 +0200 | ChanServ | (ChanServ@services.) |
| 2021-04-05 00:13:21 +0200 | card.freenode.net | +o ChanServ |
| 2021-04-05 00:14:54 +0200 | tefter | (~bmaxa@62.240.24.69) |
| 2021-04-05 00:15:36 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a5e5:fa89:8dc2:92de) |
| 2021-04-05 00:15:38 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-04-05 00:16:11 +0200 | robotmay | (~beepboop@2001:8b0:7af0:2580:88f:3393:350e:d23b) (Quit: Be excellent to each other) |
| 2021-04-05 00:16:24 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-05 00:22:08 +0200 | robotmay | (~beepboop@2001:8b0:7af0:2580:257e:30aa:f716:dc3d) |
| 2021-04-05 00:22:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-05 00:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 00:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 00:26:43 +0200 | tefter_ | (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-04-05 00:28:04 +0200 | Saurabh | (80c198ce@128-193-152-206.ptpg.oregonstate.edu) |
| 2021-04-05 00:28:52 +0200 | <Saurabh> | Hey new to haskell, Can anyone please suggest the best ide to use? So far people have suggested me Visual Studio Code. |
| 2021-04-05 00:29:07 +0200 | <dmj`> | Saurabh: haskell-mode for emacs |
| 2021-04-05 00:29:22 +0200 | <Saurabh> | emacs? |
| 2021-04-05 00:29:27 +0200 | <dmj`> | Saurabh: yessir |
| 2021-04-05 00:29:34 +0200 | <Saurabh> | What is emacs? |
| 2021-04-05 00:29:46 +0200 | <dmj`> | Saurabh: It's a powerful text editor |
| 2021-04-05 00:29:51 +0200 | <dmj`> | Saurabh: what OS are you running? |
| 2021-04-05 00:29:55 +0200 | tefter | (~bmaxa@62.240.24.69) (Ping timeout: 265 seconds) |
| 2021-04-05 00:29:56 +0200 | <Saurabh> | Windows |
| 2021-04-05 00:30:53 +0200 | <Saurabh> | Thanks!! |
| 2021-04-05 00:30:55 +0200 | <dmj`> | Saurabh: maybe stick with VSCode then, but if curious https://www.gnu.org/software/emacs/download.html |
| 2021-04-05 00:31:10 +0200 | <dmj`> | Saurabh: been using https://github.com/haskell/haskell-mode for years |
| 2021-04-05 00:31:36 +0200 | tefter_ | (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 268 seconds) |
| 2021-04-05 00:31:46 +0200 | <Saurabh> | I see. |
| 2021-04-05 00:32:04 +0200 | <dmj`> | Have heard great things about VSCode though |
| 2021-04-05 00:32:25 +0200 | Tario | (~Tario@200.119.187.188) |
| 2021-04-05 00:32:26 +0200 | <Saurabh> | Learning it for my undergrad class. |
| 2021-04-05 00:33:05 +0200 | tefter_ | (~bmaxa@62.240.24.69) |
| 2021-04-05 00:34:04 +0200 | <dmj`> | Saurabh: that's awesome |
| 2021-04-05 00:34:31 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 00:35:50 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 00:43:10 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 00:44:01 +0200 | dyamon | (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-05 00:46:23 +0200 | Tario | (~Tario@200.119.187.188) (Ping timeout: 260 seconds) |
| 2021-04-05 00:46:43 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-05 00:48:21 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-05 00:50:30 +0200 | tefter | (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-04-05 00:51:14 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-04-05 00:51:17 +0200 | tefter__ | (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-04-05 00:53:11 +0200 | tefter | (bmaxa@gateway/vpn/protonvpn/tefter) (Remote host closed the connection) |
| 2021-04-05 00:53:18 +0200 | tefter_ | (~bmaxa@62.240.24.69) (Ping timeout: 240 seconds) |
| 2021-04-05 00:54:35 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 00:55:46 +0200 | tefter__ | (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 260 seconds) |
| 2021-04-05 00:56:57 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 00:57:36 +0200 | tefter__ | (~bmaxa@62.240.24.69) |
| 2021-04-05 00:58:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 01:01:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-05 01:03:15 +0200 | tefter__ | (~bmaxa@62.240.24.69) (Quit: WeeChat 3.1) |
| 2021-04-05 01:06:18 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 01:06:52 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 01:09:11 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-05 01:09:36 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 01:13:42 +0200 | Saurabh | (80c198ce@128-193-152-206.ptpg.oregonstate.edu) (Ping timeout: 240 seconds) |
| 2021-04-05 01:19:20 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 01:19:34 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 2021-04-05 01:19:41 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 268 seconds) |
| 2021-04-05 01:19:54 +0200 | Chorhizo | (5615d9ca@cpc1-cmbg20-2-0-cust457.5-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-04-05 01:23:22 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 01:25:36 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 01:26:06 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-05 01:29:14 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-04-05 01:29:47 +0200 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-04-05 01:32:43 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-05 01:34:14 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 01:35:10 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 2021-04-05 01:36:19 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-04-05 01:37:04 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-05 01:37:41 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-05 01:41:37 +0200 | APic | (apic@apic.name) (Ping timeout: 245 seconds) |
| 2021-04-05 01:44:48 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-tqwsnaxaoooqdbuj) |
| 2021-04-05 01:45:07 +0200 | <dcbdan> | dmj`: https://xkcd.com/378/ |
| 2021-04-05 01:45:55 +0200 | <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-05 01:46:47 +0200 | usr25 | (~usr25@unaffiliated/usr25) ("Leaving") |
| 2021-04-05 01:48:36 +0200 | <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-05 01:49:01 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 01:49:54 +0200 | vv8 | (~egp_@128-71-69-136.broadband.corbina.ru) |
| 2021-04-05 01:51:10 +0200 | Sorny | (~Sornaensi@185.192.69.50) (Read error: Connection reset by peer) |
| 2021-04-05 01:53:00 +0200 | <dcbdan> | unlambda, everyone's favorite programming language http://www.madore.org/~david/programs/unlambda/ |
| 2021-04-05 01:53:07 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-05 01:53:47 +0200 | <dcbdan> | i think that site covers the "to-point-free" algo, in some guise.. |
| 2021-04-05 01:54:50 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 01:55:41 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 01:56:55 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-05 01:57:37 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-qihmpjrjaahvhsww) (Quit: Connection closed for inactivity) |
| 2021-04-05 02:00:07 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 2021-04-05 02:00:28 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-04-05 02:00:51 +0200 | <sim590> | :D |
| 2021-04-05 02:01:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 02:02:14 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-05 02:03:36 +0200 | ambiso99211 | (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 2021-04-05 02:03:57 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 02:04:07 +0200 | ambiso99211 | (~ambiso@209.182.239.205) |
| 2021-04-05 02:05:32 +0200 | malumore | (~malumore@151.62.121.55) (Remote host closed the connection) |
| 2021-04-05 02:06:06 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 265 seconds) |
| 2021-04-05 02:12:38 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2021-04-05 02:13:05 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2021-04-05 02:14:10 +0200 | redmp | (~redmp@172.58.35.230) |
| 2021-04-05 02:16:37 +0200 | asdfghjkl100 | (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) (Quit: Connection closed) |
| 2021-04-05 02:17:00 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-05 02:17:24 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-04-05 02:18:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-05 02:19:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-04-05 02:20:54 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-tiatbdxsdtnvkusf) (Quit: Connection closed for inactivity) |
| 2021-04-05 02:22:31 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:bd35:cc29:5dd:ed37) (Ping timeout: 260 seconds) |
| 2021-04-05 02:23:21 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:aea6:89c8:1cd9:de3e) |
| 2021-04-05 02:25:11 +0200 | <d34df00d> | Let's say I have a Data.Vector.Unboxed.Vector of pairs of Int and Word8, say. |
| 2021-04-05 02:25:31 +0200 | <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 02:26:09 +0200 | <d34df00d> | https://bpaste.net/6CWA |
| 2021-04-05 02:26:48 +0200 | <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 02:28:34 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-05 02:29:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a5e5:fa89:8dc2:92de) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 02:29:21 +0200 | <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 02:30:55 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-05 02:31:46 +0200 | <edwardk> | if in doubt you can always break the unboxed vector into its two underlying parts and do the calls yourself. |
| 2021-04-05 02:32:31 +0200 | <d34df00d> | I might just as well write some C++ then. Not fun! |
| 2021-04-05 02:33:11 +0200 | <edwardk> | well, what you ask for has rather different answers depending on what level of 'rely on' you want. |
| 2021-04-05 02:33:17 +0200 | <edwardk> | at a good optimization level? sure |
| 2021-04-05 02:33:58 +0200 | <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 02:34:07 +0200 | <edwardk> | but it'd be perfectly within its rights to do both derefs strictly to avoid risking building up thunks |
| 2021-04-05 02:34:38 +0200 | <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 02:35:02 +0200 | <edwardk> | but my expectation is that at -O1 or -O2 or so it'll just work |
| 2021-04-05 02:36:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-05 02:36:12 +0200 | <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 02:41:57 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-05 02:43:33 +0200 | APic | (apic@apic.name) |
| 2021-04-05 02:44:17 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-05 02:48:50 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d4e8:9aac:afbb:2615) |
| 2021-04-05 02:50:05 +0200 | APic | (apic@apic.name) (Ping timeout: 265 seconds) |
| 2021-04-05 02:57:05 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 03:07:39 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-05 03:10:10 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 03:10:52 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-05 03:11:01 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 03:11:59 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-05 03:15:34 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-05 03:16:41 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 03:23:26 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-05 03:23:37 +0200 | xff0x | (~xff0x@2001:1a81:5223:f300:aea6:89c8:1cd9:de3e) (Ping timeout: 246 seconds) |
| 2021-04-05 03:25:33 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:ad3d:1b2:8d37:987b) |
| 2021-04-05 03:26:03 +0200 | dcbdan | (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving) |
| 2021-04-05 03:27:32 +0200 | redmp | (~redmp@172.58.35.230) (Quit: leaving) |
| 2021-04-05 03:27:39 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-ayszrakheldxtude) (Quit: Connection closed for inactivity) |
| 2021-04-05 03:28:40 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 03:29:00 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d4e8:9aac:afbb:2615) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 03:29:28 +0200 | DTZUZO | (~DTZUZO@205.ip-149-56-132.net) (Quit: WeeChat 3.0.1) |
| 2021-04-05 03:33:20 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:ec52:bfcc:282e:dcd6) |
| 2021-04-05 03:34:04 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 265 seconds) |
| 2021-04-05 03:38:11 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2021-04-05 03:39:24 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-05 03:39:36 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-05 03:41:38 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:ec52:bfcc:282e:dcd6) (Read error: Connection reset by peer) |
| 2021-04-05 03:41:42 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 03:42:19 +0200 | nbloomf | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 03:44:39 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-04-05 03:44:53 +0200 | APic | (apic@apic.name) |
| 2021-04-05 03:46:28 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Ping timeout: 268 seconds) |
| 2021-04-05 03:48:34 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-05 03:49:06 +0200 | APic | (apic@apic.name) (Ping timeout: 240 seconds) |
| 2021-04-05 03:50:17 +0200 | AndreasK | (sid320732@gateway/web/irccloud.com/x-pgqteyfipgnoghyc) (Ping timeout: 250 seconds) |
| 2021-04-05 03:50:22 +0200 | joshmeredith | (sid387798@gateway/web/irccloud.com/x-rnlcxqihjksgjikm) (Ping timeout: 245 seconds) |
| 2021-04-05 03:50:22 +0200 | etrepum | (sid763@gateway/web/irccloud.com/x-aivubeqxyerhziil) (Ping timeout: 245 seconds) |
| 2021-04-05 03:50:43 +0200 | alanz | (sid110616@gateway/web/irccloud.com/x-pzmmyxojgeghivey) (Ping timeout: 250 seconds) |
| 2021-04-05 03:50:43 +0200 | b20n | (sid115913@gateway/web/irccloud.com/x-kbklydvlxfzrskqk) (Ping timeout: 250 seconds) |
| 2021-04-05 03:50:43 +0200 | natim87 | (sid286962@gateway/web/irccloud.com/x-kvtrgmyuavabjjbi) (Ping timeout: 248 seconds) |
| 2021-04-05 03:50:43 +0200 | davetapley | (sid666@gateway/web/irccloud.com/x-mnnzfmvpaiwblirt) (Ping timeout: 248 seconds) |
| 2021-04-05 03:50:52 +0200 | systemfault | (sid267009@gateway/web/irccloud.com/x-jqwvujdvxvydxlry) (Ping timeout: 258 seconds) |
| 2021-04-05 03:51:03 +0200 | cemerick | (sid54985@gateway/web/irccloud.com/x-sdirxuixzyojokim) (Ping timeout: 258 seconds) |
| 2021-04-05 03:51:03 +0200 | ryjm | (sid383513@gateway/web/irccloud.com/x-ecnvpidnhgfkefiv) (Ping timeout: 258 seconds) |
| 2021-04-05 03:51:09 +0200 | SrPx | (sid108780@gateway/web/irccloud.com/x-mmboofbtgdacydlo) (Ping timeout: 250 seconds) |
| 2021-04-05 03:51:09 +0200 | lally | (sid388228@gateway/web/irccloud.com/x-osbzlupikvuseetb) (Ping timeout: 250 seconds) |
| 2021-04-05 03:51:09 +0200 | jared-w | (uid405292@gateway/web/irccloud.com/x-pyvswkozatnsqrpu) (Ping timeout: 250 seconds) |
| 2021-04-05 03:51:09 +0200 | luite | (sid387799@gateway/web/irccloud.com/x-vruczmbwnblfrzcg) (Ping timeout: 250 seconds) |
| 2021-04-05 03:51:09 +0200 | totbwf | (sid402332@gateway/web/irccloud.com/x-dgktabipjjpulgqw) (Ping timeout: 250 seconds) |
| 2021-04-05 03:51:09 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-vmgxvzbztcmvxohs) (Ping timeout: 250 seconds) |
| 2021-04-05 03:51:11 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-pubexaikwwqssaxc) (Ping timeout: 260 seconds) |
| 2021-04-05 03:51:13 +0200 | aristid | (sid1599@gateway/web/irccloud.com/x-jnvmltbwvawpqyyl) (Ping timeout: 276 seconds) |
| 2021-04-05 03:51:37 +0200 | d0liver | (sid363046@gateway/web/irccloud.com/x-dgqegiwtulhojpbh) (Ping timeout: 245 seconds) |
| 2021-04-05 03:51:38 +0200 | wpcarro | (sid397589@gateway/web/irccloud.com/x-ursbhdqlzechqcyp) (Ping timeout: 258 seconds) |
| 2021-04-05 03:51:47 +0200 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-ibekrgpekcsvlmph) (Ping timeout: 248 seconds) |
| 2021-04-05 03:51:47 +0200 | benwr____ | (sid372383@gateway/web/irccloud.com/x-zyhsoymuwmineqiy) (Ping timeout: 248 seconds) |
| 2021-04-05 03:52:02 +0200 | Kronic | (sid480486@gateway/web/irccloud.com/x-scfxnouditmmvtty) (Ping timeout: 245 seconds) |
| 2021-04-05 03:52:35 +0200 | liquorice | (sid267884@gateway/web/irccloud.com/x-dyugkhqexknhviii) (Ping timeout: 258 seconds) |
| 2021-04-05 03:53:45 +0200 | bradparker | (sid262931@gateway/web/irccloud.com/x-gttwlulagbfoqvam) (Ping timeout: 250 seconds) |
| 2021-04-05 03:54:23 +0200 | APic | (apic@apic.name) |
| 2021-04-05 03:55:27 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 03:55:37 +0200 | benwr____ | (sid372383@gateway/web/irccloud.com/x-uenzuwtlldjmmcdm) |
| 2021-04-05 03:55:40 +0200 | etrepum | (sid763@gateway/web/irccloud.com/x-vbtdfooevtgiicbj) |
| 2021-04-05 03:55:51 +0200 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-iaepspcpbsfhejei) |
| 2021-04-05 03:55:59 +0200 | bradparker | (sid262931@gateway/web/irccloud.com/x-alrapzbsgpgzezql) |
| 2021-04-05 03:55:59 +0200 | davetapley | (sid666@gateway/web/irccloud.com/x-eshsepxkfgbkcmsh) |
| 2021-04-05 03:56:08 +0200 | AndreasK | (sid320732@gateway/web/irccloud.com/x-eidzpdpfbfwjvsap) |
| 2021-04-05 03:56:09 +0200 | b20n | (sid115913@gateway/web/irccloud.com/x-cpvmpaurqzesjgkd) |
| 2021-04-05 03:56:09 +0200 | jared-w | (uid405292@gateway/web/irccloud.com/x-rnbmhydgaqdkakar) |
| 2021-04-05 03:56:13 +0200 | joshmeredith | (sid387798@gateway/web/irccloud.com/x-jeivykcxhjpbnbqo) |
| 2021-04-05 03:56:13 +0200 | aristid | (sid1599@gateway/web/irccloud.com/x-ysqngkztcmdqkqid) |
| 2021-04-05 03:56:18 +0200 | ryjm | (sid383513@gateway/web/irccloud.com/x-rytbgkxcijotxbrx) |
| 2021-04-05 03:56:19 +0200 | systemfault | (sid267009@gateway/web/irccloud.com/x-acclxkcklodfwdsx) |
| 2021-04-05 03:56:22 +0200 | liquorice | (sid267884@gateway/web/irccloud.com/x-lfdudqudagedznlb) |
| 2021-04-05 03:56:25 +0200 | alanz | (sid110616@gateway/web/irccloud.com/x-hohhkiqzyqaiuisr) |
| 2021-04-05 03:56:28 +0200 | wpcarro | (sid397589@gateway/web/irccloud.com/x-bfzhxrazngrwpnxy) |
| 2021-04-05 03:56:28 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-mdfvdtnchulmcuzi) |
| 2021-04-05 03:56:28 +0200 | lally | (sid388228@gateway/web/irccloud.com/x-gbqjirenobjcbvnf) |
| 2021-04-05 03:56:28 +0200 | d0liver | (sid363046@gateway/web/irccloud.com/x-mbcyzmiqngfpomhu) |
| 2021-04-05 03:56:33 +0200 | luite | (sid387799@gateway/web/irccloud.com/x-qxspjhytgxkdqwya) |
| 2021-04-05 03:56:33 +0200 | cemerick | (sid54985@gateway/web/irccloud.com/x-txjnffnulowyownu) |
| 2021-04-05 03:56:33 +0200 | totbwf | (sid402332@gateway/web/irccloud.com/x-jgucijbluktlkqeh) |
| 2021-04-05 03:56:34 +0200 | Kronic | (sid480486@gateway/web/irccloud.com/x-sogthtpigifensav) |
| 2021-04-05 03:56:39 +0200 | natim87 | (sid286962@gateway/web/irccloud.com/x-cwjpyjilrthqpfcl) |
| 2021-04-05 03:56:40 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-klumzwpapdvaujzz) |
| 2021-04-05 03:57:01 +0200 | SrPx | (sid108780@gateway/web/irccloud.com/x-osyhmktkohqkykco) |
| 2021-04-05 03:57:17 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 03:58:14 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-optpfvugqypsrxzy) |
| 2021-04-05 04:05:29 +0200 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 04:08:24 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-05 04:12:14 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 04:15:25 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 04:17:14 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-05 04:17:44 +0200 | nitrix | (~nitrix@haskell/developer/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration) |
| 2021-04-05 04:17:54 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 04:19:01 +0200 | egorbelibov | (~65676f72@2001:8a0:5708:2a00:e0c3:c7c:460b:c7eb) |
| 2021-04-05 04:22:47 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 04:24:14 +0200 | nitrix | (~nitrix@haskell/developer/nitrix) |
| 2021-04-05 04:26:56 +0200 | drbean_ | (~drbean@TC210-63-209-54.static.apol.com.tw) |
| 2021-04-05 04:28:44 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-05 04:30:29 +0200 | alx741 | (~alx741@181.196.69.45) (Quit: alx741) |
| 2021-04-05 04:31:52 +0200 | lawt | (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) |
| 2021-04-05 04:32:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 04:38:19 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds) |
| 2021-04-05 04:38:55 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-05 04:39:51 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-05 04:42:31 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-05 04:44:50 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 04:44:51 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-05 04:47:02 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-05 04:48:30 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 04:54:59 +0200 | theDon | (~td@94.134.91.193) (Ping timeout: 246 seconds) |
| 2021-04-05 04:55:07 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 260 seconds) |
| 2021-04-05 04:57:10 +0200 | theDon | (~td@muedsl-82-207-238-169.citykom.de) |
| 2021-04-05 04:57:12 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-dxvbqpthgbajxgrt) (Quit: Connection closed for inactivity) |
| 2021-04-05 04:58:34 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-05 04:58:34 +0200 | finn_elija | Guest23158 |
| 2021-04-05 04:58:34 +0200 | FinnElija | finn_elija |
| 2021-04-05 04:58:42 +0200 | <ukari> | I found a interesting thing that `foo . bar1 <*> bar2 <*> bar3` can be rewrite in the form of `foo <$> bar1 <*> bar2 <*> bar3`, anyone explain this? https://gist.github.com/ukari/1175b994394f4e8526a905e9eb08ee30 |
| 2021-04-05 05:00:20 +0200 | <hololeap> | ukari: it's because ((->) a) has a Functor instance which corresponds to (.) |
| 2021-04-05 05:01:57 +0200 | <ukari> | oh |
| 2021-04-05 05:01:57 +0200 | Guest23158 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-05 05:02:04 +0200 | <hololeap> | :t not . not |
| 2021-04-05 05:02:05 +0200 | <lambdabot> | Bool -> Bool |
| 2021-04-05 05:02:10 +0200 | <hololeap> | :t fmap not not |
| 2021-04-05 05:02:11 +0200 | <lambdabot> | Bool -> Bool |
| 2021-04-05 05:05:08 +0200 | <hololeap> | don't use the Functor instance of ((->) a). it leads to confusing code. |
| 2021-04-05 05:05:25 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-05 05:05:42 +0200 | <hololeap> | if you absolutely have to, use (Reader a) instead. that has a nice name that everyone understands |
| 2021-04-05 05:06:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 05:06:44 +0200 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2021-04-05 05:07:08 +0200 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-05 05:07:27 +0200 | <ukari> | hololeap, is this code `foo <$> bar1 <*> bar2 <*> bar3` a example of using the Functor instance of ((->) a)? I saw it everywhere |
| 2021-04-05 05:08:11 +0200 | <hololeap> | it could be. ((->) a) has an Applicative and Monad instance as well. `foo <$> bar1 <*> bar2 <*> bar3` would work for _any_ Applicative |
| 2021-04-05 05:08:30 +0200 | carlomagno1 | (~cararell@148.87.23.12) (Quit: Leaving.) |
| 2021-04-05 05:09:34 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 05:09:57 +0200 | <ukari> | thanks you for explain this |
| 2021-04-05 05:10:24 +0200 | <hololeap> | the people that write code like that for ((->) a) would be discredting the Republic of Haskell and could be summarily executed |
| 2021-04-05 05:12:20 +0200 | <ukari> | :) |
| 2021-04-05 05:13:55 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 05:14:03 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-05 05:14:03 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-05 05:14:41 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-05 05:17:42 +0200 | <hololeap> | :t (\f g h -> (f <$> g <*> h)) :: (x -> y -> z) -> (a -> x) -> (a -> y) -> a -> z |
| 2021-04-05 05:17:43 +0200 | <lambdabot> | (x -> y -> z) -> (a -> x) -> (a -> y) -> a -> z |
| 2021-04-05 05:18:23 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 05:18:25 +0200 | <hololeap> | that's what heresy looks like |
| 2021-04-05 05:20:09 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 05:25:23 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 05:27:29 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 05:28:05 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 05:29:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-05 05:30:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 05:30:28 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-05 05:30:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 05:31:15 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-05 05:31:43 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 05:32:33 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 05:33:50 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-05 05:34:47 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-05 05:36:14 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-05 05:37:23 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-urmynbwvqdvgbexs) (Quit: Connection closed for inactivity) |
| 2021-04-05 05:59:58 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-05 06:01:59 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-05 06:13:06 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) (Ping timeout: 240 seconds) |
| 2021-04-05 06:22:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-05 06:25:08 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-05 06:25:26 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-05 06:25:55 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-05 06:26:13 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-05 06:28:02 +0200 | redmp | (~redmp@172.58.35.230) |
| 2021-04-05 06:29:33 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 06:31:27 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 265 seconds) |
| 2021-04-05 06:33:22 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-05 06:33:29 +0200 | plutoniix | (~q@184.82.201.87) |
| 2021-04-05 06:34:26 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 2021-04-05 06:36:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-05 06:37:27 +0200 | Wuzzy | (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-04-05 06:37:47 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 06:37:58 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-04-05 06:38:10 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-46.dsl.bell.ca) |
| 2021-04-05 06:38:17 +0200 | ba | (bandali@fsf/emeritus/bandali) |
| 2021-04-05 06:38:37 +0200 | sim590_ | (~sim590@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-04-05 06:38:56 +0200 | bandali | (bandali@fsf/emeritus/bandali) (Ping timeout: 276 seconds) |
| 2021-04-05 06:39:06 +0200 | joeyh | (~joeyh@kitenet.net) (Ping timeout: 245 seconds) |
| 2021-04-05 06:39:15 +0200 | joeyh | (joeyh@kitenet.net) |
| 2021-04-05 06:39:34 +0200 | sim590 | (~sim590@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 276 seconds) |
| 2021-04-05 06:39:35 +0200 | abuss | (~abuss@cryptarch.net) (Ping timeout: 276 seconds) |
| 2021-04-05 06:39:35 +0200 | sim590_ | sim590 |
| 2021-04-05 06:39:40 +0200 | vodkaInf1rno | (~wormphleg@104.131.156.184) |
| 2021-04-05 06:39:56 +0200 | wagle | (~wagle@quassel.wagle.io) (Ping timeout: 245 seconds) |
| 2021-04-05 06:40:00 +0200 | vodkaInferno | (~wormphleg@104.131.156.184) (Read error: Connection reset by peer) |
| 2021-04-05 06:40:07 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:ad3d:1b2:8d37:987b) (Ping timeout: 260 seconds) |
| 2021-04-05 06:40:32 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2021-04-05 06:40:45 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:e0ec:15c3:a4fa:921e) |
| 2021-04-05 06:41:19 +0200 | abuss | (~abuss@cryptarch.net) |
| 2021-04-05 06:43:36 +0200 | <wroathe> | Is there a way to get this to work? Also, why isn't it working? https://gist.github.com/JustinChristensen/bcffe268fa71664e820db62dd2a47a37 |
| 2021-04-05 06:44:06 +0200 | <wroathe> | I've tried using KindSignatures to tell it that t is a unary type constructor, but that doesn't appear to work |
| 2021-04-05 06:44:18 +0200 | <shachaf> | It's not working for the reason it says. |
| 2021-04-05 06:44:41 +0200 | <shachaf> | Show instances must have kind *. You can't have "instance Show Maybe", only "instance Show (Maybe a)". |
| 2021-04-05 06:45:17 +0200 | <wroathe> | shachaf: Right, so how would I then write this? |
| 2021-04-05 06:48:47 +0200 | <shachaf> | Hmm, you could write instance (Show a, Show (t (Bar a))) => Show (Foo t a), but that's an UndecidableInstance and probably not what you want. |
| 2021-04-05 06:48:50 +0200 | <wroathe> | shachaf: I thought the solution might have been Foo (t a) a, but that's not right either |
| 2021-04-05 06:48:55 +0200 | <shachaf> | There's a class Show1 for this. |
| 2021-04-05 06:49:10 +0200 | <shachaf> | I guess that's the answer. https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Functor-Classes.html#t:Show1 |
| 2021-04-05 06:49:26 +0200 | <wroathe> | Interesting. Thanks! |
| 2021-04-05 06:49:56 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 06:51:43 +0200 | wrunt | (~ajc@vmx14030.hosting24.com.au) (Quit: WeeChat 1.9.1) |
| 2021-04-05 06:54:33 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-05 06:55:25 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 06:58:55 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 07:02:40 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-05 07:03:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 07:04:46 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-04-05 07:07:13 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:6806:39ee:8b3a:57c8) (Remote host closed the connection) |
| 2021-04-05 07:14:31 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2021-04-05 07:15:34 +0200 | sz0 | (uid110435@gateway/web/irccloud.com/x-wxkmgnaxvlkaflkd) |
| 2021-04-05 07:16:45 +0200 | redmp | (~redmp@172.58.35.230) (Quit: good night) |
| 2021-04-05 07:23:13 +0200 | nbloomf | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 07:23:25 +0200 | <wroathe> | Oddly it seems to have a problem with the inner t (Bar a), when t a seems to be just fine: https://gist.github.com/JustinChristensen/cdc37922ecb6eb7d385acab527fd367c |
| 2021-04-05 07:23:41 +0200 | <wroathe> | even though I've derived a Show instance for Bar a |
| 2021-04-05 07:24:20 +0200 | ddellacosta | (~ddellacos@86.106.143.70) |
| 2021-04-05 07:24:30 +0200 | <wroathe> | I really need to buckle down and figure out the details of how deriving works. It's something I've always been foggy on. |
| 2021-04-05 07:26:47 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-05 07:28:46 +0200 | ddellacosta | (~ddellacos@86.106.143.70) (Ping timeout: 240 seconds) |
| 2021-04-05 07:30:39 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 07:32:35 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-05 07:37:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-05 07:37:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-05 07:38:45 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 07:39:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-05 07:39:44 +0200 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-04-05 07:39:45 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 07:44:51 +0200 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2021-04-05 07:45:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 07:45:57 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 2021-04-05 07:47:38 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-05 07:50:07 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-05 07:52:21 +0200 | perdent1 | (~perdent@192.145.118.58) () |
| 2021-04-05 07:52:27 +0200 | perdent1 | (~perdent@192.145.118.58) |
| 2021-04-05 07:53:29 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-04-05 07:55:27 +0200 | BartK | (~BartK@195.140.213.38) (Remote host closed the connection) |
| 2021-04-05 07:56:01 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-04-05 07:58:37 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-04-05 08:01:16 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 08:05:59 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-05 08:07:14 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-05 08:09:11 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-05 08:12:28 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 08:13:55 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-05 08:19:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-05 08:22:44 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-05 08:34:57 +0200 | ddellacosta | (~ddellacos@86.106.143.226) |
| 2021-04-05 08:37:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-05 08:37:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-05 08:38:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-05 08:39:32 +0200 | ddellacosta | (~ddellacos@86.106.143.226) (Ping timeout: 265 seconds) |
| 2021-04-05 08:39:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-05 08:40:08 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-04-05 08:40:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-05 08:42:04 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-04-05 08:46:14 +0200 | lawt | (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) (Quit: WeeChat 2.8) |
| 2021-04-05 08:51:08 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Ping timeout: 265 seconds) |
| 2021-04-05 08:54:53 +0200 | malumore | (~malumore@151.62.127.167) |
| 2021-04-05 08:55:03 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-05 08:55:30 +0200 | doraemon | (~doraemon@117.222.66.152) |
| 2021-04-05 08:55:56 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-05 08:56:50 +0200 | <zzz> | how is List.NonEmpty deprecated in favor of Semigroup? |
| 2021-04-05 08:57:38 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-04-05 08:58:24 +0200 | lawt | (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) |
| 2021-04-05 08:59:41 +0200 | <shachaf> | How indeed? |
| 2021-04-05 09:01:23 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-04-05 09:06:17 +0200 | doraemon | (~doraemon@117.222.66.152) (Quit: Lost terminal) |
| 2021-04-05 09:10:03 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-05 09:11:48 +0200 | average | (uid473595@gateway/web/irccloud.com/x-wmrfwhwgtxjroplx) (Quit: Connection closed for inactivity) |
| 2021-04-05 09:12:07 +0200 | ddellacosta | (~ddellacos@86.106.143.135) |
| 2021-04-05 09:15:31 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 2021-04-05 09:15:50 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-05 09:16:11 +0200 | ddellacosta | (~ddellacos@86.106.143.135) (Ping timeout: 240 seconds) |
| 2021-04-05 09:16:12 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-05 09:21:45 +0200 | <joel135> | It is that the elements of a free semigroup are the nonempty lists, I guess. |
| 2021-04-05 09:23:15 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-05 09:23:26 +0200 | <jackdk> | I have two packages in a cabal project. B build-depends on A. When I `cabal build all`, I get an error "Dependency on unbuildable package A". How can I diagnose why the solver thinks A is unbuildable? It builds fine if I remove B from the project. |
| 2021-04-05 09:28:57 +0200 | bor0 | (~boro@unaffiliated/boro/x-000000001) |
| 2021-04-05 09:31:30 +0200 | <maerwald[m]> | Don't have people guess what the cabal files look like |
| 2021-04-05 09:31:41 +0200 | <jackdk> | ? |
| 2021-04-05 09:32:47 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-05 09:32:56 +0200 | <jackdk> | oof, I forgot to rename the package in B.cabal when I copied and hacked A.cabal. That was one unclear message. |
| 2021-04-05 09:33:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 09:35:33 +0200 | xelxebar_ | (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-04-05 09:36:41 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-05 09:40:58 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:8d7e:a44f:2b5:a57c) |
| 2021-04-05 09:43:58 +0200 | ddellacosta | (~ddellacos@86.106.143.83) |
| 2021-04-05 09:45:17 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 2021-04-05 09:45:37 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:8d7e:a44f:2b5:a57c) (Ping timeout: 250 seconds) |
| 2021-04-05 09:48:26 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-05 09:48:39 +0200 | ddellacosta | (~ddellacos@86.106.143.83) (Ping timeout: 260 seconds) |
| 2021-04-05 09:58:44 +0200 | foxy73 | (cb6de9da@203-109-233-218.dsl.dyn.ihug.co.nz) |
| 2021-04-05 10:00:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-04-05 10:00:27 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-05 10:00:44 +0200 | <foxy73> | [19:59:40] <foxy73> Hi, I'm trying to install hdevtools and I am having a problem getting the unix package to build: |
| 2021-04-05 10:00:44 +0200 | <foxy73> | [20:00:08] <foxy73> In the dependencies for hdevtools-0.1.8.0: |
| 2021-04-05 10:00:45 +0200 | <foxy73> | [20:00:08] <foxy73> unix is a library dependency, but the package provides no library |
| 2021-04-05 10:00:46 +0200 | <foxy73> | [20:00:08] <foxy73> needed since hdevtools is a build target. |
| 2021-04-05 10:00:47 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 10:01:54 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-05 10:03:42 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-05 10:04:29 +0200 | Thor007 | (~Thor007@157.42.248.73) |
| 2021-04-05 10:06:51 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-05 10:08:06 +0200 | <jackdk> | @where paste |
| 2021-04-05 10:08:06 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-04-05 10:08:43 +0200 | <jackdk> | the messages you've posted don't say anything beyond "something went wrong". Are there any more logs you can share? |
| 2021-04-05 10:09:10 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-05 10:10:12 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Quit: Konversation terminated!) |
| 2021-04-05 10:10:25 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-05 10:12:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-05 10:13:35 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-05 10:21:17 +0200 | <foxy73> | @where paste |
| 2021-04-05 10:21:17 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-04-05 10:22:35 +0200 | <foxy73> | https://paste.tomsmeding.com/YtgizZSK |
| 2021-04-05 10:22:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 10:26:11 +0200 | ironman3000 | (9d2af849@gateway/web/cgi-irc/kiwiirc.com/ip.157.42.248.73) |
| 2021-04-05 10:28:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-05 10:29:43 +0200 | sim590 | (~sim590@modemcable090.207-203-24.mc.videotron.ca) (Quit: ZNC - http://znc.in) |
| 2021-04-05 10:30:47 +0200 | foxy73 | (cb6de9da@203-109-233-218.dsl.dyn.ihug.co.nz) () |
| 2021-04-05 10:33:12 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-05 10:35:30 +0200 | guest112358 | (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-04-05 10:35:34 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-05 10:36:05 +0200 | ironman3000 | (9d2af849@gateway/web/cgi-irc/kiwiirc.com/ip.157.42.248.73) () |
| 2021-04-05 10:36:09 +0200 | virmaha | (43a131fc@c-67-161-49-252.hsd1.ca.comcast.net) (Quit: Connection closed) |
| 2021-04-05 10:36:32 +0200 | guest112358 | (~root@185.234.208.208.r.toneticgroup.pl) (Client Quit) |
| 2021-04-05 10:38:12 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-05 10:38:47 +0200 | fendor | (~fendor@77.119.128.7.wireless.dyn.drei.com) |
| 2021-04-05 10:39:58 +0200 | Sorny | (~Sornaensi@185.192.69.50) |
| 2021-04-05 10:40:50 +0200 | bitmagie | (~Thunderbi@200116b8066c4600e48360307c29e9d8.dip.versatel-1u1.de) |
| 2021-04-05 10:40:54 +0200 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-05 10:42:24 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-05 10:44:14 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 2021-04-05 10:44:26 +0200 | Sorny | (~Sornaensi@185.192.69.50) (Ping timeout: 240 seconds) |
| 2021-04-05 10:44:32 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) |
| 2021-04-05 10:45:14 +0200 | Thor007 | (~Thor007@157.42.248.73) (Remote host closed the connection) |
| 2021-04-05 10:46:30 +0200 | juri_ | (~juri@79.140.123.75) |
| 2021-04-05 10:48:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 10:48:48 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-05 10:49:02 +0200 | sz0 | (uid110435@gateway/web/irccloud.com/x-wxkmgnaxvlkaflkd) (Quit: Connection closed for inactivity) |
| 2021-04-05 10:51:18 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-05 10:53:28 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-05 10:55:51 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-05 10:56:09 +0200 | dyamon | (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) |
| 2021-04-05 10:56:12 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-05 10:57:02 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-05 10:58:13 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-05 10:58:51 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-05 10:59:02 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) |
| 2021-04-05 11:00:23 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) |
| 2021-04-05 11:01:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 11:01:39 +0200 | hotlink | (2972ddee@41.114.221.238) |
| 2021-04-05 11:03:03 +0200 | drbean_ | (~drbean@TC210-63-209-54.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-05 11:05:45 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 11:06:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-05 11:08:15 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-05 11:10:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-05 11:12:50 +0200 | hotlink | (2972ddee@41.114.221.238) (Quit: Ping timeout (120 seconds)) |
| 2021-04-05 11:15:53 +0200 | bor0 | (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving) |
| 2021-04-05 11:17:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-05 11:18:43 +0200 | hotlink | (2972ddee@41.114.221.238) |
| 2021-04-05 11:22:15 +0200 | poscat | (~poscat@2408:8207:482c:bd80::1) (Ping timeout: 250 seconds) |
| 2021-04-05 11:22:34 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-05 11:22:56 +0200 | poscat | (~poscat@123.116.69.89) |
| 2021-04-05 11:25:07 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2021-04-05 11:25:07 +0200 | bitmagie | (~Thunderbi@200116b8066c4600e48360307c29e9d8.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-05 11:25:32 +0200 | ajc__ | (~ajc@69.231.232.79) |
| 2021-04-05 11:25:50 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-05 11:27:38 +0200 | ajc_ | (~ajc@69.231.232.79) (Ping timeout: 240 seconds) |
| 2021-04-05 11:40:00 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 11:42:25 +0200 | ddellacosta | (~ddellacos@86.106.143.70) |
| 2021-04-05 11:42:51 +0200 | malumore | (~malumore@151.62.127.167) (Ping timeout: 260 seconds) |
| 2021-04-05 11:47:11 +0200 | ddellacosta | (~ddellacos@86.106.143.70) (Ping timeout: 260 seconds) |
| 2021-04-05 11:48:06 +0200 | lawt | (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-05 11:51:19 +0200 | hotlink | (2972ddee@41.114.221.238) (Quit: Ping timeout (120 seconds)) |
| 2021-04-05 11:53:09 +0200 | malumore | (~malumore@151.62.127.167) |
| 2021-04-05 11:55:05 +0200 | <kaol> | I wish Data.Foldable had toMaybe, since it has toList. |
| 2021-04-05 11:56:05 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-05 11:56:34 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-05 12:01:11 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) (Ping timeout: 260 seconds) |
| 2021-04-05 12:01:28 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) |
| 2021-04-05 12:06:06 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) (Ping timeout: 240 seconds) |
| 2021-04-05 12:06:31 +0200 | <tomsmeding> | toMaybe = listToMaybe . toList |
| 2021-04-05 12:07:52 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-04-05 12:07:55 +0200 | <kaol> | Yes, I know it's trivial. But so is toList. |
| 2021-04-05 12:09:02 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-05 12:14:19 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 12:18:16 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) |
| 2021-04-05 12:18:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-05 12:19:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 12:20:07 +0200 | <kaol> | I hate it when I do eta conversion and I end up with a second trailing variable that I can't get rid of as easily. |
| 2021-04-05 12:20:20 +0200 | <Uniaika> | eh |
| 2021-04-05 12:20:49 +0200 | <maerwald> | kaol: use \x -> \f -> |
| 2021-04-05 12:21:24 +0200 | <maerwald> | unless you mean eta reduction inside a function body |
| 2021-04-05 12:21:39 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 12:21:49 +0200 | <maerwald> | which you should be careful about, because you can break inlining |
| 2021-04-05 12:22:18 +0200 | <kaol> | Yes, how do I make pointless code even more pointless? |
| 2021-04-05 12:23:33 +0200 | <maerwald> | pointless code can break inlining |
| 2021-04-05 12:24:03 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-05 12:24:12 +0200 | <kaol> | I suppose I'll just live with this. |
| 2021-04-05 12:24:55 +0200 | <maerwald> | Is this about ego golfing or improving code? :p |
| 2021-04-05 12:25:41 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 12:25:58 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) |
| 2021-04-05 12:25:58 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) () |
| 2021-04-05 12:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 12:26:17 +0200 | <kaol> | Both but the latter is subjective. |
| 2021-04-05 12:27:10 +0200 | <kaol> | I've started using the Functor instance of (->) just to get to make my code more pointless. |
| 2021-04-05 12:27:36 +0200 | <kaol> | Time to start using Monad (->), I suppose. |
| 2021-04-05 12:27:40 +0200 | <maerwald> | right, sounds great, as long as you don't have coworkers |
| 2021-04-05 12:29:24 +0200 | <kaol> | I'm making my code more boring in that context. Though I've slipped in some things like Functor (,) in there. |
| 2021-04-05 12:30:03 +0200 | <kaol> | Pointless code looks more readable to me at this point. Even others' code. |
| 2021-04-05 12:30:11 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-04-05 12:35:28 +0200 | malumore | (~malumore@151.62.127.167) (Remote host closed the connection) |
| 2021-04-05 12:35:46 +0200 | malumore | (~malumore@151.62.127.167) |
| 2021-04-05 12:41:47 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) (Ping timeout: 260 seconds) |
| 2021-04-05 12:42:10 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 12:44:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 12:48:47 +0200 | bahamas | (~lucian@unaffiliated/bahamas) |
| 2021-04-05 12:49:17 +0200 | <bahamas> | can hoogle or another tool give me all the functions (in a package) that return a specific type? |
| 2021-04-05 12:49:36 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 12:50:46 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-05 12:52:43 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-04-05 12:53:50 +0200 | dexterlb | (~dexterlb@85.187.50.221) (Quit: Boing) |
| 2021-04-05 12:54:06 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-05 12:55:12 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-05 12:56:01 +0200 | Zialus_PT | (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) |
| 2021-04-05 12:57:41 +0200 | Zialus | (~RMF@199.125.37.188.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2021-04-05 13:00:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-05 13:05:47 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-04-05 13:06:51 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-seurarnwgsuldmdb) |
| 2021-04-05 13:07:20 +0200 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) |
| 2021-04-05 13:07:59 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-04-05 13:10:52 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) |
| 2021-04-05 13:14:06 +0200 | bahamas | (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds) |
| 2021-04-05 13:14:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-05 13:15:05 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-04-05 13:18:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-05 13:21:13 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 13:22:17 +0200 | jess | (jess@freenode/staff/jess) (Quit: Changing server) |
| 2021-04-05 13:22:45 +0200 | jess | (jess@freenode/staff/jess) |
| 2021-04-05 13:24:46 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-05 13:25:07 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-05 13:25:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-05 13:27:47 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-05 13:29:11 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-05 13:29:55 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-04-05 13:30:19 +0200 | Alleria | Guest53503 |
| 2021-04-05 13:37:37 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-04-05 13:40:06 +0200 | average | (uid473595@gateway/web/irccloud.com/x-ymrvurdpaiusenam) |
| 2021-04-05 13:42:31 +0200 | ivan` | (~ivan`@unaffiliated/ivan/x-6606153) |
| 2021-04-05 13:42:38 +0200 | bahamas | (~lucian@unaffiliated/bahamas) |
| 2021-04-05 13:49:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 13:50:51 +0200 | drbean_ | (~drbean@TC210-63-209-192.static.apol.com.tw) |
| 2021-04-05 13:53:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 13:53:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-05 13:55:26 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Quit: Reconnecting) |
| 2021-04-05 13:55:39 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-05 13:58:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-05 13:59:58 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-05 14:00:32 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 14:04:45 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 14:05:52 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:585d:35b6:9fa3:9ce) (Ping timeout: 246 seconds) |
| 2021-04-05 14:06:04 +0200 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-04-05 14:08:09 +0200 | aggin | (~ecm@103.88.87.26) |
| 2021-04-05 14:10:45 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-05 14:12:02 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:69eb:317d:6c76:80fb) |
| 2021-04-05 14:14:11 +0200 | aggin | (~ecm@103.88.87.26) (Ping timeout: 240 seconds) |
| 2021-04-05 14:15:09 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2021-04-05 14:15:40 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-05 14:15:52 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-04-05 14:17:12 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-05 14:17:27 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-05 14:17:53 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-05 14:19:14 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-04-05 14:21:15 +0200 | lawid | (~quassel@2a02:8109:b5c0:8af9:265e:beff:fe2a:dde8) |
| 2021-04-05 14:25:41 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 14:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 14:26:39 +0200 | ivan` | (~ivan`@unaffiliated/ivan/x-6606153) (Quit: ivan`) |
| 2021-04-05 14:27:03 +0200 | ddellacosta | (~ddellacos@86.106.143.200) |
| 2021-04-05 14:29:34 +0200 | aggin | (~ecm@103.88.87.26) |
| 2021-04-05 14:30:15 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-04-05 14:31:13 +0200 | molehillish | (~molehilli@ip98-165-87-166.ph.ph.cox.net) |
| 2021-04-05 14:32:06 +0200 | ddellacosta | (~ddellacos@86.106.143.200) (Ping timeout: 268 seconds) |
| 2021-04-05 14:34:43 +0200 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-04-05 14:34:58 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-05 14:36:06 +0200 | molehillish | (~molehilli@ip98-165-87-166.ph.ph.cox.net) (Ping timeout: 260 seconds) |
| 2021-04-05 14:42:21 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) (Ping timeout: 240 seconds) |
| 2021-04-05 14:42:30 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 14:43:13 +0200 | esp32_prog | (~esp32_pro@86.106.143.75) (Ping timeout: 268 seconds) |
| 2021-04-05 14:44:12 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-05 14:44:33 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 14:45:21 +0200 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-04-05 14:45:54 +0200 | bahamas | (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds) |
| 2021-04-05 14:46:02 +0200 | connrs_ | (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-04-05 14:46:14 +0200 | esp32_prog | (~esp32_pro@91.193.4.202) |
| 2021-04-05 14:46:54 +0200 | connrs | (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-04-05 14:46:56 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-05 14:47:18 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) |
| 2021-04-05 14:47:22 +0200 | connrs_ | (~connrs@connolley.uk) |
| 2021-04-05 14:48:26 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 14:49:11 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 252 seconds) |
| 2021-04-05 14:50:21 +0200 | aggin | (~ecm@103.88.87.26) (Quit: WeeChat 3.1) |
| 2021-04-05 14:50:47 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 14:53:42 +0200 | plutoniix | (~q@184.82.201.87) (Quit: Leaving) |
| 2021-04-05 14:55:18 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-05 14:55:48 +0200 | kandV | (~kand@bzq-79-176-163-212.red.bezeqint.net) |
| 2021-04-05 14:57:41 +0200 | connrs_ | (~connrs@connolley.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-04-05 14:58:36 +0200 | connrs | (~connrs@connolley.uk) |
| 2021-04-05 14:59:37 +0200 | dcbdan | (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-05 15:00:23 +0200 | esp32_prog | (~esp32_pro@91.193.4.202) (Ping timeout: 260 seconds) |
| 2021-04-05 15:02:01 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 15:02:44 +0200 | lawid | (~quassel@2a02:8109:b5c0:8af9:265e:beff:fe2a:dde8) (Quit: lawid) |
| 2021-04-05 15:03:44 +0200 | connrs | (~connrs@connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 15:04:50 +0200 | lawid | (~quassel@2a02:8109:b5c0:8af9:265e:beff:fe2a:dde8) |
| 2021-04-05 15:04:55 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 15:06:00 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-05 15:06:11 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 245 seconds) |
| 2021-04-05 15:09:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-05 15:12:28 +0200 | connrs | (~connrs@connolley.uk) |
| 2021-04-05 15:14:21 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 15:14:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 15:15:07 +0200 | <ukari> | `foo = (,) <$> (+1) <*> (+10)` and `foo = liftA2 (,) (+1) (+10)`, which is the better practise? |
| 2021-04-05 15:15:41 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-05 15:17:16 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:e0ec:15c3:a4fa:921e) (Ping timeout: 246 seconds) |
| 2021-04-05 15:18:09 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:f90:eaa6:ad10:8f7) |
| 2021-04-05 15:18:39 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-05 15:21:17 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-05 15:21:30 +0200 | <kaol> | At least my taste is to go for <$> and <*> if it spans multiple lines. |
| 2021-04-05 15:23:11 +0200 | <maerwald> | I can never remember what liftA2 does |
| 2021-04-05 15:23:31 +0200 | <maerwald> | lifting is a confusing term anyway |
| 2021-04-05 15:24:19 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-05 15:24:46 +0200 | <ukari> | lift to (->) functor |
| 2021-04-05 15:25:02 +0200 | <maerwald> | lift what? |
| 2021-04-05 15:25:07 +0200 | <maerwald> | why lift? |
| 2021-04-05 15:25:40 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 15:25:48 +0200 | <maerwald> | "type families" has also confused me for long, until I stopped thinking about families |
| 2021-04-05 15:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 15:26:12 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-05 15:27:20 +0200 | <ukari> | I think type families actually means type functions |
| 2021-04-05 15:27:44 +0200 | <Logio> | I imagine lift comes from mathematics as most things do |
| 2021-04-05 15:27:57 +0200 | esp32_prog | (~esp32_pro@91.193.4.202) |
| 2021-04-05 15:28:06 +0200 | <Logio> | you lift things from a structure to another |
| 2021-04-05 15:28:15 +0200 | <maerwald> | well, I'm not a native speaker |
| 2021-04-05 15:29:24 +0200 | <Logio> | I'd wager very few are native speakers of math, it tends to be a second or third language |
| 2021-04-05 15:30:03 +0200 | nbloomf | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 15:30:26 +0200 | <maerwald> | that's not what I meant |
| 2021-04-05 15:30:31 +0200 | <joel135> | I remember the type of liftA2 (,) by heart but not liftA2 alone. |
| 2021-04-05 15:31:32 +0200 | <Logio> | hmm, the docs actually suggest that some functors might have liftA2 implemented more efficiently than <$> and <*> |
| 2021-04-05 15:32:27 +0200 | <maerwald> | sounds like GHC should optimize that |
| 2021-04-05 15:32:46 +0200 | alx741 | (~alx741@181.196.69.45) |
| 2021-04-05 15:33:14 +0200 | <geekosaur> | I suspect auto-optimizing that would involve baking too much of Applicative into ghc |
| 2021-04-05 15:33:24 +0200 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-05 15:34:08 +0200 | nbloomf | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) (Client Quit) |
| 2021-04-05 15:34:09 +0200 | carlomagno | (~cararell@148.87.23.11) |
| 2021-04-05 15:35:24 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection) |
| 2021-04-05 15:36:26 +0200 | esp32_prog | (~esp32_pro@91.193.4.202) (Ping timeout: 240 seconds) |
| 2021-04-05 15:36:33 +0200 | Tops2 | (~Tobias@dyndsl-095-033-016-016.ewe-ip-backbone.de) |
| 2021-04-05 15:36:39 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-05 15:37:18 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 15:37:34 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-05 15:40:05 +0200 | nbloomf | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 15:41:36 +0200 | epicte7us | (~epictetus@193.160.245.238) |
| 2021-04-05 15:41:41 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-05 15:43:09 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:24c1:2242:42ca:a4c) |
| 2021-04-05 15:44:16 +0200 | kafl | (~kafl@unaffiliated/kafl) (Ping timeout: 268 seconds) |
| 2021-04-05 15:44:33 +0200 | nbloomf_ | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) |
| 2021-04-05 15:44:41 +0200 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-05 15:44:45 +0200 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-04-05 15:45:34 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-seurarnwgsuldmdb) (Quit: Connection closed for inactivity) |
| 2021-04-05 15:46:35 +0200 | nbloomf | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) (Ping timeout: 260 seconds) |
| 2021-04-05 15:47:07 +0200 | <maerwald> | `Data.ByteString.Lazy.readFile "foo" >>= Data.ByteString.Lazy.writeFile "bar"` forces the entire file into memory? |
| 2021-04-05 15:47:42 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:24c1:2242:42ca:a4c) (Ping timeout: 258 seconds) |
| 2021-04-05 15:48:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 15:52:21 +0200 | cpape` | (~user@static.180.18.203.116.clients.your-server.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-04-05 15:52:33 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-mbfvkjlwkgtwrpqh) |
| 2021-04-05 15:52:40 +0200 | cpape | (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-04-05 15:53:13 +0200 | kuribas | (~user@ptr-25vy0ia1sgpd4zeerw2.18120a2.ip6.access.telenet.be) |
| 2021-04-05 15:53:47 +0200 | drbean_ | (~drbean@TC210-63-209-192.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-05 15:53:57 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-05 15:56:38 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 240 seconds) |
| 2021-04-05 15:56:44 +0200 | cpape | (~user@static.180.18.203.116.clients.your-server.de) (Client Quit) |
| 2021-04-05 15:57:02 +0200 | cpape | (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-04-05 15:58:46 +0200 | epicte7us | (~epictetus@193.160.245.238) (Ping timeout: 260 seconds) |
| 2021-04-05 15:59:10 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-05 15:59:41 +0200 | ajc__ | (~ajc@69.231.232.79) (Ping timeout: 240 seconds) |
| 2021-04-05 16:00:38 +0200 | APic | (apic@apic.name) (Ping timeout: 240 seconds) |
| 2021-04-05 16:01:20 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-05 16:01:20 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-05 16:01:20 +0200 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-04-05 16:02:18 +0200 | APic | (apic@apic.name) |
| 2021-04-05 16:02:29 +0200 | <kuribas> | I want to create recursive forms, but that would create an infinite form if I just inline the content. |
| 2021-04-05 16:02:34 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-05 16:02:40 +0200 | <kuribas> | Is there a good way to add a unique ID to the form? |
| 2021-04-05 16:02:46 +0200 | <kuribas> | perhaps unsafePerformIO? |
| 2021-04-05 16:03:32 +0200 | <kuribas> | or I could require the user to prive a unique ID... |
| 2021-04-05 16:07:40 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-05 16:10:29 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds) |
| 2021-04-05 16:10:35 +0200 | ddellac__ | (~ddellacos@86.106.143.135) |
| 2021-04-05 16:10:57 +0200 | kiltzman | (~k1ltzman@195.189.99.96) (Ping timeout: 252 seconds) |
| 2021-04-05 16:13:23 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-05 16:15:03 +0200 | ddellac__ | (~ddellacos@86.106.143.135) (Ping timeout: 260 seconds) |
| 2021-04-05 16:16:35 +0200 | ajc__ | (~ajc@69.231.232.79) |
| 2021-04-05 16:26:17 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-04-05 16:26:28 +0200 | BrunoNapoleao | (~BrunoNapo@194.37.96.82) |
| 2021-04-05 16:27:24 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Ping timeout: 265 seconds) |
| 2021-04-05 16:29:29 +0200 | average | (uid473595@gateway/web/irccloud.com/x-ymrvurdpaiusenam) (Quit: Connection closed for inactivity) |
| 2021-04-05 16:29:45 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:c4c6:5880:c7da:7cf8) |
| 2021-04-05 16:34:07 +0200 | <dmj`> | maerwald: it shouldn't |
| 2021-04-05 16:34:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-05 16:34:14 +0200 | <dmj`> | maerwald: strict would for sure |
| 2021-04-05 16:35:09 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-05 16:36:00 +0200 | <maerwald> | dmj`: I tried (with lazy) |
| 2021-04-05 16:36:19 +0200 | <dmj`> | maerwald: did you run with +RTS -s -RTS and check the memory |
| 2021-04-05 16:36:34 +0200 | <maerwald> | I'm looking at htop |
| 2021-04-05 16:37:15 +0200 | bahamas | (~lucian@unaffiliated/bahamas) |
| 2021-04-05 16:37:33 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-04-05 16:38:26 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-05 16:39:31 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 16:40:45 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 16:41:39 +0200 | malumore | (~malumore@151.62.127.167) (Ping timeout: 260 seconds) |
| 2021-04-05 16:41:55 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-05 16:42:38 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 16:43:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 16:45:46 +0200 | <maerwald> | maybe ghci is messing it up |
| 2021-04-05 16:45:57 +0200 | <dmj`> | maerwald: can you output what +RTS -s -RTS says |
| 2021-04-05 16:47:22 +0200 | <maerwald> | this is when compiled to a binary https://paste.tomsmeding.com/EaZ439N2 |
| 2021-04-05 16:48:23 +0200 | <tomsmeding> | "72,496 bytes maximum residency" |
| 2021-04-05 16:48:31 +0200 | <tomsmeding> | sounds like it works :) |
| 2021-04-05 16:48:43 +0200 | <dmj`> | when equationally reasoning about the Functor identity laws for Maybe in the Just case (turning the RHS into the LHS in fmap id = id), I'm doing (RHS) fmap id (Just x) == Just (id x) == id (Just x) (LHS), what is the law that allows us to do id (Just x) == Just (id x) |
| 2021-04-05 16:49:01 +0200 | <dmj`> | or Just (id x) == id (Just x) |
| 2021-04-05 16:49:26 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) |
| 2021-04-05 16:49:41 +0200 | <tomsmeding> | Just (id x) == Just x == id (Just x) |
| 2021-04-05 16:49:50 +0200 | <tomsmeding> | because id x == x ? |
| 2021-04-05 16:49:57 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-05 16:50:29 +0200 | <maerwald> | tomsmeding: it doesn't in 'tar' |
| 2021-04-05 16:50:33 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-05 16:51:02 +0200 | <tomsmeding> | maerwald: nothing is forcing the length? |
| 2021-04-05 16:51:06 +0200 | <maerwald> | no |
| 2021-04-05 16:51:12 +0200 | <maerwald> | https://github.com/haskell/tar/blob/a0d722c1f6052bf144017d131a715ea1ae599964/Codec/Archive/Tar/Unp… |
| 2021-04-05 16:51:15 +0200 | <maerwald> | this line is forcing it |
| 2021-04-05 16:52:01 +0200 | <maerwald> | I can manually skip large files of the archive via nn if clause there and the memory spikes are gone |
| 2021-04-05 16:52:53 +0200 | <maerwald> | also, it doesn't work in ghci |
| 2021-04-05 16:53:02 +0200 | <maerwald> | so maybe it relies on optimizations that don't trigger |
| 2021-04-05 16:53:10 +0200 | <maerwald> | or something with the GC |
| 2021-04-05 16:53:58 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-05 16:54:02 +0200 | Franciman | (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-05 16:55:06 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-05 16:57:11 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3) |
| 2021-04-05 17:03:06 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 17:04:45 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-04-05 17:07:19 +0200 | kiltzman | (~k1ltzman@195.189.99.96) |
| 2021-04-05 17:07:47 +0200 | <dmj`> | tomsmeding: yea, but what do you call that, what algebraic property is that, just identity? |
| 2021-04-05 17:08:00 +0200 | <tomsmeding> | dmj`: the definition of the 'id' function |
| 2021-04-05 17:08:24 +0200 | <dmj`> | "by the definition of identity" sounds better |
| 2021-04-05 17:08:29 +0200 | <tomsmeding> | that 'id' is not a special symbol in your logic, right? it's just another function -- with a definition |
| 2021-04-05 17:08:31 +0200 | <shapr> | @seen shapr |
| 2021-04-05 17:08:31 +0200 | <lambdabot> | You are in #scannedinavian, #haskell.se, #haskell-overflow, #ghc, #haskell-beginners and #haskell.. |
| 2021-04-05 17:08:33 +0200 | <shapr> | yay |
| 2021-04-05 17:08:36 +0200 | <shapr> | it works again! |
| 2021-04-05 17:08:39 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 17:08:42 +0200 | <shapr> | @seen int-e |
| 2021-04-05 17:08:42 +0200 | <lambdabot> | int-e is in #esoteric, #ghc, #haskell and ##math.. |
| 2021-04-05 17:08:51 +0200 | <shapr> | oh, but it doesn't give most recent activity? |
| 2021-04-05 17:08:52 +0200 | <shapr> | aw |
| 2021-04-05 17:09:01 +0200 | <tomsmeding> | @seen tomsmeding |
| 2021-04-05 17:09:02 +0200 | <lambdabot> | You are in #haskell-offtopic and #haskell.. |
| 2021-04-05 17:09:05 +0200 | <tomsmeding> | :p |
| 2021-04-05 17:09:09 +0200 | <tomsmeding> | why the '..' though |
| 2021-04-05 17:09:27 +0200 | <shapr> | I dunno, I know int-e said @seen was using way too much memory |
| 2021-04-05 17:09:49 +0200 | <shapr> | previously the plugin would say when the client had last spoken and in which channel |
| 2021-04-05 17:09:56 +0200 | urodna_ | (~urodna@unaffiliated/urodna) |
| 2021-04-05 17:09:57 +0200 | <rotaerk> | apparently . is a valid character in channel names; was able to join "#haskell.." but it was empty |
| 2021-04-05 17:10:04 +0200 | <Uniaika> | kuribas: why do you need a recursive form? |
| 2021-04-05 17:10:08 +0200 | <int-e> | I didn't touch what information it keeps though... well, not recently. |
| 2021-04-05 17:10:12 +0200 | <int-e> | wait, ##math? |
| 2021-04-05 17:10:31 +0200 | <Uniaika> | @seen Uniaika |
| 2021-04-05 17:10:31 +0200 | <lambdabot> | You are in #haskell-offtopic, #haskell-fr, #ghc, #haskell and #hackage.. |
| 2021-04-05 17:10:34 +0200 | <Uniaika> | :> |
| 2021-04-05 17:10:41 +0200 | <int-e> | @seen int-e |
| 2021-04-05 17:10:41 +0200 | <lambdabot> | You are in #esoteric, #ghc, #haskell and ##math.. |
| 2021-04-05 17:10:46 +0200 | <Uniaika> | haha |
| 2021-04-05 17:11:22 +0200 | <int-e> | @seen int-e |
| 2021-04-05 17:11:23 +0200 | <lambdabot> | You are in #esoteric, #ghc and #haskell.. |
| 2021-04-05 17:11:30 +0200 | <tomsmeding> | lol |
| 2021-04-05 17:11:41 +0200 | <int-e> | (it's not even there... some sort of bug in tracking the current state) |
| 2021-04-05 17:12:15 +0200 | <int-e> | (well, I fixed it by having it join and leave ##math... so *some* of the state tracking machinery is working) |
| 2021-04-05 17:12:26 +0200 | urodna | (~urodna@unaffiliated/urodna) (Ping timeout: 268 seconds) |
| 2021-04-05 17:13:04 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-05 17:13:13 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 252 seconds) |
| 2021-04-05 17:14:47 +0200 | <tapas> | maerwald: there's no real action to be taken in the issue i raised for ghcup. I figured it'd be good to track on the ghcup issues list tho |
| 2021-04-05 17:14:55 +0200 | gekh | (~gkh@thor.kevinhill.nl) (Quit: Goodbye!) |
| 2021-04-05 17:15:14 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-04-05 17:15:47 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-05 17:15:48 +0200 | <dmj`> | maerwald: are you calling length on the bytestring or something, or folding it into a summary value before writing it |
| 2021-04-05 17:15:51 +0200 | ajc__ | (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 2021-04-05 17:15:58 +0200 | gekh | (~gkh@thor.kevinhill.nl) |
| 2021-04-05 17:16:00 +0200 | <cub3s_> | If I have system libraries I depend on, where would I put those in this nix file? https://github.com/cdepillabout/nix-cabal-example-project/blob/master/nixpkgs.nix |
| 2021-04-05 17:16:09 +0200 | <maerwald> | dmj`: I don't think so: https://github.com/haskell/tar/blob/a0d722c1f6052bf144017d131a715ea1ae599964/Codec/Archive/Tar/Rea… |
| 2021-04-05 17:16:17 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 17:16:56 +0200 | <cub3s_> | (that file comes from this tutorial, btw: https://github.com/cdepillabout/post-about-nix-and-haskell/blob/master/2019-08-03-q-and-as-about-n…) |
| 2021-04-05 17:17:15 +0200 | <cub3s_> | (it's perfect for my needs, except i have no idea where to put system libs) |
| 2021-04-05 17:17:20 +0200 | stickrobot | (~stickrobo@2a02:c7d:de8b:a400:8cc6:835c:580e:ac38) |
| 2021-04-05 17:19:33 +0200 | <maerwald> | dmj`: if there was an issue, I'd expect much worse outcome (e.g. the entire tar file read into memory), which isn't the case |
| 2021-04-05 17:19:53 +0200 | <maerwald> | so it seems to be streaming, except when writing out a file to disk |
| 2021-04-05 17:24:10 +0200 | stickrobot | (~stickrobo@2a02:c7d:de8b:a400:8cc6:835c:580e:ac38) ("WeeChat 3.1") |
| 2021-04-05 17:24:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 17:24:33 +0200 | <int-e> | shapr: Hmm are you sure that lambdabot ever did that? There was a replacement (preflex?) with its own `seen` feature that was a bit more elaborate... and checking the revision history, all I see is channel names and timestamps. |
| 2021-04-05 17:27:09 +0200 | <maerwald> | dmj`: I'm suspecting a GC issue maybe? The lazy bytestring is inside `(Next entry es)` in the `entry` structure... and there's a self-recursive call involving `es`... so maybe it will avoid GCing entry, unless the whole structure can be GCed? |
| 2021-04-05 17:27:10 +0200 | <int-e> | Btw, memory usage is fine for the current host... RSS relatively stable a little above 200MB. Which is a lot of memory for an IRC bot. |
| 2021-04-05 17:30:06 +0200 | <int-e> | Initially I ran lambdabot on a 512MB host, and disabling the seen plugin there made quite a difference. I probably could've reenabled it when I moved it to a 1GB VPS but I didn't dare... currently it has a 2GB VPS which means there's some room to spare. |
| 2021-04-05 17:30:30 +0200 | <int-e> | </history> |
| 2021-04-05 17:32:21 +0200 | lambda | (~xiretza@mail.xiretza.xyz) (Quit: WeeChat 3.1) |
| 2021-04-05 17:34:51 +0200 | bahamas | (~lucian@unaffiliated/bahamas) (Quit: leaving) |
| 2021-04-05 17:35:04 +0200 | lambda | (~xiretza@mail.xiretza.xyz) |
| 2021-04-05 17:35:35 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-05 17:36:02 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-04-05 17:38:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-05 17:40:57 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 17:43:01 +0200 | ChanServ | +o monochrom |
| 2021-04-05 17:43:15 +0200 | monochrom | +b *!*@192.145.118.58 |
| 2021-04-05 17:43:15 +0200 | perdent1 | monochromperdent1 |
| 2021-04-05 17:43:20 +0200 | monochrom | -o monochrom |
| 2021-04-05 17:44:08 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-04-05 17:44:45 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-05 17:45:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 17:45:45 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-05 17:46:43 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 17:48:42 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-jauuiqcdkjlizmjn) |
| 2021-04-05 17:51:05 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 17:53:02 +0200 | nbloomf_ | (nbloomf@gateway/vpn/privateinternetaccess/nbloomf) (Ping timeout: 246 seconds) |
| 2021-04-05 17:55:34 +0200 | nopf_ | nopf |
| 2021-04-05 17:55:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:75ec:cf91:4d29:7215) |
| 2021-04-05 17:56:35 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-04-05 17:57:54 +0200 | Guest53503 | (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-05 18:00:38 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Ping timeout: 240 seconds) |
| 2021-04-05 18:01:41 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-mbfvkjlwkgtwrpqh) (Quit: Connection closed for inactivity) |
| 2021-04-05 18:03:53 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-04-05 18:04:17 +0200 | Alleria | Guest50588 |
| 2021-04-05 18:04:22 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-04-05 18:05:39 +0200 | fendor | (~fendor@77.119.128.7.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-04-05 18:05:39 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-04-05 18:07:00 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 18:07:12 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 18:07:44 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 18:07:45 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-optpfvugqypsrxzy) (Quit: Connection closed for inactivity) |
| 2021-04-05 18:09:20 +0200 | fendor | (~fendor@77.119.128.7.wireless.dyn.drei.com) |
| 2021-04-05 18:09:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 18:09:39 +0200 | ezrakilt_ | (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 18:09:41 +0200 | ezrakilty | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Read error: Connection reset by peer) |
| 2021-04-05 18:10:06 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-05 18:12:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 18:12:53 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 18:13:02 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2021-04-05 18:13:09 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 18:13:20 +0200 | conal | (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 2021-04-05 18:13:42 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 18:14:26 +0200 | geekosaur | (42d52137@66.213.33.55) |
| 2021-04-05 18:17:11 +0200 | conal | (~conal@192.145.118.164) |
| 2021-04-05 18:18:54 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 246 seconds) |
| 2021-04-05 18:19:14 +0200 | plutoniix | (~q@node-ukd.pool-125-24.dynamic.totinternet.net) |
| 2021-04-05 18:19:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-05 18:20:34 +0200 | <geekosaur> | if @seen ever tracked their last activity and where, it was before I joined #haskell in 2006ish |
| 2021-04-05 18:20:57 +0200 | <dcbdan> | .3 |
| 2021-04-05 18:22:30 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 18:25:31 +0200 | <shapr> | geekosaur: that might be the case, I dunno |
| 2021-04-05 18:25:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 18:25:40 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 18:25:59 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 18:26:03 +0200 | <Cale> | geekosaur: I vaguely recall that @seen had a bug for a long time that resulted in its database being destroyed if lambdabot stopped running abnormally (which was usually the case if it stopped running at all), and from that point on it would stop working altogether until a backup of the @seen database was copied over. |
| 2021-04-05 18:27:33 +0200 | <Cale> | At that point, it did tell you when it last saw activity from people though. |
| 2021-04-05 18:27:36 +0200 | <geekosaur> | lemme correct that, it used to say when last active but not where or what they said, which if I read correctly is what shapr claimed |
| 2021-04-05 18:28:06 +0200 | <Cale> | Maybe instead of fixing the bug, it was easier to get rid of the feature :P |
| 2021-04-05 18:28:18 +0200 | <Cale> | (Or maybe someone complained about privacy) |
| 2021-04-05 18:31:19 +0200 | <kuribas> | Uniaika: http://www.alpacajs.org/docs/api/recursive-references.html |
| 2021-04-05 18:34:19 +0200 | ezrakilt_ | (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 2021-04-05 18:37:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-05 18:37:44 +0200 | kand | (~kand@bzq-79-176-163-212.red.bezeqint.net) |
| 2021-04-05 18:37:45 +0200 | kandV | (~kand@bzq-79-176-163-212.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-04-05 18:37:50 +0200 | kand | (~kand@bzq-79-176-163-212.red.bezeqint.net) () |
| 2021-04-05 18:38:11 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 18:38:54 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 18:39:14 +0200 | <shapr> | geekosaur: fair enough, I just want "last active" |
| 2021-04-05 18:46:19 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 18:46:25 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 250 seconds) |
| 2021-04-05 18:47:15 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-05 18:49:35 +0200 | zaquest | (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-04-05 18:50:01 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-05 18:53:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 18:55:14 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-05 18:55:23 +0200 | <kaol> | What's the language feature called where types are denoted with a "@"? A bit like ScopedTypeVariables from what I've seen. |
| 2021-04-05 18:55:39 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-05 18:56:14 +0200 | <geekosaur> | TypeApplications? |
| 2021-04-05 18:57:03 +0200 | <kaol> | Yes, that's it. Thanks. |
| 2021-04-05 18:58:11 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-04-05 18:58:25 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:75ec:cf91:4d29:7215) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 18:59:02 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 18:59:35 +0200 | ADG1089 | (~aditya@122.163.139.43) |
| 2021-04-05 18:59:43 +0200 | average | (uid473595@gateway/web/irccloud.com/x-pubgooousggoddvz) |
| 2021-04-05 19:00:07 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-05 19:02:07 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 19:02:26 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-gdkvwokxpicoslby) |
| 2021-04-05 19:05:06 +0200 | dxld | (~dxld@rush.pub.dxld.at) (Ping timeout: 246 seconds) |
| 2021-04-05 19:06:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-05 19:06:26 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 19:07:08 +0200 | thunderrd | (~thunderrd@183.182.111.116) (Ping timeout: 265 seconds) |
| 2021-04-05 19:07:34 +0200 | <ADG1089> | does this mean i have to work on extGCD? https://paste.tomsmeding.com/Djg4VlBf |
| 2021-04-05 19:07:44 +0200 | <ADG1089> | I mena go? |
| 2021-04-05 19:09:44 +0200 | <geekosaur> | it means that's where you should start, but don't forget to check for (for example) thunk forcing at that point. (possibly adding strictness elsewhere will change things) |
| 2021-04-05 19:09:50 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 19:10:38 +0200 | juri__ | (~juri@79.140.120.149) |
| 2021-04-05 19:10:51 +0200 | <ADG1089> | ok this is the updated one, I tried to use a recursive function instead of `until`: https://paste.tomsmeding.com/VMNoS91S |
| 2021-04-05 19:11:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-05 19:11:42 +0200 | <ADG1089> | doesn't seem to be making much of a difference |
| 2021-04-05 19:11:53 +0200 | <ADG1089> | maybe there's some problem in my algorithm itself |
| 2021-04-05 19:12:29 +0200 | juri_ | (~juri@79.140.123.75) (Ping timeout: 246 seconds) |
| 2021-04-05 19:12:48 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-05 19:12:50 +0200 | <viluon> | Hello, I came across the Haskell tracer Hat (https://archives.haskell.org/projects.haskell.org/hat/), and I can't shake the feeling that it was created in a different climate, so to speak. It seems to have chosen source-to-source translation because it took compatibility with various Haskell implementations seriously and because compiler extensibility was worse than it is today. Am I right in these assumptions? Is it |
| 2021-04-05 19:12:50 +0200 | <viluon> | true that GHC has a monopoly on the Haskell compiler ecosystem nowadays (and was it any different back in the day)? |
| 2021-04-05 19:14:19 +0200 | dxld | (~dxld@77.117.200.245.wireless.dyn.drei.com) |
| 2021-04-05 19:16:52 +0200 | geekosaur | (42d52137@66.213.33.55) (Quit: Connection closed) |
| 2021-04-05 19:17:05 +0200 | <shapr> | viluon: yes |
| 2021-04-05 19:18:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-05 19:18:32 +0200 | <viluon> | shapr: do you know of any sources I could cite to back these claims up? |
| 2021-04-05 19:20:27 +0200 | thunderrd | (~thunderrd@183.182.114.116) |
| 2021-04-05 19:20:41 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-04-05 19:20:55 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-05 19:21:26 +0200 | <shapr> | viluon: you could check CUFP archives for talks worrying that GHC was taking over as the only compiler |
| 2021-04-05 19:21:32 +0200 | <shapr> | might be ten years back though |
| 2021-04-05 19:21:49 +0200 | <viluon> | shapr: thanks! |
| 2021-04-05 19:22:04 +0200 | <shapr> | viluon: If I think of better sources, I'll tell you next time you visit? |
| 2021-04-05 19:22:14 +0200 | <shapr> | viluon: have you read the History of Haskell paper? |
| 2021-04-05 19:22:21 +0200 | <viluon> | shapr: that would be very kind of you. I have not! |
| 2021-04-05 19:22:21 +0200 | <shapr> | that'll get you lots of sources |
| 2021-04-05 19:22:32 +0200 | <viluon> | excellent, I'll check it out |
| 2021-04-05 19:24:27 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 19:24:28 +0200 | <shapr> | viluon: you could also check the past activity of the various alternative Haskell compilers |
| 2021-04-05 19:24:45 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) (Ping timeout: 240 seconds) |
| 2021-04-05 19:24:50 +0200 | <shapr> | if nothing else, you could plot release frequency, I'm sure you'd quickly find when GHC took over |
| 2021-04-05 19:24:54 +0200 | motersen_ | (~motersen@gateway/tor-sasl/motersen) |
| 2021-04-05 19:25:35 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 19:25:40 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 19:25:59 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 19:27:34 +0200 | <viluon> | hmm, that's a good idea, although it could be a little misleading. LHC (https://github.com/Lemmih/lhc) had some activity in 2019, but blog posts stopped in 2016 and judging from the README it was probably never anywhere close to a working implementation |
| 2021-04-05 19:27:38 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-04-05 19:27:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-05 19:28:00 +0200 | <shapr> | viluon: jhc was working at one point, I think |
| 2021-04-05 19:28:18 +0200 | <shapr> | hugs has sadly fallen behind, it'd be nice if GHC could still be bootstrapped from C |
| 2021-04-05 19:29:04 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-05 19:29:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-05 19:29:56 +0200 | <int-e> | jhc may be the bigger loss... being a fundamentally different implementation from GHC. (GRIN vs. STG) |
| 2021-04-05 19:35:38 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 19:36:45 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 19:37:18 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 19:38:04 +0200 | thunderrd | (~thunderrd@183.182.114.116) (Ping timeout: 265 seconds) |
| 2021-04-05 19:38:38 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:c4c6:5880:c7da:7cf8) (Remote host closed the connection) |
| 2021-04-05 19:39:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 19:41:57 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 19:42:07 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-sykzqmpormchxxqk) |
| 2021-04-05 19:44:32 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-04-05 19:45:11 +0200 | dxld_ | (~dxld@80-109-136-248.cable.dynamic.surfer.at) |
| 2021-04-05 19:47:11 +0200 | dxld | (~dxld@77.117.200.245.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-05 19:47:15 +0200 | dxld_ | dxld |
| 2021-04-05 19:50:38 +0200 | thunderrd | (~thunderrd@183.182.111.116) |
| 2021-04-05 19:53:25 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2d5e:da64:ce83:7848) |
| 2021-04-05 19:56:55 +0200 | dustinm | (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-04-05 19:59:03 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 19:59:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-05 20:00:41 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 240 seconds) |
| 2021-04-05 20:01:59 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-tqwsnaxaoooqdbuj) (Quit: Connection closed for inactivity) |
| 2021-04-05 20:03:45 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 258 seconds) |
| 2021-04-05 20:04:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-05 20:04:09 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-05 20:04:36 +0200 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-05 20:04:36 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-05 20:04:55 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-05 20:05:03 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 20:05:37 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-05 20:06:13 +0200 | <wz1000> | Helium is still being developed I think |
| 2021-04-05 20:07:53 +0200 | esp32_prog | (~esp32_pro@91.193.4.202) |
| 2021-04-05 20:08:59 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-04-05 20:12:28 +0200 | kristijonas | (~Kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-05 20:12:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 20:14:24 +0200 | <Tuplanolla> | If I have a particular set of packages in mind, how can I find the latest Stackage LTS that provides said packages? |
| 2021-04-05 20:14:42 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-05 20:15:26 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-05 20:16:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 20:16:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-05 20:16:16 +0200 | <monochrom> | Does "set of packages" include "set of version constraints"? |
| 2021-04-05 20:17:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-05 20:18:40 +0200 | <Tuplanolla> | Not this time. |
| 2021-04-05 20:19:13 +0200 | lotuseater | (~user@p200300e787027c008c32f0e981f17738.dip0.t-ipconnect.de) |
| 2021-04-05 20:19:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 20:19:52 +0200 | <monochrom> | Then Stackage mostly grows monotonically in time, so newer LTS has a higher chance of success, so linear search from newest to oldest finishes in O(1) expected time. |
| 2021-04-05 20:20:48 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Read error: Connection reset by peer) |
| 2021-04-05 20:22:25 +0200 | dustinm | (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-04-05 20:23:29 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 20:24:19 +0200 | Lycurgus | (~niemand@98.4.115.201) |
| 2021-04-05 20:25:40 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 20:26:00 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 20:26:39 +0200 | <Tuplanolla> | That's clearly not true, since 12.26 and 16.31 have Hakyll, while 14.27 and 17.9 do not. |
| 2021-04-05 20:26:58 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9) |
| 2021-04-05 20:27:17 +0200 | guest1135811 | (~username@185.234.208.208.r.toneticgroup.pl) |
| 2021-04-05 20:28:28 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-05 20:29:10 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 20:29:46 +0200 | mkDoku | (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 240 seconds) |
| 2021-04-05 20:30:35 +0200 | Sorna | (~Sornaensi@185.192.69.50) |
| 2021-04-05 20:32:59 +0200 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 2021-04-05 20:34:19 +0200 | juri__ | juri_ |
| 2021-04-05 20:34:43 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 268 seconds) |
| 2021-04-05 20:35:17 +0200 | <wroathe> | Would someone mind explaining why GHC can't deduce (Show (t (Bar a))) in the second example here: https://gist.github.com/JustinChristensen/cdc37922ecb6eb7d385acab527fd367c? |
| 2021-04-05 20:35:57 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Ping timeout: 268 seconds) |
| 2021-04-05 20:37:10 +0200 | <monochrom> | t (Bar a) ≠ Bar a, t (Bar a) ≠ t a |
| 2021-04-05 20:38:00 +0200 | <wroathe> | Hmm, isn't a Bar a a kind of a though? |
| 2021-04-05 20:38:33 +0200 | <glguy> | no, in that case the 'a' has already been picked by the user |
| 2021-04-05 20:38:40 +0200 | <glguy> | it some specific type that you don't get to know |
| 2021-04-05 20:38:50 +0200 | <monochrom> | "for all a" vs "the particular a of 'Foo t a'" |
| 2021-04-05 20:39:24 +0200 | <wroathe> | Right. So what would be the best way to do this then? Is manually defining a Show instance the way to go? |
| 2021-04-05 20:39:42 +0200 | <wroathe> | I essentially just want the default Show behavior |
| 2021-04-05 20:39:59 +0200 | <monochrom> | I think Show1 is involved again. |
| 2021-04-05 20:40:02 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 20:40:14 +0200 | <Tuplanolla> | It's definitely a job for `Show1`. |
| 2021-04-05 20:40:37 +0200 | <wroathe> | Ok. I'll look into that more. Thanks all! |
| 2021-04-05 20:40:54 +0200 | _bin | (~bin@2600:1700:10a1:38d0:590a:8b89:3c71:b467) |
| 2021-04-05 20:40:57 +0200 | <glguy> | to do it with a derived instance you need UndecidableInstances and : deriving instance (Show (t (Bar a)), Show a) => Show (Foo t a) |
| 2021-04-05 20:41:26 +0200 | <wroathe> | glguy: Yeah, I did try that and saw the message about UndecidableInstances. I've always heard that UD instances were to be avoided though... |
| 2021-04-05 20:41:26 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-04-05 20:41:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2021-04-05 20:41:52 +0200 | <monochrom> | Yes some people fearmonger against that. |
| 2021-04-05 20:42:09 +0200 | <glguy> | wroathe: the risk is you could use the instance wrong and cause compilation not to terminate |
| 2021-04-05 20:42:14 +0200 | <wroathe> | But it sounds like Show1 would be preferable here regardless |
| 2021-04-05 20:42:21 +0200 | <glguy> | but for the normal cases that instance would work fine |
| 2021-04-05 20:42:56 +0200 | <Tuplanolla> | There are Template Haskell support libraries to generate `Show1` instances. |
| 2021-04-05 20:44:41 +0200 | <wroathe> | Do you guys have any good resources that explain GHC's instance resolution algorithm in detail? |
| 2021-04-05 20:45:03 +0200 | <Tuplanolla> | Does the user guide? |
| 2021-04-05 20:45:09 +0200 | doraemon | (~doraemon@117.222.66.254) |
| 2021-04-05 20:46:42 +0200 | <wroathe> | I think it does have some sections on it, but I sometimes find the user guide to be a little terse, and so I figured some supplementary material would be good to review also. |
| 2021-04-05 20:47:14 +0200 | <monochrom> | The Haskell Report is a start for the standard one. "typing haskell in haskell" https://web.cecs.pdx.edu/~mpj/thih/ formalizes it further. |
| 2021-04-05 20:47:39 +0200 | <monochrom> | That's for the extensionless one. For each extension, GHC user's guide. |
| 2021-04-05 20:48:01 +0200 | <wroathe> | monochrom: Thanks! :) |
| 2021-04-05 20:48:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 20:49:46 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 240 seconds) |
| 2021-04-05 20:49:49 +0200 | doraemon | (~doraemon@117.222.66.254) (Quit: leaving) |
| 2021-04-05 20:50:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-05 20:50:37 +0200 | conal | (~conal@192.145.118.164) (Quit: Computer has gone to sleep.) |
| 2021-04-05 20:50:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-05 20:53:46 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-05 20:53:57 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 20:54:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 20:54:20 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 20:56:45 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-05 20:56:52 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.44) |
| 2021-04-05 20:57:07 +0200 | geekosaur | (42d52137@66.213.33.55) |
| 2021-04-05 20:57:08 +0200 | conal_ | (~conal@192.145.116.173) |
| 2021-04-05 20:57:51 +0200 | __minoru__shirae | (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 2021-04-05 20:58:33 +0200 | conal | (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 2021-04-05 21:00:11 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 260 seconds) |
| 2021-04-05 21:00:57 +0200 | kuribas | (~user@ptr-25vy0ia1sgpd4zeerw2.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-05 21:01:46 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-05 21:03:36 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-04-05 21:03:48 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 21:04:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 21:05:01 +0200 | ystael | (~ystael@130.sub-174-196-210.myvzw.com) |
| 2021-04-05 21:06:40 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-05 21:06:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-04-05 21:08:31 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 21:08:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-05 21:09:14 +0200 | rosterok | (uid236576@gateway/web/irccloud.com/x-rwvwjsgikbgkbaif) |
| 2021-04-05 21:09:28 +0200 | miklcct | (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Remote host closed the connection) |
| 2021-04-05 21:09:45 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-05 21:10:37 +0200 | miklcct | (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) |
| 2021-04-05 21:10:41 +0200 | guest1135811 | (~username@185.234.208.208.r.toneticgroup.pl) (Ping timeout: 240 seconds) |
| 2021-04-05 21:11:49 +0200 | connrs | (~connrs@connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 21:12:33 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-05 21:12:53 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-04-05 21:13:35 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 21:14:53 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 21:15:50 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 2021-04-05 21:16:33 +0200 | connrs | (~connrs@connolley.uk) |
| 2021-04-05 21:16:59 +0200 | connrs | (~connrs@connolley.uk) (Client Quit) |
| 2021-04-05 21:19:23 +0200 | average | (uid473595@gateway/web/irccloud.com/x-pubgooousggoddvz) (Quit: Connection closed for inactivity) |
| 2021-04-05 21:19:49 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 21:21:42 +0200 | aerona | (~aerona@2600:6c54:4600:f300:3cfc:ae1:3be3:38e1) |
| 2021-04-05 21:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 21:25:57 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 21:25:58 +0200 | connrs | (~connrs@connolley.uk) |
| 2021-04-05 21:25:59 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 21:29:47 +0200 | <tomsmeding> | shapr | geekosaur: fair enough, I just want "last active" |
| 2021-04-05 21:29:48 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 21:30:00 +0200 | <tomsmeding> | shapr: I guess ircbrowse has the information to answer such a query |
| 2021-04-05 21:30:13 +0200 | <geekosaur> | for the 2 channels it's in |
| 2021-04-05 21:30:13 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 21:30:30 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-05 21:30:36 +0200 | <tomsmeding> | heh lol true |
| 2021-04-05 21:33:38 +0200 | <tomsmeding> | the information shouldn't take all that much memory though; the sum of the lengths of all nicks seen in #haskell and #xmonad in the past couple months is 3.3 million |
| 2021-04-05 21:33:51 +0200 | <shapr> | int-e: have you seen the recent GRIN optimizer work? |
| 2021-04-05 21:33:52 +0200 | <tomsmeding> | at 8507 distinct nicks |
| 2021-04-05 21:34:18 +0200 | <shapr> | int-e: specifically https://grin-compiler.github.io/ |
| 2021-04-05 21:34:34 +0200 | <shapr> | I read Urban Boquist's thesis and really enjoyed it, but he never responded to email questions :-( |
| 2021-04-05 21:35:00 +0200 | gtk | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 21:35:33 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-05 21:36:34 +0200 | <monochrom> | But don't forget that GHC multiplies memory footprint by 10 to 100. >:) |
| 2021-04-05 21:36:40 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-05 21:36:54 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-05 21:37:26 +0200 | <monochrom> | "I am reading a 3MB file into String, it uses 3GB" was a common question here. >:) |
| 2021-04-05 21:38:39 +0200 | <geekosaur> | still is fairly common, with String replaced by something else. last few were ByteStrings iirc |
| 2021-04-05 21:38:48 +0200 | <tomsmeding> | monochrom: note my usage of "should" as opposed to "does" ;) |
| 2021-04-05 21:39:32 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 21:40:15 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 21:40:31 +0200 | LKoen_ | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-05 21:42:03 +0200 | fissureman | (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-05 21:42:20 +0200 | tomsmeding | wonders if someone has implemented mutex-guarded mutable data structures for haskell |
| 2021-04-05 21:43:07 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2021-04-05 21:43:47 +0200 | <monochrom> | I think Chan counts. It is a singly linked list using MVars all the way down. |
| 2021-04-05 21:44:18 +0200 | <infinisil> | This instance is awesome: Monoid a => Applicative ((,) a) |
| 2021-04-05 21:44:27 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-05 21:44:49 +0200 | <monochrom> | Although one MVar is different from one mutex, by the time you have a ton of MVar-based list nodes, it comes close. |
| 2021-04-05 21:44:54 +0200 | juri__ | (~juri@79.140.115.234) |
| 2021-04-05 21:45:40 +0200 | <monochrom> | "is that Writer monad?" meme >:) |
| 2021-04-05 21:46:07 +0200 | <monochrom> | (I was going to say, a few days ago, when it came up.) |
| 2021-04-05 21:46:24 +0200 | Forlorn_ | (~Forlorn@unaffiliated/forlorn) (Remote host closed the connection) |
| 2021-04-05 21:46:26 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-05 21:46:45 +0200 | <infinisil> | monochrom: Oh that instance is Writer? |
| 2021-04-05 21:46:52 +0200 | <infinisil> | Oh yeah I guess it kinda is |
| 2021-04-05 21:48:18 +0200 | gtk | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-05 21:48:18 +0200 | juri_ | (~juri@79.140.120.149) (Ping timeout: 260 seconds) |
| 2021-04-05 21:48:21 +0200 | <monochrom> | Technically, (Monoid a, Monad m) => Monad (WriterT m a), then let m = Identity |
| 2021-04-05 21:48:40 +0200 | <infinisil> | Oh yeah, it very much is |
| 2021-04-05 21:48:43 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-04-05 21:48:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-05 21:49:09 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 21:49:25 +0200 | <monochrom> | But after m=Identity and unwrapping the newtype wrapper, it is (,) a. |
| 2021-04-05 21:49:31 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-05 21:49:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-05 21:50:55 +0200 | <infinisil> | Yea |
| 2021-04-05 21:50:56 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 21:50:58 +0200 | <infinisil> | Magical |
| 2021-04-05 21:51:01 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-05 21:51:18 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 21:51:40 +0200 | <monochrom> | In nice correspondence with (->)e being Reader e, too. |
| 2021-04-05 21:52:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 21:52:55 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-05 21:52:58 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 21:53:10 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 21:53:41 +0200 | <tomsmeding> | monochrom: I was more talking about a mutable array that uses only O(1) more memory than its elements and that I can modify in parallel :p |
| 2021-04-05 21:53:53 +0200 | <infinisil> | monochrom: Damn |
| 2021-04-05 21:54:29 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:f90:eaa6:ad10:8f7) (Ping timeout: 250 seconds) |
| 2021-04-05 21:55:35 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:4f57:ce37:eed1:27d0) |
| 2021-04-05 21:56:09 +0200 | juri_ | (~juri@79.140.123.6) |
| 2021-04-05 21:57:16 +0200 | Lycurgus | (~niemand@98.4.115.201) (Quit: Exeunt) |
| 2021-04-05 21:57:32 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 21:58:46 +0200 | juri__ | (~juri@79.140.115.234) (Ping timeout: 240 seconds) |
| 2021-04-05 21:58:49 +0200 | crestfallen | (~john@128.32.176.159) |
| 2021-04-05 21:59:39 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 22:01:21 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-05 22:03:52 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-05 22:04:06 +0200 | juri_ | (~juri@79.140.123.6) (Ping timeout: 240 seconds) |
| 2021-04-05 22:05:15 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 2021-04-05 22:06:09 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:5962:e60d:b2c8:27f9) |
| 2021-04-05 22:07:13 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-04-05 22:11:27 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 22:11:47 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 22:11:47 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-05 22:12:45 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-04-05 22:13:27 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-05 22:16:11 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-05 22:18:40 +0200 | ajc | (~ajc@69.231.232.79) |
| 2021-04-05 22:19:12 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 22:19:25 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:5962:e60d:b2c8:27f9) (Read error: Connection reset by peer) |
| 2021-04-05 22:19:46 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-05 22:20:39 +0200 | malumore | (~malumore@151.62.127.167) |
| 2021-04-05 22:22:28 +0200 | BrunoNapoleao | (~BrunoNapo@194.37.96.82) (Remote host closed the connection) |
| 2021-04-05 22:23:07 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 22:23:25 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-05 22:24:22 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 22:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-04-05 22:25:59 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 22:26:09 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 22:26:28 +0200 | stree | (~stree@68.36.8.116) |
| 2021-04-05 22:29:40 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-05 22:30:13 +0200 | geekosaur | (42d52137@66.213.33.55) (Quit: Connection closed) |
| 2021-04-05 22:30:26 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) |
| 2021-04-05 22:31:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 22:34:33 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-05 22:35:26 +0200 | proteusguy | (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) (Ping timeout: 260 seconds) |
| 2021-04-05 22:35:58 +0200 | thecoffemaker | (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 240 seconds) |
| 2021-04-05 22:37:09 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-05 22:40:03 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:4f57:ce37:eed1:27d0) (Ping timeout: 260 seconds) |
| 2021-04-05 22:40:48 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:3578:169e:a638:309) |
| 2021-04-05 22:42:19 +0200 | thecoffemaker | (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-04-05 22:42:23 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-05 22:43:48 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 22:45:45 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 22:46:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 22:47:37 +0200 | proteusguy | (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) |
| 2021-04-05 22:49:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 22:52:19 +0200 | ystael | (~ystael@130.sub-174-196-210.myvzw.com) (Read error: Connection reset by peer) |
| 2021-04-05 22:54:51 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-05 22:54:57 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:3578:169e:a638:309) (Ping timeout: 252 seconds) |
| 2021-04-05 22:56:02 +0200 | xff0x | (~xff0x@2001:1a81:523f:b000:30db:80f7:2aff:f171) |
| 2021-04-05 22:56:51 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-05 22:57:51 +0200 | Hellaenergy | (~Hellaener@178.239.168.171) |
| 2021-04-05 23:00:03 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-04-05 23:01:19 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 23:01:46 +0200 | conal_ | (~conal@192.145.116.173) (Ping timeout: 240 seconds) |
| 2021-04-05 23:03:12 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-04-05 23:04:19 +0200 | LKoen_ | (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-05 23:05:51 +0200 | average | (uid473595@gateway/web/irccloud.com/x-nfxnbiiogmdlamqs) |
| 2021-04-05 23:07:31 +0200 | solarus | (~solarus@2a03:b0c0:2:d0::48:7001) |
| 2021-04-05 23:08:01 +0200 | conal | (~conal@64.71.133.70) |
| 2021-04-05 23:09:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 23:09:49 +0200 | lawt | (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) |
| 2021-04-05 23:14:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 23:14:42 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-05 23:15:04 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:e190:d35c:f53a:87f1) |
| 2021-04-05 23:15:16 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2d5e:da64:ce83:7848) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 23:16:57 +0200 | cake_eater | (~kiweun@2607:fea8:2a62:9600:9db9:9a23:8a1e:6f8c) |
| 2021-04-05 23:17:30 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b95396118d8d56ee70ad6.dip0.t-ipconnect.de) |
| 2021-04-05 23:18:34 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 23:18:53 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 23:19:51 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:e190:d35c:f53a:87f1) (Ping timeout: 250 seconds) |
| 2021-04-05 23:20:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 23:23:04 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds) |
| 2021-04-05 23:24:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-05 23:25:39 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 23:25:58 +0200 | zebrag | (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 23:26:55 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-04-05 23:28:00 +0200 | gawen | (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-04-05 23:28:23 +0200 | gawen | (~gawen@movzbl.root.sx) |
| 2021-04-05 23:29:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 23:30:05 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-05 23:33:50 +0200 | ystael | (~ystael@209.6.50.55) |
| 2021-04-05 23:36:01 +0200 | fendor_ | (~fendor@91.141.0.13.wireless.dyn.drei.com) |
| 2021-04-05 23:36:51 +0200 | Tops2 | (~Tobias@dyndsl-095-033-016-016.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-04-05 23:37:18 +0200 | fendor_ | (~fendor@91.141.0.13.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-05 23:37:41 +0200 | Franciman | (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-05 23:38:11 +0200 | fendor | (~fendor@77.119.128.7.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-05 23:41:39 +0200 | juri_ | (~juri@79.140.122.136) |
| 2021-04-05 23:42:07 +0200 | <koz_> | I'm getting this error from cabal when I try to use FFI stuff: Warning: the following files would be used as linker inputs, but linking is not being done: |
| 2021-04-05 23:42:16 +0200 | <koz_> | What am I missing in my cabal file? |
| 2021-04-05 23:42:47 +0200 | <koz_> | Never mind lol, what I was missing was a sense for typoes. |
| 2021-04-05 23:49:24 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 23:52:39 +0200 | dinciorip | (~dincio@5.170.104.221) |
| 2021-04-05 23:52:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-05 23:53:50 +0200 | dinciorip | (~dincio@5.170.104.221) (Client Quit) |
| 2021-04-05 23:54:08 +0200 | dinciorip | (~dincio@5.170.104.221) |
| 2021-04-05 23:56:43 +0200 | molehillish | (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) (Remote host closed the connection) |