Examples of propositions_Learning Functional Programming in Go-QQ阅读女频现言网