Javascript 如何与WebSharper交互和设置DOM属性？

我经常需要与页面的DOM进行交互，如何通过WebSharper进行交互

例如，当我只想用JavaScript重定向我的页面时，我会运行：

window.location = "http://www.google.com/";

如何访问

窗口

并设置

位置

？这在F#中会是什么样子？
此外，它将如何与功能协同工作，例如IE：

window.navigate("http://www.google.com/")

---

注意：如果有通过WebSharper重定向的内置方法，我很想知道，但请记住这只是一个示例。

打开

IntelliFactory.WebSharper.Html5

命名空间后，您可以访问

窗口.location

属性，该命名空间提供对标准Html5 API的支持。要使用location对象进行导航，可以调用

assign

或

replace

方法：

Window.Self.Location.Assign "http://www.google.com/"

现场演示可用

对于特定于供应商的函数，您可以内联JavaScript，并将其当作内置在WebSharper中使用：

[<Inline "window.navigate($uri)">]
let ieNavigate uri = X<unit>

[]
让ieNavigate uri=X

检查名称空间。这很好，但是当使用

内联

时，如何传递数据？（比如脚本是否应该重定向到只在运行时知道其路径的页面）。