Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 .. 5022
— 502,152 events total
2021-03-07 06:03:54 <heck-to-the-gnom> OK, sorry to cut things short, but I've to be elsewhere asap, but, I'll investigate the things you've pointed out tomorrow. Also, I realized that `ifFloat''` at the least is of type `Maybe a -> Bool`
2021-03-07 06:04:13 × doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 245 seconds)
2021-03-07 06:04:42 <heck-to-the-gnom> Oh, Cale said that before...
2021-03-07 06:07:08 × polyrain quits (~polyrain@2001:8003:e4d8:4101:40f8:9e5c:2d80:8515) (Ping timeout: 260 seconds)
2021-03-07 06:07:18 → polyrain_ joins (~polyrain@124.177.21.171)
2021-03-07 06:07:33 <swarmcollective> I suppose I'll have to do that sleep thing AGAIN. *sigh* However, thank you all for your assistance! It is greatly appreciated!
2021-03-07 06:08:44 × Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Quit: Leaving)
2021-03-07 06:11:20 × ADG1089_ quits (~adg1089@122.163.167.99) (Ping timeout: 256 seconds)
2021-03-07 06:12:32 × DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-07 06:13:06 → jakalx joins (~jakalx@base.jakalx.net)
2021-03-07 06:18:18 → nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 06:19:24 × DrowsySaturn quits (~DrowsySat@71.71.194.219) (Ping timeout: 260 seconds)
2021-03-07 06:19:59 × frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds)
2021-03-07 06:21:00 → jophish_ joins (~jophish@li1766-207.members.linode.com)
2021-03-07 06:22:48 jophish_ is now known as jophish
2021-03-07 06:24:03 × nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds)
2021-03-07 06:28:14 → frozenErebus joins (~frozenEre@94.128.82.20)
2021-03-07 06:30:16 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 06:32:34 × frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds)
2021-03-07 06:36:19 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c)
2021-03-07 06:41:00 → pounce joins (~pounce@ns379743.ip-5-196-70.eu)
2021-03-07 06:42:12 → Varis joins (~Tadas@unaffiliated/varis)
2021-03-07 06:46:49 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 260 seconds)
2021-03-07 06:48:40 → forgottenone joins (~forgotten@176.42.24.161)
2021-03-07 06:50:09 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-07 06:51:49 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-07 06:54:40 → howdoi joins (uid224@gateway/web/irccloud.com/x-raygqnszljvtjgib)
2021-03-07 06:55:09 × gentauro quits (~gentauro@unaffiliated/gentauro) (Ping timeout: 264 seconds)
2021-03-07 06:55:59 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-07 06:56:43 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2021-03-07 06:59:40 → dora joins (~irfan@117.222.64.102)
2021-03-07 06:59:50 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-03-07 07:03:04 <ski> MarcelineVQ : hm, how's `span' an example of that ?
2021-03-07 07:04:45 × puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 264 seconds)
2021-03-07 07:04:57 → stree joins (~stree@68.36.8.116)
2021-03-07 07:09:52 → puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-07 07:09:56 → kiweun joins (~kiweun@2607:fea8:2a62:9600:84f0:5314:77f6:f6af)
2021-03-07 07:11:10 <MarcelineVQ> https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.List.html#span with let (ys,zs) = span p xs' in (x:ys,zs) our use of ys and zs after the 'in' are values we're using to complete our definition that won't exist until span has completed, we're borrowing a future answer to a question we have right now, and in fact creating that answer while we do so.
2021-03-07 07:11:20 × Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 07:11:29 → thevishy joins (~Nishant@103.210.43.206)
2021-03-07 07:11:42 × dora quits (~irfan@117.222.64.102) (Quit: leaving)
2021-03-07 07:11:54 <MarcelineVQ> I'm sure I've put that better at some point though
2021-03-07 07:12:19 <koz_> MarcelineVQ: 'We use time travel magic.'
2021-03-07 07:12:41 <MarcelineVQ> "I need something that gives me X, first I'll assume I have an X..."
2021-03-07 07:14:22 <ski> MarcelineVQ : well, that definition of `span' would also work in a strict language (albeit obviously not for infinite lists)
2021-03-07 07:15:12 <ski> "make use of a value before it exists with recursion" to me sounds more like it'd properly describe a `repMin'-like tying-the-knot or something
2021-03-07 07:16:04 → dora joins (~irfan@117.222.64.102)
2021-03-07 07:17:32 <ski> (so, i'm not really seeing how "we're borrowing a future answer to a question we have right now, and in fact creating that answer while we do so" is appropriately describing what's happening in this case, nor how they're "values we're using to complete our definition that won't exist until span has completed")
2021-03-07 07:19:22 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-qdyadkvccmgruvao) (Quit: Connection closed for inactivity)
2021-03-07 07:19:35 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-syqdljbssvqrztqf) (Quit: Connection closed for inactivity)
2021-03-07 07:24:07 × ornxka quits (~ornxka@unaffiliated/ornx) (Read error: Connection reset by peer)
2021-03-07 07:24:14 × tomjaguarpaw quits (~tom@li367-225.members.linode.com) (Ping timeout: 245 seconds)
2021-03-07 07:24:21 → tomjaguarpaw joins (~tom@li367-225.members.linode.com)
2021-03-07 07:25:16 → ornxka joins (~ornxka@unaffiliated/ornx)
2021-03-07 07:27:32 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 07:27:52 <MarcelineVQ> Not my clearest description of anything, "values we're..." is particularly vague and unlikely to line up to actual language semantics, but I do think of span as borrowing a future answer to a question we have right now. I have x:xs, what's the easiest way to complete my definition of span? Assume span already has the answer for xs, and tack my x onto the first tuple component of that answer.
2021-03-07 07:31:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-07 07:32:32 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-03-07 07:35:06 × polyrain_ quits (~polyrain@124.177.21.171) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 07:36:55 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 07:39:06 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-07 07:39:20 × kiweun quits (~kiweun@2607:fea8:2a62:9600:84f0:5314:77f6:f6af) (Remote host closed the connection)
2021-03-07 07:43:11 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2021-03-07 07:45:33 → nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 07:46:39 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 07:47:19 × nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 07:49:27 → nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 07:53:53 → ADG1089__ joins (~aditya@122.163.167.99)
2021-03-07 07:54:05 ADG1089__ is now known as ADG1089
2021-03-07 07:55:28 <ADG1089> ghc with packages without cabal/stack on arch (not nix)?
2021-03-07 07:55:34 <ADG1089> any documentation
2021-03-07 07:58:02 → frozenErebus joins (~frozenEre@94.128.82.20)
2021-03-07 07:58:10 × average quits (uid473595@gateway/web/irccloud.com/x-mxuhxqmtecrtlnul) (Quit: Connection closed for inactivity)
2021-03-07 07:59:34 × JokerAscensionEx quits (~egp_@2.95.74.168) (Read error: Connection reset by peer)
2021-03-07 08:03:25 × growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-07 08:04:46 × redmp quits (~redmp@172.58.38.218) (Ping timeout: 260 seconds)
2021-03-07 08:07:09 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-07 08:09:29 × dora quits (~irfan@117.222.64.102) (Quit: leaving)
2021-03-07 08:09:54 → JokerAscensionEx joins (~egp_@2.95.74.168)
2021-03-07 08:11:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-07 08:12:46 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-07 08:22:49 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 08:26:41 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-07 08:28:00 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-07 08:34:09 × hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 264 seconds)
2021-03-07 08:34:21 → berberman_ joins (~berberman@unaffiliated/berberman)
2021-03-07 08:34:48 × nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 08:34:53 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2021-03-07 08:35:11 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-03-07 08:35:16 × berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-03-07 08:35:30 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2021-03-07 08:35:44 → nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 08:35:47 → berberman joins (~berberman@unaffiliated/berberman)
2021-03-07 08:36:27 × zone117x1 quits (~zone117x@178.239.168.171) (Remote host closed the connection)
2021-03-07 08:37:31 → hiptobecubic joins (~john@unaffiliated/hiptobecubic)
2021-03-07 08:37:38 → kiweun joins (~kiweun@2607:fea8:2a62:9600:6ca2:b5f:b108:d6ce)
2021-03-07 08:37:55 × LittleFox quits (~littlefox@rondra.lf-net.org) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-03-07 08:38:05 → LittleFox joins (~littlefox@rondra.lf-net.org)
2021-03-07 08:38:08 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-07 08:38:35 × LittleFox quits (~littlefox@rondra.lf-net.org) (Client Quit)
←Prev  Next→
Page 1 .. 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 .. 5022

All times are in UTC.