免费注册 查看新帖 |

ChinaUnix.net

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 30737 | 回复: 8

函数式编程如何实现动态规划和记忆化搜索? [复制链接]

论坛徽章:
8
2015年迎新春徽章
日期:2015-03-04 09:58:112015元宵节徽章
日期:2015-03-06 15:51:33数据库技术版块每日发帖之星
日期:2016-06-09 06:20:00数据库技术版块每日发帖之星
日期:2016-06-10 06:20:00数据库技术版块每日发帖之星
日期:2016-07-20 06:20:0015-16赛季CBA联赛之同曦
日期:2016-07-21 21:26:51数据库技术版块每日发帖之星
日期:2016-07-23 06:20:00数据库技术版块每日发帖之星
日期:2016-07-26 06:20:00
发表于 2016-07-20 21:13 |显示全部楼层
函数式编程如何实现动态规划和记忆化搜索?

论坛徽章:
95
程序设计版块每日发帖之星
日期:2015-09-05 06:20:00程序设计版块每日发帖之星
日期:2015-09-17 06:20:00程序设计版块每日发帖之星
日期:2015-09-18 06:20:002015亚冠之阿尔艾因
日期:2015-09-18 10:35:08月度论坛发贴之星
日期:2015-09-30 22:25:002015亚冠之阿尔沙巴布
日期:2015-10-03 08:57:39程序设计版块每日发帖之星
日期:2015-10-05 06:20:00每日论坛发贴之星
日期:2015-10-05 06:20:002015年亚冠纪念徽章
日期:2015-10-06 10:06:482015亚冠之塔什干棉农
日期:2015-10-19 19:43:35程序设计版块每日发帖之星
日期:2015-10-21 06:20:00每日论坛发贴之星
日期:2015-09-14 06:20:00
发表于 2016-07-21 14:09 |显示全部楼层

论坛徽章:
2
青铜圣斗士
日期:2015-11-26 06:15:59数据库技术版块每日发帖之星
日期:2016-07-24 06:20:00
发表于 2016-07-21 19:42 |显示全部楼层
同学你最近也问了不少问题了。。。  都不太好回答啊。。。
“函数式编程”或“函数式编程语言”并没有一个很公式化的定义。。。
你能说下具体是哪个编程语言吗。。。

论坛徽章:
8
2015年迎新春徽章
日期:2015-03-04 09:58:112015元宵节徽章
日期:2015-03-06 15:51:33数据库技术版块每日发帖之星
日期:2016-06-09 06:20:00数据库技术版块每日发帖之星
日期:2016-06-10 06:20:00数据库技术版块每日发帖之星
日期:2016-07-20 06:20:0015-16赛季CBA联赛之同曦
日期:2016-07-21 21:26:51数据库技术版块每日发帖之星
日期:2016-07-23 06:20:00数据库技术版块每日发帖之星
日期:2016-07-26 06:20:00
发表于 2016-07-21 21:26 |显示全部楼层
回复 3# OwnWaterloo


    standard ml

论坛徽章:
2
青铜圣斗士
日期:2015-11-26 06:15:59数据库技术版块每日发帖之星
日期:2016-07-24 06:20:00
发表于 2016-07-21 22:33 |显示全部楼层
回复 4# love_wisdom
SML:
1. 严格求值
2. 不强调纯函数
3. 有while
其实和传统语言差不多吧, 该怎么实现就怎么实现。

关于while, 不记得这是SML语言标准还是某个实现的扩展了。
同样, 也不记得尾调用优化是不是SML语言标准要求的。

如果有while, 那用while肯定没什么问题。
如果没有, 那就要写成尾递归形式, 这可能就是和传统语言不一样的地方了。
然后靠语言实现优化这个尾递归。 如果不能优化又不支持while, 这个语言实现就可以丢了, 没法用的。

论坛徽章:
8
2015年迎新春徽章
日期:2015-03-04 09:58:112015元宵节徽章
日期:2015-03-06 15:51:33数据库技术版块每日发帖之星
日期:2016-06-09 06:20:00数据库技术版块每日发帖之星
日期:2016-06-10 06:20:00数据库技术版块每日发帖之星
日期:2016-07-20 06:20:0015-16赛季CBA联赛之同曦
日期:2016-07-21 21:26:51数据库技术版块每日发帖之星
日期:2016-07-23 06:20:00数据库技术版块每日发帖之星
日期:2016-07-26 06:20:00
发表于 2016-07-23 15:00 |显示全部楼层
回复 5# OwnWaterloo


    我经过上网搜索,看到下面的网址里有尾递归的代码
http://www.cs.cornell.edu/Course ... itations/rec05.html
就是弄不清怎么是尾递归了

论坛徽章:
8
2015年迎新春徽章
日期:2015-03-04 09:58:112015元宵节徽章
日期:2015-03-06 15:51:33数据库技术版块每日发帖之星
日期:2016-06-09 06:20:00数据库技术版块每日发帖之星
日期:2016-06-10 06:20:00数据库技术版块每日发帖之星
日期:2016-07-20 06:20:0015-16赛季CBA联赛之同曦
日期:2016-07-21 21:26:51数据库技术版块每日发帖之星
日期:2016-07-23 06:20:00数据库技术版块每日发帖之星
日期:2016-07-26 06:20:00
发表于 2016-07-23 19:15 |显示全部楼层
回复 5# OwnWaterloo


    standard ml可以是饥饿求值,也可是命令式的编程范式

论坛徽章:
2
青铜圣斗士
日期:2015-11-26 06:15:59数据库技术版块每日发帖之星
日期:2016-07-24 06:20:00
发表于 2016-07-26 00:30 |显示全部楼层
本帖最后由 OwnWaterloo 于 2016-07-26 00:39 编辑

回复 6# love_wisdom

  1. fun sum (l:int list):int =
  2.   case l of
  3.     [] => 0
  4.   | x::xs => x + (sum xs)
复制代码

  1. fun sum' (acc:int) (l:int list):int =
  2.   case l of
  3.     [] => acc
  4.   | x::xs => sum' (acc+x) xs
复制代码
sum和sum' 都会递归调用自己。 sum里的递归不是尾递归, 而sum'是。

SICP里有两张图。


这张与sum类似。 只是求的是乘积。


与sum'类似, 求的也是乘积。

论坛徽章:
8
2015年迎新春徽章
日期:2015-03-04 09:58:112015元宵节徽章
日期:2015-03-06 15:51:33数据库技术版块每日发帖之星
日期:2016-06-09 06:20:00数据库技术版块每日发帖之星
日期:2016-06-10 06:20:00数据库技术版块每日发帖之星
日期:2016-07-20 06:20:0015-16赛季CBA联赛之同曦
日期:2016-07-21 21:26:51数据库技术版块每日发帖之星
日期:2016-07-23 06:20:00数据库技术版块每日发帖之星
日期:2016-07-26 06:20:00
发表于 2016-08-23 18:37 |显示全部楼层
如何实现动态规划?
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

基于案例的 SQL 优化实战训练营

讲师:中电福富特级专家梁敬彬,参与本次课程培训,你将收获:
1. 能编写出较为高效的 SQL;
2. 能解决70%以上的数据库常见优化问题;
3. 能得到老师提供的高效的相关工具和解决方案;
4. 能举一反三,收获不仅仅是 SQL 优化。
现在购票享受8.8折优惠!
----------------------------------------
优惠时间:2019年3月20日前

大会官网>>
  

北京盛拓优讯信息技术有限公司. 版权所有 16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122
中国互联网协会会员  联系我们:huangweiwei@it168.com
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP