>>865
いろいろ勘違いしてるなー、C#のvarはその場合はIntに解決される
C#は基本的には静的型付け言語、後付けで追加されたdynamic型以外は静的に型が決まる

letってのは古代のBasicだと代入命令だから、再代入不可が変に思える
今後主流になるECMA7だとローカルスコープの変数にletが使われているし、混乱を招きそう
元ネタは数学（〜として定義する、をletと書く）

あと、Swiftでlet a = 10 をした場合、IntegerLiteralConvertibleに準拠した型のうち適切な型に決定される
だからコンパイル時まで型が決まらない
しかもどういう優先度があるのかはコンパイルマジック