> ClassMethod: (Arg: String) -> Result: Integer;
より
ClassMethod(Arg: String) -> Result: Integer;
のほうが良くない？
呼び出し元と近い記述が出来て見目麗しいと思う。

でも出来れば -> Result はキーワードresultみたいなのを使用するように変更したほうがいいと思う
メソッドの1行目って、対人宣言としての意味もあるわけで、
ドキュメント化されたり、他の理由でメソッドの使用者が見ることもあるだろうけど、
そこにメソッドの内部で使用されるだけの変数名が出てくるのはやめたほうがいいと思う。

GetIndexOf( substr: String ) -> index : Integer;

とかいくつか考えてみたけど、その変数名が見えてもあんまりメリット無いし。

あと、暗黙のresultなどの変数に代入したものが戻り値になるのは、
{
　int result = 0;
　// 処理いろいろ
　if (hoge) result = 1;

　return result;
}
などのような方法に比べてどのようなメリットがあるのでしょうか？