我正在使用带有react-router的vanilla React来构建一个简单的master-detail SPA。在列表页面中,我使用push(*route*)将用户导航到详细视图,详细视图上的后退按钮然后调用goBack()将用户导航到列表视图。我之所以使用goBack()函数而不是push('/list'),是为了让用户在不丢失过滤/分页参数的情况下导航回列表视图(例如/ list /1/10
在论文中,Simon提供了一个Channel的“可能实现”。Write end (the hole)
现在,他实现了一个像这样的函数takeMVar write ; putMVar old_hole (MkItem val new_hole) }
上面的函数从写中取出一个MVar,然后将一个空的MVar放入其