動的な型は必要か

[irxground]

C#ではdynamicという動的な型が存在するが，Taneには必要かどうか。

dynamicの使用例

dynamic d = foo();
d.foo = "foo"
int i = d.bar
d.baz(hoge: 1, piyo: 2);
d("hello");

[irxground]

今はこんな感じに考えてますが，どうでしょう
感想よろしく

let a = 1 // 静的な型＋型推論＋イミュータブル
let a = 2 : Float // 静的な型＋イミュータブル
var a = 3 : Int // 静的な型＋ミュータブル
var a = 4 // 動的な型＋ミュータブル

[exKAZUu]

動的な型は実装がめんどいので反対
あとはコロンの位置が気になる

[exKAZUu]

あーでも，多言語展開は必須な性質にしたいんだ．
そう考えると展開先のライブラリのクラス情報とかってわからないわけで，
それに対するアプローチとして dynamic キーワードを作るというのはありかもしれない．
もしくは，Cのヘッダファイル的にクラス定義だけを別途書くかだな

[exKAZUu]

コロンの意味ってキャスト？

[irxground]

確かに，コロンの位置が変ですね

let a : Int = 1

とすべきだった？
あとdynamicキーワード入れるならvarのほうがいいです

[exKAZUu]

あれ，静的な型＆ミュータブルってないの？
型が動的か静的かと，値がミュータブルかイミュータブルかって相関関係ないよね？

ちなみにコロンの位置だけど，コロンをキャストと捉えるなら，さっきのでも良いかなと思った．

すまん，そもそも動的な型の定義をplz．C#のdynamicと一緒ってこと？

[irxground]

C#ではdynamicという動的な型が存在するが

と書いたので動的な型＝C#のdynamicのつもりで話してた。
確かかにImmutableかどうかはこの際関係ないね。
で、dynamicはいる？いらない？