Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 .. 5022
— 502,152 events total
2020-11-20 22:03:56 <ski> minimario : ah, okay
2020-11-20 22:04:08 → moet joins (~moet@mobile-166-137-178-165.mycingular.net)
2020-11-20 22:04:34 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-11-20 22:04:39 <moet> is there an equivalent to KnownNat(natVal) somewhere for types of kind Bool? .. or should i just define it?
2020-11-20 22:04:40 <ski> dminuoso : any overheard opinion on the relative merits ?
2020-11-20 22:05:24 → maroloccio joins (~marolocci@2a02:8084:221:ce00:164f:8aff:fed8:411d)
2020-11-20 22:05:33 → cads joins (~cads@ip-64-72-99-232.lasvegas.net)
2020-11-20 22:06:46 × conal quits (~conal@172.255.125.150) (Quit: Computer has gone to sleep.)
2020-11-20 22:07:05 × jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 240 seconds)
2020-11-20 22:07:15 <ski> minimario : btw, note that the `andM' you were using was a monadic version of the binary conjunction, while the one in e.g. <https://hackage.haskell.org/package/extra/docs/Control-Monad-Extra.html> is `Monad m => [m Bool] -> m Bool', a monadic version of `and :: [Bool] -> Bool', taking a list
2020-11-20 22:08:09 <minimario> oh hm there are two versions?
2020-11-20 22:08:10 <minimario> interesting
2020-11-20 22:08:17 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 260 seconds)
2020-11-20 22:08:26 <minimario> second one is just a generalization i guess :)
2020-11-20 22:09:29 <dminuoso> ski: No.
2020-11-20 22:09:41 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-20 22:10:12 <dminuoso> I only skimmed Brent's version, so Im not equipped to compare them well enough. But I know Brent spoke well of Joachim's take on the course.
2020-11-20 22:10:14 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-20 22:10:55 <dminuoso> And at least the entry seems a bit easier since the first weeks build up ontop of each other, giving coherent excercises leading to a sokoban clone.
2020-11-20 22:10:57 <ski> minimario : one is a monadic generalization of `(&&)'. the other of `and'
2020-11-20 22:11:01 → ronbrz joins (~ronbrz@207.229.174.134)
2020-11-20 22:11:34 × Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection)
2020-11-20 22:12:16 <ski> dminuoso : ok. i vaguely recall someone (in here), suggesting the 2013 spring version (over others). but it's possible that was before fall of 2016
2020-11-20 22:12:56 <dminuoso> ski: I picked up a few arguments for both, but I never noticed any criticism about either.
2020-11-20 22:13:17 → wh00 joins (~wh0000@cpc152777-shef18-2-0-cust223.17-1.cable.virginm.net)
2020-11-20 22:13:37 × wh0 quits (~wh0000@cpc152777-shef18-2-0-cust223.17-1.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-20 22:14:18 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Remote host closed the connection)
2020-11-20 22:15:26 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-11-20 22:16:24 × rawles quits (~r@unaffiliated/rawles) (Ping timeout: 240 seconds)
2020-11-20 22:17:31 hackage dense 0.1.0.1 - Mutable and immutable dense multidimensional arrays https://hackage.haskell.org/package/dense-0.1.0.1 (cchalmers)
2020-11-20 22:17:35 × wh00 quits (~wh0000@cpc152777-shef18-2-0-cust223.17-1.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-20 22:17:49 <johnw> I wonder why there is Data.ByteString.isInfixOf, but not Data.ByteString.Lazy.isInfixOf; the others are present
2020-11-20 22:17:56 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-20 22:18:43 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 256 seconds)
2020-11-20 22:19:22 → rawles joins (~r@unaffiliated/rawles)
2020-11-20 22:19:45 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-20 22:21:21 → conal joins (~conal@172.255.125.150)
2020-11-20 22:21:38 → jneira joins (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192)
2020-11-20 22:25:28 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-20 22:25:57 <dminuoso> johnw: Mmm, even the isSuffixOf implementation is a bit questionable.
2020-11-20 22:26:09 <dminuoso> Guess the reason seems that bytestring has no streaming facilities
2020-11-20 22:26:51 <dminuoso> Is https://hackage.haskell.org/package/text-1.2.4.0/docs/src/Data.Text.Internal.Lazy.Search.html#indices portable to bytestring perhaps?
2020-11-20 22:28:02 → alp joins (~alp@88.126.45.36)
2020-11-20 22:29:40 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-20 22:33:01 × minimario quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection)
2020-11-20 22:34:16 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-20 22:35:13 × conal quits (~conal@172.255.125.150) (Quit: Computer has gone to sleep.)
2020-11-20 22:35:16 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-11-20 22:39:24 × Franciman quits (~francesco@host-79-27-199-238.retail.telecomitalia.it) (Quit: Leaving)
2020-11-20 22:39:27 → conal joins (~conal@64.71.133.70)
2020-11-20 22:40:01 × luke quits (~luke@bitnomial/staff/luke) (Quit: sleep)
2020-11-20 22:42:09 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 265 seconds)
2020-11-20 22:44:39 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-20 22:44:54 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-20 22:49:14 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-20 22:49:57 × caasih quits (sid13241@gateway/web/irccloud.com/x-terlgyaghsopjzfx) (Ping timeout: 260 seconds)
2020-11-20 22:49:57 × cemerick quits (sid54985@gateway/web/irccloud.com/x-sezszkubzwzwoedv) (Ping timeout: 260 seconds)
2020-11-20 22:50:11 → caasih joins (sid13241@gateway/web/irccloud.com/x-odjkianrohgyrvme)
2020-11-20 22:50:32 × jbetz quits (sid283648@gateway/web/irccloud.com/x-lgtmgjydvhzpefgi) (Ping timeout: 260 seconds)
2020-11-20 22:50:32 × trevorriles quits (sid469656@gateway/web/irccloud.com/x-vcwwrvniknzblcpg) (Ping timeout: 260 seconds)
2020-11-20 22:50:32 × metadave quits (sid28102@gateway/web/irccloud.com/x-wybfodxjmjkizymy) (Ping timeout: 260 seconds)
2020-11-20 22:50:32 × ibloom quits (sid350277@gateway/web/irccloud.com/x-hlioyajxeywwuxmx) (Ping timeout: 260 seconds)
2020-11-20 22:50:43 → ibloom joins (sid350277@gateway/web/irccloud.com/x-ftwuwcmqpnbfrqgs)
2020-11-20 22:50:51 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-20 22:52:07 × chaosmasttter quits (~chaosmast@p200300c4a70b2a01f05e932a21001b8c.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-20 22:52:30 → conal joins (~conal@64.71.133.70)
2020-11-20 22:52:41 → trevorriles joins (sid469656@gateway/web/irccloud.com/x-cfgejkqvovtgjbpt)
2020-11-20 22:52:43 → metadave joins (sid28102@gateway/web/irccloud.com/x-bjrjtdehstdxjwgn)
2020-11-20 22:52:47 → jbetz joins (sid283648@gateway/web/irccloud.com/x-sdqysuekfefsmces)
2020-11-20 22:52:48 → cemerick joins (sid54985@gateway/web/irccloud.com/x-bubkwfmgbakwqyik)
2020-11-20 22:53:03 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-20 22:53:04 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 256 seconds)
2020-11-20 22:53:20 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-20 22:54:36 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-20 22:56:01 → conal joins (~conal@64.71.133.70)
2020-11-20 22:59:48 → vhs joins (~vhs@41.239.254.104)
2020-11-20 23:00:40 → minimario joins (2fe3e53b@047-227-229-059.res.spectrum.com)
2020-11-20 23:01:03 <minimario> why does Data.List.init exist if take already exists?
2020-11-20 23:02:31 <glguy> > init (repeat 'a')
2020-11-20 23:02:33 <lambdabot> "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa...
2020-11-20 23:02:36 <monochrom> How would you take to emulate init? You will run into an annoyance and an insurmountable problem.
2020-11-20 23:02:42 <monochrom> err
2020-11-20 23:02:44 <monochrom> How would you use take to emulate init? You will run into an annoyance and an insurmountable problem.
2020-11-20 23:03:18 <glguy> monochrom: is the answer timeouts? ^_^
2020-11-20 23:03:54 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-20 23:04:27 <minimario> oh i guess if the list is infinite
2020-11-20 23:04:37 <minimario> but for finite lists they're equivalent, no?
2020-11-20 23:04:53 <minimario> if i do something like init xs = take (length xs-1) xs or something
2020-11-20 23:04:55 <glguy> it's undesirable to have to complete the whole length first before producing any list elements
2020-11-20 23:05:03 <johnw> dminuoso: thanks for looking
2020-11-20 23:05:12 <monochrom> Your "equivalence" probably ignores very important time and space complexities.
2020-11-20 23:05:13 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-20 23:05:26 × Guest42 quits (56ca6780@gateway/web/cgi-irc/kiwiirc.com/ip.86.202.103.128) (Quit: Connection closed)
2020-11-20 23:05:30 <minimario> can you explain that?
2020-11-20 23:05:35 <minimario> they're both O(n) right?
2020-11-20 23:05:40 <minimario> at least time
2020-11-20 23:05:44 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-20 23:05:44 <minimario> i'm not sure how to reason about space
2020-11-20 23:05:51 <monochrom> You are also ignoring lazy evaluation.
2020-11-20 23:06:16 <monochrom> Suppose length xs = 10^10
←Prev  Next→
Page 1 .. 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 .. 5022

All times are in UTC.