当在 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插件，myproj从 vscode 打开该文件夹并重新启动它。然后我受到的欢迎是：

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

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

所以我完全卸载了brew中的所有内容（包括擦除我的~/.vscode文件夹），并重新安装了微软官方文档中的所有内容。在文档中，它说 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