是否可以在Monaco编辑器中启用类型检查?例如,我的编辑器有以下配置:

monaco.languages.typescript.javascriptDefaults.setDiagnosticsOptions({
        noSemanticValidation: false,
        noSyntaxValidation: false
    });

    monaco.languages.typescript.javascriptDefaults.setCompilerOptions({
        target: monaco.languages.typescript.ScriptTarget.ES2016,
        allowNonTsExtensions: true,
        noLib: true
    });
 //Passed into monaco.editor.create(...)
 let editorOptions = {
        value: '',
        language: 'javascript',
        scrollBeyondLastLine: false,
        theme: "vs-dark",
        minimap: {
            enabled: false
        },
        automaticLayout: true,
        wordWrap: "on"
    }

另外,我有以下代码,它们为编辑器环境添加了一个自定义类和方法:

monaco.languages.typescript.javascriptDefaults.addExtraLib([
    'declare class Foo {}',
    'declare function bar(foo: Foo)'
].join('\n'), 'filename/example.d.ts');

但是,在摩纳哥,我仍然可以键入以下代码 bar("str") ,即使 "str" 不是 Foo 类型,编辑器也不会抛出错误 . 是否可以在摩纳哥开启静态类型检查?