24小时热门版块排行榜    

Znn3bq.jpeg
查看: 350  |  回复: 0

gy_xmc2015

铜虫 (小有名气)

[交流] 综述推荐:How functional programming mattered(通讯作者:胡振江)

How functional programming mattered

Zhenjiang Hu, John Hughes and Meng Wang

http://nsr.oxfordjournals.org/content/2/3/349.full

ABSTRACT
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper
arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has
functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is
now at the forefront of a new generation of programming technologies, and enjoying increasing popularity
and influence. In this paper, we review the impact of functional programming, focusing on how it has
changed the way we may construct programs, the way we may verify programs, and fundamentally the way
we may think about programs.

Keywords: functional programming, functional languages, equational reasoning, monad, high order
function
回复此楼

» 本帖附件资源列表

  • 欢迎监督和反馈:小木虫仅提供交流平台,不对该内容负责。
    本内容由用户自主发布,如果其内容涉及到知识产权问题,其责任在于用户本人,如对版权有异议,请联系邮箱:xiaomuchong@tal.com
  • 附件 1 : How_functional_programming_mattered-Zhenjiang_Hu.pdf
  • 2016-11-21 12:27:42, 390.98 K

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 gy_xmc2015 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 283求调剂 +13 那个噜子 2026-04-09 13/650 2026-04-09 17:23 by babysonlkd
[考研] 296求调剂 +5 汪!?! 2026-04-08 5/250 2026-04-09 16:47 by Delta2012
[考研] 求机械专硕297第二批调剂 +5 拾柒12。 2026-04-08 5/250 2026-04-09 16:43 by 允当适度
[考研] 生物学调剂,一志愿西南大学348,Top期刊一区二作、二区三作,三等奖学金三次 +3 candyyyi 2026-04-09 3/150 2026-04-09 16:15 by 求调剂zz
[考研] 291求调剂 +7 关忆北. 2026-04-09 8/400 2026-04-09 15:17 by 探123
[考研] 085801 总分275 本科新能源 求调剂 +8 bradoner 2026-04-08 9/450 2026-04-09 13:43 by only周
[考研] 275 求调剂 +8 Lei812514 2026-04-07 8/400 2026-04-08 12:46 by chemisry
[考研] 277、学硕,求调剂 数一104, +11 瓶子PZ 2026-04-07 12/600 2026-04-07 23:30 by 一只好果子?
[考研] 298求调剂 +4 残荷新柳 2026-04-07 4/200 2026-04-07 23:02 by lbsjt
[考研] 一志愿南科大生物学297分,求调剂推荐 +8 Y-yyusx 2026-04-06 9/450 2026-04-07 19:38 by biomichael
[考研] 334分机械专硕求调剂 +3 蛋花紫菜汤 2026-04-03 3/150 2026-04-07 14:49 by 逍遥cocoa
[考研] 材料调剂 +17 小刘同学吖吖 2026-04-06 18/900 2026-04-07 11:41 by 诗与自由
[考研] 277工科求调剂 +10 1915668 2026-04-04 11/550 2026-04-06 23:53 by 心媛意北
[考研] 319求调剂 +3 handrui 2026-04-05 3/150 2026-04-06 09:33 by jp9609
[考研] 277求调剂 +5 考研调剂lxh 2026-04-05 5/250 2026-04-05 19:03 by chy09050039
[考研] 一志愿郑大0705求调剂 +3 橘十一 2026-04-02 4/200 2026-04-05 00:05 by chongya
[考研] 282电子信息0854专硕调剂 +4 202451007219 2026-04-02 6/300 2026-04-04 21:55 by laoshidan
[考研] 考研调剂 +5 小sun要好运 2026-04-03 5/250 2026-04-03 21:43 by 啵啵啵0119
[考研] 294求调剂 +6 Grey_Ey 2026-04-03 6/300 2026-04-03 20:46 by 欣喜777
[考研] 081200-11408-276学硕求调剂 +5 崔wj 2026-04-03 5/250 2026-04-03 15:06 by arrow8852
信息提示
请填处理意见