From: matz@...
Date: 2018-05-17T08:56:15+00:00
Subject: [ruby-dev:50546] [Ruby trunk Feature#5512][Rejected] Integer#/ の改訂

Issue #5512 has been updated by matz (Yukihiro Matsumoto).

Status changed from Assigned to Rejected

Too big incompatibility. Abandoned.

Matz.


----------------------------------------
Feature #5512: Integer#/ の改訂
https://bugs.ruby-lang.org/issues/5512#change-72107

* Author: tadf (tadayoshi funaba)
* Status: Rejected
* Priority: Normal
* Assignee: matz (Yukihiro Matsumoto)
* Target version: Next Major
----------------------------------------
Integer#/ を Integer#quo の別名として定義しなおす事を提案します。

現在の Integer#/ はオペランドが整数である場合値が整数になります。整数を
与えた場合の結果だけを見て、あるいは整数ではない場合の結果だけを見て自
分の望み通りの結果を得たと思い込んでしまうかもしれません。

これついての対処として、Integer#div、または Integer#quo を利用するよう
啓蒙するなどいくつかの提案がありうるでしょうが、本質的な解決法は、やは
り仕様を変更するしかないと思われます。

これはプログラミングにおける総称性の確保の邪魔になり、Numeric#/ を利用
はバグの温床になり得えます。




-- 
https://bugs.ruby-lang.org/