(programming language) A programming language that verifies the type safety of a program by analysis of the code.
statically-typed language
新しいフレームワークを選ぶとき、彼女は実行時の型エラーを減らすために静的型付けのプログラミング言語を好んだ。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★