欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Project Lambda
来自开放百科 - 灰狐
（版本间的差异）
(以“Project Lambda ==链接== *[http://openjdk.java.net/projects/lambda/ Project Lambda官网] *[http://www.infoq.com/cn/articles/Brian_Goetz_Project_Lambda_from_the_In...”为内容创建页面) |
小 (→链接) |
||
| 第7行： | 第7行： | ||
[[category:OpenJDK]] | [[category:OpenJDK]] | ||
[[category:java]] | [[category:java]] | ||
| + | [[category:functional programming]] | ||
2015年8月24日 (一) 05:45的版本
Project Lambda
链接
分享您的观点
