摩纳哥编辑器中的类型检查

Question

是否可以在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，编辑器也不会抛出错误。是否可以在摩纳哥打开静态类型检查？