However, explicitly declaring the return type allows the compiler to verify correctness.
しかし、明示的に戻り値型を指定しておけば、コンパイラがその正しさを検証してくれる。