#8370: Ranked Instances -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): Please actually talk with the community via the cafe mailing list and #haskell mailing list. And explicitly ask for feedback there. Your current expositions are not understandable by others. Please go on the #haskell irc channel on freenode and ask for feed back of your type system ideas there. You really need to have your ideas exposited off trac, as a starting point for feedback. Please: take the next few months to dig into learning more type theory and how to critically evaluate when a type system is not just valid, but also good. That no one else is excited about your proposal (or even critiquing)means either no one but you understands the proposal, and the parts that are understandable seem over complicated and unusually . Trac is not the right fora for learning how to communicate on this matter. This ticket is closed. Please stop posting to trac while taking the next few months to learn. If you want to get feedback please use #haskell irc on freenode. Even then, type system extensions to ghc are only seriously considered after you have given a formal exposition (because otherwise what does it mean) and perhaps even a candidate patch (or at least a willingness to subsequently write such a patch). Everyone is held to this standard for any nontrivial changes. This ticket is closed. Stop posting to trac for a while and go learn. This is your last polite warning. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8370#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler