最終更新日:2024/08/04
(programming language) A programming language that verifies the type safety of a program by analysis of the code.
正解を見る
statically-typed language
編集履歴(0)
(programming language) A programming language that verifies the type safety of a program by analysis of the code.
statically-typed language