それだけであれば、明示的な宣言は無いけど、静的か動的かは関係ない＞＜
例えばC# でもすべて型のルートになる型(object)はToString()という文字列に変換する型を持ってるので、型推論を使ってほとんど同じコードを書ける＞＜