厳密な型チェックと最適化という静的型言語のメリットを「意図的に」捨てた静的型言語なんて存在価値あんのか？