Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4436 4437 4438 4439 4440 4441 4442 4443 4444 4445 4446 .. 5022
— 502,152 events total
2021-04-16 19:10:33 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-16 19:10:36 → jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-16 19:11:05 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 19:11:11 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 19:11:19 <nicholasbulka> so, obviously new to haskell - why does the type of floor say (RealFrac, Integral b) => a -> b instead of, say, Real -> Integer or something
2021-04-16 19:13:25 <Uniaika> nicholasbulka: to enable a to be both a Real and a Fractional
2021-04-16 19:13:42 <Uniaika> and Integral is the mix of Real + Enum
2021-04-16 19:14:14 → ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-16 19:14:49 <Uniaika> nicholasbulka: so I guess the short answer is "for more polymorphism"
2021-04-16 19:15:12 <nicholasbulka> that makes sense. I'm reading that floats are a subset of fractional
2021-04-16 19:15:28 <tomjaguarpaw> What we call a "constructor" actually both constructs and destructs. It is a function and a pattern. This nomenclature is a bit unfortunate. Is there any way to describe the "function only" aspect of a "constructor" in the same way that "pattern" describes the other part?
2021-04-16 19:16:20 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-16 19:16:31 <Uniaika> tomjaguarpaw: I don't make such a distinction in my head
2021-04-16 19:16:40 <Uniaika> they are the two sides of the same coin
2021-04-16 19:16:58 <Uniaika> if I want a "pattern" that doesn't build, I make an accessor
2021-04-16 19:17:01 → minoru_shiraeesh joins (~shiraeesh@5.101.59.131)
2021-04-16 19:17:06 × __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 252 seconds)
2021-04-16 19:17:34 × epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds)
2021-04-16 19:19:26 <nicholasbulka> I get the distinction between Fractional and Floating. What is the difference between Real and a Floating ?
2021-04-16 19:20:22 <nicholasbulka> oh this is sort of helping ...
2021-04-16 19:20:22 <nicholasbulka> http://www.cantab.net/users/antoni.diller/haskell/units/unit03.html
2021-04-16 19:21:29 → fiedlr joins (~fiedlr@83.148.33.254)
2021-04-16 19:21:36 <tomjaguarpaw> Uniaika: It's important when naming things in lensy libraries. "Review/review" are incomprehensible names compared to "Constructor/construct". Unfortunately "Constructor" is overloaded ...
2021-04-16 19:22:16 → conal joins (~conal@64.71.133.70)
2021-04-16 19:24:48 <Uniaika> tomjaguarpaw: hmm I see your need
2021-04-16 19:25:43 <tomjaguarpaw> Ideally "AffineTraversal" should be called "Pattern"
2021-04-16 19:25:59 <tomjaguarpaw> Then either "Prism" should be called "Constructor" or "Review" should be called "Constructor", but it's hard to say which ... either choice will upset someone.
2021-04-16 19:32:40 × romesrf_ quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 265 seconds)
2021-04-16 19:33:59 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-16 19:34:13 <tomjaguarpaw> Uniaika: See https://github.com/well-typed/optics/issues/420 for my work in this direction (and https://github.com/tomjaguarpaw/tilapia/issues/75)
2021-04-16 19:34:25 → conal joins (~conal@64.71.133.70)
2021-04-16 19:35:09 × fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 19:35:23 → fiedlr joins (~fiedlr@83.148.33.254)
2021-04-16 19:35:46 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-16 19:36:39 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:902:be93:ec35:bb2b) (Ping timeout: 260 seconds)
2021-04-16 19:37:03 × thevishy quits (~Nishant@117.216.194.189) (Quit: Leaving)
2021-04-16 19:38:52 → CrazyPython joins (~crazypyth@98.122.164.118)
2021-04-16 19:39:49 × superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-04-16 19:40:57 → dpl_ joins (~dpl@77-121-78-163.chn.volia.net)
2021-04-16 19:41:31 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-16 19:43:28 × Guest17968 quits (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2021-04-16 19:43:46 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-04-16 19:49:23 → mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-04-16 19:49:28 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:f42f:2cd9:4893:4d87)
2021-04-16 19:52:07 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-16 19:53:22 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-16 19:53:44 → conal joins (~conal@64.71.133.70)
2021-04-16 19:55:11 × UpstreamSalmon quits (uid12077@gateway/web/irccloud.com/x-hrpllydlluhojkqp) (Quit: Connection closed for inactivity)
2021-04-16 19:56:13 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-16 19:56:50 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-04-16 19:57:30 → Alleria joins (~textual@zrcout.mskcc.org)
2021-04-16 19:57:56 Alleria is now known as Guest45254
2021-04-16 19:59:02 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-16 19:59:03 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-04-16 19:59:20 Lord_of_Life_ is now known as Lord_of_Life
2021-04-16 20:01:22 <monochrom> No, what we call constructors don't destruct. The destruction is done by pattern matching.
2021-04-16 20:01:57 <monochrom> Since you are writing a pattern, the pattern has to cite the constructor so that you can match against it.
2021-04-16 20:02:25 × _xor quits (~xor@74.215.46.133) (Ping timeout: 252 seconds)
2021-04-16 20:02:38 <monochrom> Even in the regex world, if you write "c*" no one reasons "the c there destructs".
2021-04-16 20:02:53 → romesrf_ joins (~romesrf@44.190.189.46.rev.vodafone.pt)
2021-04-16 20:03:34 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-16 20:03:49 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-16 20:04:54 × ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving)
2021-04-16 20:05:41 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-04-16 20:06:00 × jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-04-16 20:07:46 → jrm joins (~jrm@freebsd/developer/jrm)
2021-04-16 20:07:49 → conal_ joins (~conal@64.71.133.70)
2021-04-16 20:08:29 → petersen joins (~petersen@redhat/juhp)
2021-04-16 20:12:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-16 20:13:23 × fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-16 20:14:19 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-16 20:14:46 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-16 20:18:07 × jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-04-16 20:20:30 → syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-16 20:21:32 × syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2021-04-16 20:22:45 → jrm joins (~jrm@freebsd/developer/jrm)
2021-04-16 20:24:32 → Guest78317 joins (~laudiacay@67.176.215.84)
2021-04-16 20:25:56 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-04-16 20:26:10 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 20:26:55 × romesrf_ quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-04-16 20:28:31 → tsaka__ joins (~torstein@athedsl-4519432.home.otenet.gr)
2021-04-16 20:28:41 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 20:29:22 × todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds)
2021-04-16 20:31:07 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-16 20:32:41 → joncol joins (~jco@c83-248-173-38.bredband.comhem.se)
2021-04-16 20:33:26 → hexfive joins (~hexfive@50.35.83.177)
2021-04-16 20:33:26 × hexfive quits (~hexfive@50.35.83.177) (Client Quit)
2021-04-16 20:34:06 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-16 20:34:31 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-04-16 20:36:08 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-16 20:37:25 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-16 20:38:45 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-04-16 20:38:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-16 20:42:38 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-16 20:42:44 → syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-16 20:46:23 → Rudd0^ joins (~Rudd0@185.189.115.103)
2021-04-16 20:46:32 × Rudd0^ quits (~Rudd0@185.189.115.103) (Remote host closed the connection)
2021-04-16 20:46:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-16 20:49:10 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds)
2021-04-16 20:49:31 → W3BV1P3R joins (~W3BV1P3R@c-73-5-91-226.hsd1.tn.comcast.net)
←Prev  Next→
Page 1 .. 4436 4437 4438 4439 4440 4441 4442 4443 4444 4445 4446 .. 5022

All times are in UTC.