哪些编程语言是高完整性系统的良好选择？ Java是一个不好的选择，因为有相当数量的代码对程序员是不可访问的。我正在寻找强类型、块结构的语言示例，其中程序员对100%的代码负责，并且尽可能少地受到JVM等干扰。 编译器显然是一个问题。语言必须具有完整和明确的定义。 编辑： 高完整性系统是安...