I don't think it is useful to quibble over the definition of "ignore". When I said it is demonstrably false that arguments have been ignored, I was assuming what I perceive to be the common definition: "refuse to take notice of or acknowledge; disregard intentionally. fail to consider (something significant)". Under this definition, that statement implies that arguments have not been given consideration, which would be false. They have been *considered*, they just where not actually followed.
If the statement was made using a different definition, that is fine - at least we've gotten that clarification, then. I just did not want there to be any misunderstandings about what actually happened. I didn't want to start a debate about the English language. On Sat, Mar 13, 2021 at 4:35 PM Jan Mercl <0xj...@gmail.com> wrote: > On Sat, Mar 13, 2021 at 4:18 PM Bruno Albuquerque <b...@gmail.com> wrote: > > > FWIIW, I also agree that "ignore" makes no sense here. You might listen > and think about several opinions/options and conclude that one of them is > the best one. This does not mean you ignored all the others. > > You do not ignore the differing opinions before you make the decision. > The decision makes them ignored because you cannot not ignore them. If > you would still consider them you cannot make the decision. > > The decision outcome of whether to adopt generics or not adopt > generics is _binary_, hence why I knowingly use "ignore" and it means > exactly what it says. Kinda Sophie's choice, if you will. > > The process of reaching the decision, OTOH, does not ignore > arguments/opinions. That I've never said and I don't know why it would > be inferred by anyone. > > Last attempt to clarify: You cannot please all the parties at the same > time with this kind of decision, one must realize/admit that's a > non-goal. However, from the POV of someone from the "losing" side, > his/her argument can be legitimely, but subjectively perceived as > ignored - even when it was not actually ignored during the process. > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CAEkBMfG8NMR0WCq_o%3D%2BENKqa3%3DEODzfvF0O7Nv-ZHDDGiU4%2BZA%40mail.gmail.com.
