Logs: freenode/#haskell
| 2021-05-18 00:26:14 | <Evilmagix> | monochrom: if it was instead the RHS of this, would it be O(N^2) then? head (us \\ vs) ≠ us \\ vs |
| 2021-05-18 00:26:23 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-18 00:26:37 | → | patlv_ joins (~patlv@unaffiliated/patlv) |
| 2021-05-18 00:27:07 | × | patlv_ quits (~patlv@unaffiliated/patlv) (Client Quit) |
| 2021-05-18 00:27:52 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 00:27:54 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 00:28:13 | → | tadz1k joins (~tadz1k@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-18 00:28:31 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-05-18 00:29:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-18 00:31:04 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-18 00:35:11 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-18 00:36:22 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-05-18 00:36:55 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-goyypkkhhsgxwnjf) |
| 2021-05-18 00:37:02 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-18 00:37:13 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 00:38:15 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-18 00:38:45 | × | mikoto-c1 quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-18 00:44:26 | <edwardk> | Evilmagix: consider something like head ([1..100001] \\ [100000,99999..0]]) -- you get each element then have to run through the entire second list looking for it, find it, then start over and look for the next element, etc then only find a result on the last possible entry. so even the head doesn't help you asymptotically. if you know a little more, like maybe you have two lists and they are stored in sorted order or some such you can |
| 2021-05-18 00:44:26 | <edwardk> | work a little smarter and try to reduce asymptotic costs but not with the definitions given here |
| 2021-05-18 00:44:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-18 00:45:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 00:46:30 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 00:48:31 | <Evilmagix> | edwardk: I am not sure if you saw my original question but I was asking 'I have started reading Bird's "Pearls of functional algorithm design" and in the first chapter he seems to state that us \\ vs is O(n) rather than what I assume is O(n^2)'. |
| 2021-05-18 00:49:05 | <monochrom> | I saw no such statement in the text, not even logically implied. |
| 2021-05-18 00:49:13 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-18 00:50:25 | <monochrom> | What's stated in the text is that "head ([0..] \\ xs)" takes quadratic time in length of xs. |
| 2021-05-18 00:50:52 | <Evilmagix> | monochrom: The whole point of that chapter is using this technique to find the first missing element in linear time. |
| 2021-05-18 00:51:04 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-18 00:51:07 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-18 00:51:09 | <monochrom> | The linear-time algorithm doesn't use \\ |
| 2021-05-18 00:51:22 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-18 00:51:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-18 00:52:06 | <Evilmagix> | linear time algorithm calls minfrom, which does use it though? |
| 2021-05-18 00:52:46 | <monochrom> | no? |
| 2021-05-18 00:53:31 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-18 00:54:39 | <edwardk> | i don't have my copy of the pearl book handy, but i don't recall the details of this chapter. i'm assuming you read the chapter wrong, because bird tends not to make mistakes like that |
| 2021-05-18 00:54:45 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-18 00:54:47 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-05-18 00:55:03 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-18 00:58:08 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-05-18 00:59:25 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-05-18 00:59:54 | <Evilmagix> | It is my mistake, it says θ(n) not O(n). Teach me for reading late at night |
| 2021-05-18 01:00:06 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-05-18 01:00:24 | <Evilmagix> | Feel silly now |
| 2021-05-18 01:00:47 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-05-18 01:01:14 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:817:9e04:8c77:45e2) (Ping timeout: 245 seconds) |
| 2021-05-18 01:01:14 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 01:01:34 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 01:02:32 | → | slack1256 joins (~slack1256@191.126.227.87) |
| 2021-05-18 01:03:14 | × | liyang quits (~liyang@90.255.129.199) (Ping timeout: 246 seconds) |
| 2021-05-18 01:03:53 | × | Evilmagix quits (2be74510@43.231.69.16) (Quit: Connection closed) |
| 2021-05-18 01:04:13 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 01:04:23 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-18 01:05:25 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-18 01:06:02 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-18 01:06:06 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 01:07:19 | → | mikoto-c1 joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-18 01:09:36 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:a4e4:b4fd:c3d:e3bd) |
| 2021-05-18 01:12:23 | → | liyang joins (~liyang@90.253.228.174) |
| 2021-05-18 01:12:49 | × | Sixtine quits (~Sixtine@97e577ed.skybroadband.com) (Ping timeout: 252 seconds) |
| 2021-05-18 01:13:03 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-18 01:14:10 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-18 01:17:33 | × | mikoto-c1 quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-18 01:17:34 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-18 01:18:36 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-18 01:19:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 01:21:09 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-18 01:21:26 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-18 01:23:59 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 01:24:22 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 01:24:31 | <jackdk> | hw-kafka-client depends on librdkafka, which I have installed manually from source into /usr/local . it declares extra-libraries: rdkafka. My package, which has build-depends: hw-kafka-client, fails to find it even with --extra-lib-dirs=/usr/local/lib and --extra-include-dirs=/usr/local/include passed to cabal build. What am I missing? |
| 2021-05-18 01:25:00 | <jackdk> | building with -v3 says ld.gold: error: cannot find -lrdkafka, so the linker is misinformed |
| 2021-05-18 01:25:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 01:26:07 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 01:26:23 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 01:27:12 | <jackdk> | grepping for /usr/local in cabal output only shows it in path, so that makes me think I'm passing arguments the wrong way |
| 2021-05-18 01:30:07 | <jackdk> | oh. https://github.com/haskell/cabal/issues/2997 . That seems completely bizarre to me but there you go |
| 2021-05-18 01:32:17 | → | steven1 joins (~steven@172.92.136.203) |
| 2021-05-18 01:32:46 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 01:33:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-18 01:33:53 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-18 01:37:20 | <steven1> | hello, I was curious is there any way for me to define a function that takes in a function and returns a function where the first parameter is moved to the end? e.g. flip3 :: (a -> b -> c -> d) -> (b -> c -> a -> d) but for any arity? I thought it might be possible with a typeclass but I tried it and didn't get very far. Here's my attempt |
| 2021-05-18 01:37:22 | <steven1> | https://gist.github.com/stevenfontanella/cd6326cb29861d4478a9fb6e3f79a8d8 |
| 2021-05-18 01:37:44 | <steven1> | seems like I would have to define it recursively in terms of lower-arity cases, which doesn't seem easy.... |
| 2021-05-18 01:37:54 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-18 01:38:37 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-124.dsl.bell.ca) |
| 2021-05-18 01:39:08 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-18 01:39:39 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (Ping timeout: 260 seconds) |
| 2021-05-18 01:40:37 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-18 01:41:43 | × | boxscape quits (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-05-18 01:41:56 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-18 01:42:26 | → | vk3wtf joins (~doc@61.68.250.44) |
| 2021-05-18 01:43:07 | → | pjb joins (~pjb@2a01cb04063ec5009477333dc83d90e4.ipv6.abo.wanadoo.fr) |
| 2021-05-18 01:43:35 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 01:43:37 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-124.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-18 01:43:40 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-18 01:44:06 | × | argento quits (~argent0@168.227.97.34) (Ping timeout: 268 seconds) |
| 2021-05-18 01:46:36 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-18 01:47:15 | <ski> | "arity" isn't welldefined |
| 2021-05-18 01:47:16 | → | drbean_ joins (~drbean@TC210-63-209-31.static.apol.com.tw) |
All times are in UTC.