Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 492 493 494 495 496 497 498 499 500 501 502 .. 5022
— 502,152 events total
2020-10-07 17:31:28 <zincy_> When you hit 20 there should be a list of things like this that everyone can read
2020-10-07 17:31:29 <geekosaur> "definitions should be useful" will itself get you into odd corner cases
2020-10-07 17:31:33 <monochrom> Just look at how the mathematicians have two definitions for the natural numbers, three definitions for exponentiation.
2020-10-07 17:31:56 <monochrom> two for rings, too
2020-10-07 17:31:57 <zincy_> geekosaur: how so?
2020-10-07 17:32:08 <monochrom> actually, maybe four for rings.
2020-10-07 17:33:12 <geekosaur> (1) useful for whom? (2) if the universe of discourse is at all complex, you will have definitions that at least seem uninteresting
2020-10-07 17:34:27 × xff0x quits (~fox@2001:1a81:5374:e100:2c9e:dd16:8ce3:558c) (Ping timeout: 260 seconds)
2020-10-07 17:36:05 → xff0x joins (~fox@141.98.255.146)
2020-10-07 17:37:41 × ffl^ quits (ffl@ip98-184-89-2.mc.at.cox.net) ()
2020-10-07 17:38:54 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-07 17:38:59 → tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-07 17:41:10 <tomsmeding> what's the smallest uninteresting natural number?
2020-10-07 17:41:42 <ghoulguy> 0, natural numbers are uninteresting
2020-10-07 17:41:50 <monochrom> \∩/
2020-10-07 17:41:52 <geekosaur> "seem" is also operative there (and has my first question lurking behind it)
2020-10-07 17:42:00 <tomsmeding> https://en.wikipedia.org/wiki/Number_theory
2020-10-07 17:42:27 <tomsmeding> geekosaur: indeed
2020-10-07 17:42:56 <ghoulguy> tomsmeding: We'll have to propose that page for removal as "not notable"
2020-10-07 17:43:05 × xff0x quits (~fox@141.98.255.146) (Ping timeout: 240 seconds)
2020-10-07 17:43:22 <tomsmeding> 🤔
2020-10-07 17:43:49 <zincy_> Isnt term social construct a bit nebulous
2020-10-07 17:44:04 <zincy_> Since it can be sort of self referential
2020-10-07 17:44:12 × jluttine_ quits (~jluttine@87-95-204-180.bb.dnainternet.fi) (Quit: WeeChat 2.8)
2020-10-07 17:44:17 <geekosaur> we're a bit nebulous too
2020-10-07 17:44:18 <monochrom> Are you OK?
2020-10-07 17:44:39 <zincy_> Not really I have a javascript interview tomorrow
2020-10-07 17:44:53 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-07 17:45:17 → xff0x joins (~fox@2001:1a81:5374:e100:2c9e:dd16:8ce3:558c)
2020-10-07 17:45:35 <tomsmeding> F
2020-10-07 17:46:07 → jluttine joins (~jluttine@87-95-204-180.bb.dnainternet.fi)
2020-10-07 17:46:10 → fendor__ joins (~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-07 17:46:11 <zincy_> So I am going to be interrogated on my knowledge of how "types" work in javascript
2020-10-07 17:46:25 <tomsmeding> well it has a type system for sure
2020-10-07 17:46:38 <tomsmeding> it's just that the number of distinct types is not too large
2020-10-07 17:46:53 <zincy_> Can't everything be undefined though
2020-10-07 17:46:55 <frdg> why is the default behavior of liftA2 to apply the function `cartesianally?` instead of zipping? Is this more than an arbitrary decision?
2020-10-07 17:46:56 <zincy_> or null
2020-10-07 17:47:24 <solonarv> frdg: I assume you're talking specifically about its behavior on [] ?
2020-10-07 17:47:49 <monochrom> It agrees with >>=
2020-10-07 17:47:59 <solonarv> there is a reason: the cartesian-product behavior is compatible with the Monad [] instance, but the zippy behavior isn't
2020-10-07 17:48:07 × worc3131 quits (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) (Quit: No Ping reply in 180 seconds.)
2020-10-07 17:48:20 <solonarv> (and in fact there isn't a Monad instance that would agree with the zippy behavior)
2020-10-07 17:48:20 × voyons_calisse quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-07 17:48:36 <frdg> yes this is what I meant
2020-10-07 17:48:44 → LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-07 17:48:46 <monochrom> You can use the ZipList newtype wrapper to get zipping liftA2
2020-10-07 17:48:47 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-07 17:49:16 <tomsmeding> zincy_: indeed; from some perspective, I think one could argue that JS has only one type
2020-10-07 17:49:22 × fendor_ quits (~fendor@t204-126.demo.tuwien.ac.at) (Ping timeout: 272 seconds)
2020-10-07 17:49:30 <frdg> monochrom: And this type comes with an applicative instance that behaves with zipping?
2020-10-07 17:49:37 <solonarv> frdg: yup
2020-10-07 17:49:37 <monochrom> Yes.
2020-10-07 17:49:44 <frdg> ok thanks
2020-10-07 17:49:54 <tomsmeding> unless you accept that (almost) all functions work on all types somehow magically
2020-10-07 17:50:01 <monochrom> I think lambdabot has it, let me try.
2020-10-07 17:50:06 <solonarv> > (+) <$> ZipList [1,2,3] <*> ZipList [4,5,6]
2020-10-07 17:50:09 <lambdabot> ZipList {getZipList = [5,7,9]}
2020-10-07 17:50:14 <monochrom> Yeah, that.
2020-10-07 17:50:35 × John20 quits (~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-10-07 17:52:15 → kritzefitz joins (~kritzefit@200116b800861f00d9c841e4661e7ddf.dip.versatel-1u1.de)
2020-10-07 17:53:21 × PerryThePlatypus quits (b644f401@182.68.244.1) (Remote host closed the connection)
2020-10-07 17:54:53 × oldsk00l quits (~znc@ec2-52-57-204-76.eu-central-1.compute.amazonaws.com) (Remote host closed the connection)
2020-10-07 17:58:15 × oisdk quits (~oisdk@2001:bb6:3329:d100:c982:e387:7052:58be) (Quit: oisdk)
2020-10-07 17:58:58 → worc3131 joins (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4)
2020-10-07 18:00:01 × hggdh1 quits (~hggdh@185.104.184.43) ()
2020-10-07 18:00:36 × abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-10-07 18:01:09 → conal joins (~conal@209.58.130.230)
2020-10-07 18:01:17 → oldsk00l joins (~znc@ec2-52-57-204-76.eu-central-1.compute.amazonaws.com)
2020-10-07 18:01:50 × oldsk00l quits (~znc@ec2-52-57-204-76.eu-central-1.compute.amazonaws.com) (Remote host closed the connection)
2020-10-07 18:05:01 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 260 seconds)
2020-10-07 18:06:49 × avdb quits (~avdb@ip-62-235-189-65.dsl.scarlet.be) (Ping timeout: 264 seconds)
2020-10-07 18:07:32 → avdb joins (~avdb@ip-62-235-189-65.dsl.scarlet.be)
2020-10-07 18:07:33 → jrqc joins (~rofl@96.78.87.197)
2020-10-07 18:07:46 → kayvan joins (~user@52-119-115-243.PUBLIC.monkeybrains.net)
2020-10-07 18:07:57 → John20 joins (~John@82.46.59.122)
2020-10-07 18:11:28 nitrix-or-treats is now known as nitrix
2020-10-07 18:12:34 → thir joins (~thir@pd9e1baba.dip0.t-ipconnect.de)
2020-10-07 18:13:47 × John20 quits (~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-10-07 18:13:47 × worc3131 quits (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) (Ping timeout: 240 seconds)
2020-10-07 18:14:21 nitrix is now known as nitrix-or-treats
2020-10-07 18:14:27 × avdb quits (~avdb@ip-62-235-189-65.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-07 18:14:53 → worc3131 joins (~quassel@94.4.49.118)
2020-10-07 18:15:29 × geekosaur quits (ac3a8b66@172.58.139.102) (Ping timeout: 245 seconds)
2020-10-07 18:16:45 × thir quits (~thir@pd9e1baba.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-07 18:17:02 × shatriff quits (~vitaliish@88.155.140.206) (Remote host closed the connection)
2020-10-07 18:17:22 nitrix-or-treats is now known as nitrix-or-treat
2020-10-07 18:19:24 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-07 18:19:26 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-07 18:19:30 → sfvm joins (~sfvm@37.228.215.148)
2020-10-07 18:20:01 → KuluBot joins (~KuluBot@185.163.110.116)
2020-10-07 18:20:57 hackage git-annex 8.20201007 - manage files with git, without checking their contents into git https://hackage.haskell.org/package/git-annex-8.20201007 (JoeyHess)
2020-10-07 18:21:20 × frdg quits (60e94035@pool-96-233-64-53.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-07 18:22:07 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 240 seconds)
2020-10-07 18:24:13 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds)
2020-10-07 18:24:19 → jrqc joins (~rofl@96.78.87.197)
2020-10-07 18:24:59 ← blackfield parts (~blackfiel@unaffiliated/blackfield) ("Leaving")
2020-10-07 18:25:24 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: cosimone)
2020-10-07 18:29:02 → geekosaur joins (ac3a8bcd@172.58.139.205)
2020-10-07 18:31:53 → jcazevedo joins (~jcazevedo@165.237.60.94.rev.vodafone.pt)
←Prev  Next→
Page 1 .. 492 493 494 495 496 497 498 499 500 501 502 .. 5022

All times are in UTC.