Logs: freenode/#haskell
| 2020-10-28 15:36:22 | <dminuoso> | :> |
| 2020-10-28 15:36:26 | → | damianfral4 joins (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net) |
| 2020-10-28 15:36:29 | <dminuoso> | No but seriously, this does sound like a homework assignment. |
| 2020-10-28 15:36:30 | <helpmeguys> | I am just looking up old questions |
| 2020-10-28 15:36:44 | <dminuoso> | What have you tried? |
| 2020-10-28 15:38:43 | <helpmeguys> | Binary trees |
| 2020-10-28 15:38:47 | <helpmeguys> | And all |
| 2020-10-28 15:39:01 | <helpmeguys> | Cyclic groups |
| 2020-10-28 15:39:41 | <dminuoso> | Maybe I understand the task wrong, but this seems like a very simple one liner.. |
| 2020-10-28 15:40:07 | <helpmeguys> | Please |
| 2020-10-28 15:40:09 | <helpmeguys> | Help me |
| 2020-10-28 15:40:22 | <helpmeguys> | I just want to see the code. |
| 2020-10-28 15:40:29 | <helpmeguys> | It will relax my mind |
| 2020-10-28 15:40:42 | <dminuoso> | Dunno, I still think this is a homework assignment. |
| 2020-10-28 15:40:51 | <ghoulguy> | helpmeguys, give it a shot and then paste what you try on a pastebin to share/get help |
| 2020-10-28 15:41:00 | <ghoulguy> | It will help relax your mind |
| 2020-10-28 15:41:13 | <dminuoso> | I mean if this is an old question, you surely have an answer already, or have enough competency to solve this yourself. |
| 2020-10-28 15:41:23 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-10-28 15:41:37 | <dminuoso> | And Im also not sure how binary trees or cyclic groups are even remotely useful here |
| 2020-10-28 15:42:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-28 15:42:05 | × | akad quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 240 seconds) |
| 2020-10-28 15:42:30 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-28 15:42:32 | <dminuoso> | It should also be said, that lists dont form proper sets as they have internal ordering. |
| 2020-10-28 15:42:43 | → | thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) |
| 2020-10-28 15:42:52 | <dminuoso> | So that begs another question whether [1,2] = [2,1] for the purpose of this excercise |
| 2020-10-28 15:43:11 | <dminuoso> | (or what a subset even means) |
| 2020-10-28 15:43:20 | <ghoulguy> | I'm imagining: *Help> homework 4 |
| 2020-10-28 15:43:20 | <ghoulguy> | [[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]] |
| 2020-10-28 15:43:50 | <dminuoso> | ghoulguy: For the purpose of golfing, did you do the naive thing? |
| 2020-10-28 15:44:25 | <ghoulguy> | I didn't use anything from Data.List, if that's what you're asking. |
| 2020-10-28 15:44:47 | <helpmeguys> | *Help> homework 4 |
| 2020-10-28 15:44:55 | <helpmeguys> | Is that hint? |
| 2020-10-28 15:45:50 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-28 15:46:58 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2020-10-28 15:47:25 | × | boxscape quits (577bcbc2@gateway/web/cgi-irc/kiwiirc.com/ip.87.123.203.194) (Quit: Connection closed) |
| 2020-10-28 15:49:20 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-10-28 15:49:30 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-28 15:50:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-28 15:50:07 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-10-28 15:50:26 | <ghoulguy> | dminuoso, That implementation tries to maximize sharing and minimize retraversing any lists |
| 2020-10-28 15:51:06 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-dqhgzgfgsjzhioqy) |
| 2020-10-28 15:52:08 | → | idhugo joins (~idhugo@563472ae.rev.stofanet.dk) |
| 2020-10-28 15:53:52 | → | wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-28 15:54:39 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 2020-10-28 15:55:21 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-28 15:55:41 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 256 seconds) |
| 2020-10-28 15:55:49 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-28 15:55:49 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-28 15:55:49 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-28 15:56:39 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-28 15:58:03 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2020-10-28 15:59:26 | × | ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-28 16:00:45 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-28 16:02:31 | × | bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection) |
| 2020-10-28 16:03:15 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-10-28 16:03:39 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-10-28 16:03:57 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 265 seconds) |
| 2020-10-28 16:03:58 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-10-28 16:04:44 | × | bennofs1 quits (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2020-10-28 16:06:30 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-10-28 16:07:44 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 240 seconds) |
| 2020-10-28 16:07:57 | → | vacm joins (~vacwm@70.23.92.191) |
| 2020-10-28 16:08:38 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 2020-10-28 16:09:24 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2020-10-28 16:09:51 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-10-28 16:09:51 | × | vacm quits (~vacwm@70.23.92.191) (Client Quit) |
| 2020-10-28 16:12:21 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-28 16:12:27 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-10-28 16:13:22 | <typetetris> | Can I disable a redundant constraint warning for a single function within a file? |
| 2020-10-28 16:13:38 | <geekosaur> | not currently |
| 2020-10-28 16:13:39 | <ghoulguy> | typetetris: I'd be surprised |
| 2020-10-28 16:14:06 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2020-10-28 16:14:14 | <helpmeguys> | Please |
| 2020-10-28 16:14:17 | <helpmeguys> | Help me |
| 2020-10-28 16:14:25 | <helpmeguys> | I will study better next time |
| 2020-10-28 16:14:29 | <helpmeguys> | Haskell program that generates the list of all the subsets of the set [1..n] that have as many elements as their complements? |
| 2020-10-28 16:14:31 | <helpmeguys> | I promise |
| 2020-10-28 16:14:35 | <helpmeguys> | I will work hard |
| 2020-10-28 16:14:37 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-28 16:14:41 | <dminuoso> | typetetris: A long while ago, the ability to disable diagnostics per region was asked for orphans and overlapping names. The discussion quickly devolved into "lets build this right and put in an entire architecture for this for all diagnostics" |
| 2020-10-28 16:14:47 | <dminuoso> | And then it stopped. |
| 2020-10-28 16:14:50 | <dminuoso> | That was about 10 years ago I think? |
| 2020-10-28 16:15:08 | <ghoulguy> | helpmeguys: study for what? |
| 2020-10-28 16:15:17 | <helpmeguys> | For my diploma |
| 2020-10-28 16:15:20 | <merijn> | dminuoso: I've had this discussion as recent as 2 years ago when I proposed an "ADOPT" macro for orphan instances |
| 2020-10-28 16:15:43 | <merijn> | (yes, I think I'm verry funny) |
| 2020-10-28 16:15:43 | <dminuoso> | merijn: Indeed. I think we're at a stage where it's fine to just hack ADOPT in, and deprecate it if or when we get that architecture |
| 2020-10-28 16:15:46 | <typetetris> | Sometimes ghc complains HasCallStack would be redundant ... but I don't see how it comes into the signature otherwise. |
| 2020-10-28 16:16:10 | <helpmeguys> | Please |
| 2020-10-28 16:16:15 | <helpmeguys> | Can someone tell me :) |
| 2020-10-28 16:16:20 | <helpmeguys> | Haskell program that generates the list of all the subsets of the set [1..n] that have as many elements as their complements? |
| 2020-10-28 16:16:22 | <dminuoso> | Because the benefit of ADOPT greatly outweighs the heavy and unbearable engineering complexity (that nobody wants to do) that nobody needs anyway. |
| 2020-10-28 16:16:40 | <dminuoso> | Out of all the things, I think ADOPT is pretty much the only one where I really want the diagnostics but the ability to selectively disable them |
| 2020-10-28 16:16:44 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-10-28 16:16:52 | <dminuoso> | I've went as far as always using Orphan modules precisely because of this |
| 2020-10-28 16:16:55 | <typetetris> | What is ADOPT? |
| 2020-10-28 16:17:06 | <dminuoso> | typetetris: A proposed addition to suppress orphan instance warnings |
| 2020-10-28 16:17:14 | <typetetris> | Thanks. |
| 2020-10-28 16:17:21 | <dminuoso> | say `instance {-# ADOPT #-} C T` |
| 2020-10-28 16:18:25 | <dminuoso> | merijn: Maybe we should restart the discussion and lobby for "lets fix this now, and deprecate it if this imaginary and impossible infrastructure ever arrives" |
All times are in UTC.