Yesod：在 AJAX 调用中使用类型安全的 URL

在我的 Yesod 项目中，我有以下路线：

/api/hide/thread/#Text/#Int      ApiHideThreadR   GET

我想用javascript在客户端请求它：

function hideThreadCompletely(threadId, board) {
    $.getJSON("/api/hide/thread/"+board+"/"+threadId, function(data) {
        $('#thread-'+threadId).hide();
    });
}

但我不能使用@{ApiHideTHreadR}因为 Yesod 需要编译时的参数。如果我希望 API URL 看起来像这样，正确的解决方案是什么api/board/1/1并不是api/board?bid=1&tid=1？继续使用手动定义的 URL，例如"/api/hide/thread/"+board+"/"+threadId?

经过一番搜索后我发现了这个讨论 https://groups.google.com/forum/#!topic/yesodweb/LRC-MeqysFg，建议您将 url 作为“data-url”属性添加到某个元素。然后从元素加载 url。 像这样的事情：

<div id="thread-1" data-hide-url=@{ApiHideTHreadR}>

var url = $("#thread-1").data("hide-url")