RecodeX 重构消息,Lean编程语言因其可完善性在技术社区引发讨论,获得101分和33条评论。