From: duerst Date: 2022-10-17T05:05:29+00:00 Subject: [ruby-core:110337] [Ruby master Feature#19063] Hash.new with non-value objects should be less confusing Issue #19063 has been updated by duerst (Martin D��rst). sawa (Tsuyoshi Sawada) wrote in #note-9: > 2. Your proposal 1 would break one of the very basic principles of Ruby, or perhaps of any computer language, or even any natural language. That is, the arguments passed to a method are evaluated before (or independently of) the execution of the method. In other words, the semantics of the whole is calculated from the semantics of its parts. In the context of natural language, this principle is known as Frege's compositionality. What is relevant here is that the default object that is passed as an argument must be evaluated to be such object before initialization of the hash. A block does not have such limitation because it is not a default object per se, but is something that would be evaluated to be a default object. There would definitely be quite a few details to be worked out, but starting with `Hash.new([])`, I don't see any problem. One of the basic principles of method arguments is that methods can respond differently to different arguments. That's the whole point of arguments. Of course, `Hash.new(my_method_returning_an_empty_array)` would behave exactly the same as `Hash.new([])` (assuming `my_method_returning_an_empty_array`) really did what its name said). So compositionality would still hold. ---------------------------------------- Feature #19063: Hash.new with non-value objects should be less confusing https://bugs.ruby-lang.org/issues/19063#change-99629 * Author: baweaver (Brandon Weaver) * Status: Open * Priority: Normal ---------------------------------------- Related to #10713 and #2764. Ruby's `Hash.new` accepts either a block or a param for its default value. In the case of non-value objects this leads to unexpected behaviors: ```ruby bad_hash_with_array_values = Hash.new([]) good_hash_with_array_values = Hash.new { |h, k| h[k] = [] } ``` While, as @hsbt has said in the past, this is behaving as intended for the Ruby language it has caused a lot of confusion in the community over the years and is a known sharp-edge. My assertion is that this is not the intended behavior, and I cannot find a legitimate usecase in which someone intends for this to happen. More often new users to Ruby are confused by this behavior and spend a lot of time debugging. We must consider the impact to Ruby users, despite what the intent of the language is, and make the language more clear where possible. Given that, I have a few potential proposals for Ruby committers. ### Proposal 1: Do What They Meant When people use `Hash.new([])` they mean `Hash.new { |h, k| h[k] = [] }`. Can we make that the case that if you pass a mutable or non-value object that the behavior will be as intended using `dup` or other techniques? When used in the above incorrect way it is likely if not always broken code. ### Proposal 2: Warn About Unexpected Behavior As mentioned above, I do not believe there are legitimate usages of `Hash.new([])`, and it is a known bug to many users as they do not intend for that behavior. It may be worthwhile to warn people if they do use it. ### Proposal 3: Require Frozen or Values This is more breaking than the above, but it may make sense to require any value passed to `Hash.new` to either be `frozen` or a value object (e.g. `1` or `true`) ## Updating RuboCop Failing this, I am considering advocating for RuboCop and similar linters to warn people against this behavior as it is not intended in most to all cases: https://github.com/rubocop/rubocop/issues/11013 ...but as @ioquatix has mentioned on the issue it would make more sense to fix Ruby rather than put a patch on top of it. I would be inclined to agree with his assessment, and would rather fix this at a language level as it is a known point of confusion. ## Final Thoughts I would ask that maintainers consider the confusion that this has caused in the community, rather than asserting this "works as intended." It does work as intended, but the intended functionality can make Ruby more difficult for beginners. We should keep this in mind. -- https://bugs.ruby-lang.org/ Unsubscribe: