05/01/22 08:46:33
>>232
> 型書いたらちゃんと最適化してくれる？
言語仕様上は要求されていないが、最適化してくれる処理系は存在する。
> 関数の入り口に型書いたらちゃんとその型以外はブロックしてくれる？
当て推量だが、あなたが意図しているようなのは通常の関数にはないかも。
ジェネリック関数は、引数の型による自動エラー報知機能を持っていると
考えてもいいかな。
普通にコーディングしていれば、型宣言をしなくても、予想外の型に対して
変なことをしようとすれば実行時にエラーとなり、コード上でそれを捕捉可能。
型宣言をしておくと、賢いコンパイラは、型やぶりな関数呼び出しだと推論
できたときは警告やエラーを発するものもある。たとえば(car 1)などね。