Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 281 282 283 284 285 286 287 288 289 290 291 .. 5022
— 502,152 events total
2020-09-29 01:54:59 × ryansmccoy quits (~ryansmcco@68.235.48.108) (Ping timeout: 260 seconds)
2020-09-29 01:55:01 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 01:55:07 → xff0x joins (~fox@2001:1a81:53b0:3c00:19ba:3f05:ac4b:7fb3)
2020-09-29 01:55:38 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-29 01:56:22 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 246 seconds)
2020-09-29 01:58:47 <sepi> Haskell doesn't speak to me too well which is why I take forever my bad
2020-09-29 01:59:13 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-29 01:59:14 <sepi> Yes it would mean statement one and statement two both have to meet the condition
2020-09-29 01:59:32 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-29 02:00:01 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-29 02:00:20 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-29 02:00:46 <ski> yes, `&&' expresses a logical "and". `foo && bar' means that both `foo' and `bar' have to be `True', in order for the result of the whole `foo && bar' to be `True'. if either (or both) of them are `False', then the whole will be `False'
2020-09-29 02:00:50 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-29 02:02:46 → GuerrillaMonkey joins (~Jeanne-Ka@68.235.43.166)
2020-09-29 02:02:58 <ski> sepi : .. i'm still wondering what you wanted `go' to express
2020-09-29 02:03:34 <ski> or if you got any further, with the function that Axman6 suggested you could define
2020-09-29 02:05:09 × Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-131-156.cust.tzulo.com) (Ping timeout: 258 seconds)
2020-09-29 02:05:09 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 258 seconds)
2020-09-29 02:05:21 → drbean joins (~drbean@TC210-63-209-16.static.apol.com.tw)
2020-09-29 02:05:33 × miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-09-29 02:06:15 → miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2020-09-29 02:06:27 × miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Client Quit)
2020-09-29 02:06:31 × dagnabbit quits (~thelounge@140.82.8.179) (Ping timeout: 272 seconds)
2020-09-29 02:06:43 × jdgr quits (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) (Quit: Connection closed)
2020-09-29 02:07:51 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-29 02:08:01 → miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2020-09-29 02:08:07 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-09-29 02:08:16 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-29 02:08:48 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-29 02:08:50 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-09-29 02:10:11 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-29 02:11:27 × GuerrillaMonkey quits (~Jeanne-Ka@68.235.43.166) (Quit: Leaving)
2020-09-29 02:11:36 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.166)
2020-09-29 02:14:09 × spew quits (uid195861@gateway/web/irccloud.com/x-annkkxabwayrojjt) (Quit: Connection closed for inactivity)
2020-09-29 02:14:24 <sepi> Its looking like are elements in list a, are in the full set of b
2020-09-29 02:14:32 → dagnabbit joins (~thelounge@140.82.8.179)
2020-09-29 02:14:40 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-29 02:14:51 <ski> what is `a' and `b' there ?
2020-09-29 02:15:34 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-29 02:16:23 <sepi> https://dpaste.org/gje6#L1,3
2020-09-29 02:16:28 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-29 02:16:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-29 02:16:46 <sepi> https://learnstack.in/assets/ppt/ppt_img/python-subset.jpg
2020-09-29 02:17:04 <ski> what is `test a b' supposed to compute/test/check ?
2020-09-29 02:17:06 <sepi> that function is doing this which is checking if a is in a subset b
2020-09-29 02:17:13 → jedws joins (~jedws@121.209.139.222)
2020-09-29 02:17:39 <sepi> *if 'a' is a subset of 'b'
2020-09-29 02:17:47 → ph88^ joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2020-09-29 02:18:00 <ski> the name `test' (nor the name `go') doesn't give much hint about what it's supposed to be testing
2020-09-29 02:18:06 <ski> ok
2020-09-29 02:18:14 × lorozic quits (~lorozic@wks-41-812.mpi-sws.org) (Remote host closed the connection)
2020-09-29 02:18:20 × solonarv quits (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-09-29 02:18:33 → lorozic joins (~lorozic@wks-41-812.mpi-sws.org)
2020-09-29 02:18:51 <ski> maybe you could invent some more descriptive name, for this function, giving some more hint about what it's supposed to do ?
2020-09-29 02:19:20 <Axman6> > all (const False) []
2020-09-29 02:19:22 <lambdabot> True
2020-09-29 02:19:44 → toorevitimirp joins (~tooreviti@117.182.182.201)
2020-09-29 02:19:58 × Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes)
2020-09-29 02:20:04 → solonarv joins (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr)
2020-09-29 02:20:05 <Axman6> sepi: Did you write that function yourself? can you explain to us how it works?
2020-09-29 02:20:10 → Unode joins (~Unode@unaffiliated/unode)
2020-09-29 02:21:22 × ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds)
2020-09-29 02:21:34 × jedws quits (~jedws@121.209.139.222) (Ping timeout: 246 seconds)
2020-09-29 02:21:53 × voet quits (~voet@84.39.117.57) (Ping timeout: 260 seconds)
2020-09-29 02:22:10 <Axman6> I'm asking because if I were your lecturer or tutor, and I saw checkFSM and test in the same file, I would be very suspicious that test was copied from somewhere because it shows a much better understanding of Haskell than checkFSM does
2020-09-29 02:25:10 ski idly wonders whether sepi has tested `test [1,2,3] []'
2020-09-29 02:26:04 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services)))
2020-09-29 02:26:10 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-09-29 02:27:14 <sepi> it is now called isSubsetOf, with 'all' it'll return true if all items in list meet the condition. so its taking the condition (elem b) and applying it to the 'a' list
2020-09-29 02:27:23 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 240 seconds)
2020-09-29 02:28:48 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Remote host closed the connection)
2020-09-29 02:29:07 <ski> and what about `isSubsetOf [1,2,3] []' ?
2020-09-29 02:29:18 × roconnor quits (~roconnor@host-45-78-255-115.dyn.295.ca) (Ping timeout: 258 seconds)
2020-09-29 02:30:10 <sepi> I suppose it should be isSubsetOf [] b = True for first condition
2020-09-29 02:31:12 → jedws joins (~jedws@121.209.139.222)
2020-09-29 02:31:33 <Axman6> is [1,2,3] a subset of [] though?
2020-09-29 02:32:45 → nek0 joins (~nek0@mail.nek0.eu)
2020-09-29 02:32:45 → Guest18351 joins (~angvp@217.146.82.202)
2020-09-29 02:32:59 <sepi> no because nothing is in [], but [] is a subset of [1,2,3] because empty is in [1,2,3]
2020-09-29 02:33:18 <ski> what will all (`elem` b) [] evaluate to ?
2020-09-29 02:33:23 <Axman6> does your function agree with that?
2020-09-29 02:33:34 <sshine> if empty is in [1,2,3], what is empty?
2020-09-29 02:33:39 <Axman6> ski: I think this does actually work btw
2020-09-29 02:34:13 <ski> Axman6 : mm, i was on cleaning up
2020-09-29 02:34:24 <Axman6> > let isSubsetOf xs ys = all (`elem` ys) xs in isSubsetOf [1,2,3] []
2020-09-29 02:34:27 <lambdabot> False
2020-09-29 02:34:35 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-09-29 02:34:38 <Axman6> > let isSubsetOf xs ys = all (`elem` ys) xs in isSubsetOf [] [1,2,3]
2020-09-29 02:34:40 <lambdabot> True
2020-09-29 02:34:43 <Axman6> > let isSubsetOf xs ys = all (`elem` ys) xs in isSubsetOf [4] [1,2,3]
2020-09-29 02:34:45 <lambdabot> False
2020-09-29 02:35:41 → arahael joins (~arahael@125-209-151-226.tpgi.com.au)
2020-09-29 02:36:04 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-29 02:37:20 <Axman6> > let isSubsetOf xs ys = all (`elem` ys) xs in isSubsetOf [3,2] [1,2,3] -- probably the more important test
2020-09-29 02:37:22 <lambdabot> True
2020-09-29 02:39:06 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-29 02:40:46 × TheScoop quits (~TheScoop@unaffiliated/tryte) (Quit: _)
2020-09-29 02:41:39 <ski> > let isSubsetOf xs ys = all (`elem` ys) xs in isSubsetOf [3,2,3] [1,2,3,2]
2020-09-29 02:41:41 <lambdabot> True
2020-09-29 02:43:04 × marek quits (~mmahut@209.250.249.245) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 281 282 283 284 285 286 287 288 289 290 291 .. 5022

All times are in UTC.