型名の省略は普通に文指向で書いているときにも有用です。いうわけで見慣れた形に書き直したものがこちら。Binary_Search;ちなみに古代言語Modula-2ですら変数宣言時の型名の省略は可能でした。限定された形ですが、Adaでもようやくですね。個人的にはこれを型推論と呼ぶ風潮には反対します。右辺をコンパイルする過程で型は特定できていますから型名を書いた場合と比べても何も推論してはいません。バックエンドに言ってください。