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