- 主题:SICP值得读吗, 我唯一买了看了开头就吃灰的书.看豆瓣吹的神乎其
要是已经熟悉函数式语言的思路,熟悉多种编程范式,那就无所谓。如果不熟,那就颇有可观之处。
这书的内容组织最好的地方大概就是用一个简单的语言把好多种编程范式从基本用法到理论原理再到背后实现都串起来了,最后要自己写这些编程范式的解释器、编译器。所以可以加深理解,触类旁通。
这书用scheme表述,又是培养老派的那种万丈高楼平地起什么都自己写从不调库的那种程序员,距离今天的工程实践比较远。而且这书又是适合整两个学期才能讲完的零基础大学教材,必然比较冗长,不写代码不做练习也收效不好。那么对于工作后的程序员看,应该说要花的力气是比较大的,甚至可以说有些力气必然是有点浪费的。比方说数据抽象或者局部变量赋值,对成手程序员是老概念,又要用lisp搞一遍,那就比较乏味。
【 在 stub 的大作中提到: 】
: 看豆瓣吹的神乎其神, 又想拿出来啃了
: --
: FROM 123.126.3.*
--
修改:milksea FROM 221.221.156.*
FROM 221.221.156.*
另外这个书虽然讲了不少范式,多是在程序组织和运行方面的,比如几种实现多态方式的对比,积极求值与延迟求值对比,有限表和无穷流对比,过程描述和约束求值对比,不同解释策略和编译对比等等,看起来内容真的很多了,但缺少现代编程语言不可忽略的一个大块——类型检查,特别是静态类型。可以说对类型就涉及不多,对更复杂的类型继承、泛型类型甚至协变之类就更不会有。联系实际的时候就能感觉到那种距离感。
【 在 snoopyzhao 的大作中提到: 】
: 赞大佬的解释!
: 解了我长久以来的困惑……
:
: ...................
--
FROM 221.221.156.*
ML系的语言、Haskell 都把类型系统做重点。看 rust 也行,很实际的类型系统。一般人是没必要读TAPL那种专著。
【 在 saynothing 的大作中提到: 】
: 静态类型的话,这个有哪方面的书可以看?
:
: 类型问题,这个感觉语言免不了呀。不知道函数式如何
: ...................
--
修改:milksea FROM 114.254.9.*
FROM 114.254.9.*
可以只做大lab题,从mit课程网站上可以下载,体量大了相对有意思一点。注意这课程的主旨就不是具体问题,所以lab里有趣的地方也就是魔改解释器,实现个面向对象之类的项目。
从根本上来说你不可能要求80年代的书用网页爬虫、深度学习什么的做例子,有个图像翻转就挺新潮了。
【 在 snoopyzhao 的大作中提到: 】
: 【 在 oldwatch 的大作中提到: 】
: : 一定要做题……
: 然而那些题离现实有点儿远,所以很无趣的样子……
: ...................
--
FROM 114.254.9.*
我认为80年代的软件工程师和今天的软件工程师的需求和培养策略变化太大了,语言是这种变化的一种反应
【 在 doubleback 的大作中提到: 】
: MIT自己不都已经改用Python讲这门课了吗?还抱着scheme不放没必要吧。
: 本中当年还是本青的时候,很多EDA软件都用scheme做内置脚本,连着几十个括号看得人欲仙欲死,绝对是反人类的。
: 【 在 milksea 的大作中提到: 】
: ...................
--
FROM 221.221.156.*