在MacOSX上找不到“ dotnet”时，让F＃在VSCode中工作？

Question

我对dotnet和vscode完全陌生，所以我可能缺少一些琐碎的东西。我只想让F＃在Mac上的VSCode中运行。我首先尝试从brew安装dotnet：

brew cask install dotnet-sdk

由于我可以同时执行dotnet new和dotnet build，因此在命令行上这似乎工作良好：

dotnet new console -lang F# -o myproj

现在我也从brew安装了Visual Studio Code：

brew cask install visual-studio-code

然后我安装了Ionide-fsharp插件，从vscode打开了myproj文件夹并重新启动了它。然后，我受到欢迎：

然后我在设置中搜索FSharp.dotnetRoot并尝试进行配置：

但这没有帮助（我也尝试将文件夹设置为/usr/local/share/dotnet和/usr/local/share/dotnet/sdk/3.1.100，但没有任何效果。

因此，我从brew中完全卸载了所有内容（包括擦除~/.vscode文件夹），并从官方Microsoft documentation重新安装了所有内容。在文档中它说F＃支持应该内置在macosx上的vscode中，但是当我再次打开该文件夹时，它仍然建议我安装Ionide-fsharp，所以我服从了。但是我又遇到了完全相同的问题。

所以我的问题是：如何在MacOSX上通过工作F＃支持安装vscode？

这是我从vscode“ about”输出的内容：

Version: 1.41.0
Commit: 9579eda04fdb3a9bba2750f15193e5fafe16b959
Date: 2019-12-11T17:58:38.338Z
Electron: 6.1.5
Chrome: 76.0.3809.146
Node.js: 12.4.0
V8: 7.6.303.31-electron.0
OS: Darwin x64 19.2.0

这来自dotnet --info：

.NET Core SDK (reflecting any global.json):
 Version:   3.1.100
 Commit:    cd82f021f4

Runtime Environment:
 OS Name:     Mac OS X
 OS Version:  10.15
 OS Platform: Darwin
 RID:         osx.10.15-x64
 Base Path:   /usr/local/share/dotnet/sdk/3.1.100/

Host (useful for support):
  Version: 3.1.0
  Commit:  65f04fb6db

.NET Core SDKs installed:
  3.1.100 [/usr/local/share/dotnet/sdk]

.NET Core runtimes installed:
  Microsoft.AspNetCore.App 3.1.0 [/usr/local/share/dotnet/shared/Microsoft.AspNetCore.App]
  Microsoft.NETCore.App 3.1.0 [/usr/local/share/dotnet/shared/Microsoft.NETCore.App]

To install additional .NET Core runtimes or SDKs:
  https://aka.ms/dotnet-download