0
是否有任何命令會列出GHCi會話中的所有後臺線程?接下來的問題是,如何殺死他們中的一個(或全部)?如何獲得GHCi中的線程列表
相關:
- Is there a way to kill all forked threads in a GHCi session without restarting it?
- How to be certain that all threads have been killed upon pressing Ctrl+C
爲什麼你懷疑鏈接問題的答案? (「圖書館根本沒有給你任何東西來讓所有(仍在運行的)線程或任何其他工具的ThreadId在任何不屬於你的線程上工作。」) –
不期望庫給我任何東西。期待RTS或GHCi中的某些「隱藏功能」。 –
該庫是用戶可見的RTS功能的集合。 –