From: merch-redmine@... Date: 2018-07-31T14:45:27+00:00 Subject: [ruby-core:88232] [Ruby trunk Feature#14951] New operator to evaluate truthy/falsy/logical equivalence Issue #14951 has been updated by jeremyevans0 (Jeremy Evans). sawa (Tsuyoshi Sawada) wrote: > I propose to extend the exclusive or operator `^` to be defined on `Object`. For `Integer`, the method would be overwritten by the current bitwise operator, and it would not benefit from the extension, but making it available for other classes can be useful for the OP's use case (as long as it does not encounter `Integer`), which would then be written as follows: > > ``` > raise MyError if in_scenario_x? ^ actions_performed_for_scenario_x? > ``` I don't think this is a good idea. For `String#^`, the most natural operation would be a bitwise OR of each byte, and for collection classes, the most natural operation would be the exclusive disjunction of the two collections (returning a collection of elements in exactly one of the two collections). Once `Object#^` has been added, redefining it for more natural operations in other classes would break backwards compatibility, so I think adding it would be short-sighted. ---------------------------------------- Feature #14951: New operator to evaluate truthy/falsy/logical equivalence https://bugs.ruby-lang.org/issues/14951#change-73255 * Author: danga (Dan Garubba) * Status: Open * Priority: Normal * Assignee: * Target version: ---------------------------------------- I propose adding a new operator for truthy/falsy equivalence, similar to what was proposed on https://bugs.ruby-lang.org/issues/13067, but with new syntax. The main purpose would be for writing expressions for logical equivalence (i.e., "if and only if" relationships) that only considers the truthiness the operands. Since predicate methods like `File#size?` and operators like `=~` follow truthy semantics without returning the `true` and `false` singletons, using them in logical expressions that evaluate for logical equivalence can be error-prone without the proper return type awareness and conversions. This proposed operator would be equivalent to `!!a == !!b`, but I feel that a new operator would be more concise and more expressive of the concept of logical equivalence. Attached is a prototype implementation of the operator as '=?'. ---Files-------------------------------- teq.patch (3.47 KB) -- https://bugs.ruby-lang.org/ Unsubscribe: