标签： lambda-calculus strong-typing spectre
据我所知，要利用幽灵漏洞，您需要一种具有与硬件足够接近的执行语义的语言，以便能够随意引入分支。
与更传统的编程语言相比，类型化lambda演算的语义要受限制得多。与其他语言相比，编译器拥有更多的自由来进行优化/缓解。
是否可以通过键入的lambda演算来利用幽灵漏洞？