Isaac Yu

第七章 "自由定理" 中的 "free" 是否应该翻译为 "免费的" ？

1

1. 已经google过，除本文之外没有自由定理的解释 2. 文中提到 [Wadler 关于此主题的论文](http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf) > 论文标题：theorems for free > 摘要：From the type of a polymorphic function we can derive a theorem that it satisfies. Every Function of the...

你好，我按照教程里演示的出现了下面的错误  在windows上也试过了，也会报上面的错误 但是在windows上成功过一次（没有完全成功）  请问这是我芯片出问题了吗？我该如何修复它（指这个问题）

In the file `build_support/packages.sh`, there is an incorrect line `(brew ls --versions llvm | grep 14) || brew install llvm@14` in the `install_mac` function. The original command always prints nothing,...