如何系统地学习Lean语言？。
写业务的话，go是不是垃圾？。
把贵州省撤销，设立一个超大型国家自然公园，是不是一个好的提法?。
为什么web worker可以在前端开多线程，解决单线程卡死页面的问题，但是没有得到广泛使用？。
