07 2009 档案

关于函数式和抽象的那点事
摘要:承接上文回复中的内容,先说明一下:我这将近两年碰到任何问题都会先尝试寻找FP的思路(而不仅仅是形式)解决。无论语言是C++、C#、Python、JS,无论目标的特点是什么样。当然可能有人就会说“你在不适合FP的地方如何如何...”,但是我采取这样的策略,正是为了搞清楚FP在思路和形式两方面上的适用范围。其中一部分问题的解决特别顺理成章,同时设计和实现确实体现出FP抽象方式的特点;还有一部分情况如果... 阅读全文

posted @ 2009-07-17 17:41 怪怪 阅读(2971) 评论(15) 推荐(6) 编辑

focus..., focus
摘要:就最近的表现而言我好像又运转不正常了。:(关于网络社交:记住,除了愿意和你交流的朋友,其它的人事物暂时无需关心;你没那个精力。对于突然出现在社区的怪人怪事,那和你一点交集也没有,最多当作活标本观察。很容易看出来那些人都是很难交流的;人家要么是有目的,要么是自己表演给自己看。你想让你自己获得什么呢?他人价值观所传出的信息不肯定你的判断,要找回来吗?事实是检验真理的唯一标准,你要做的仅仅是你想做的,然... 阅读全文

posted @ 2009-07-16 16:43 怪怪 阅读(1113) 评论(0) 推荐(0) 编辑

嗯嗯,关于函数式风潮与SICP
摘要:看见老赵在推这本书。本来写了个回复,当时想了想没发(现在越来越不敢乱说话了)。因为我以前也是推过这本书的。如果现在又泼凉水,似乎有点对什么风都要说不的意思。不过,我确实已经好长时间没翻过SICP了,不是因为不看书了或者太狂了,而是这本书根本钩不起我的兴趣。话说回来,当年我可是连夜读完、反复看了好几遍的,眼前一亮和欲罢不能的感觉(很少有)还记忆犹新。借着老赵这个话茬,我就仔细思索了一下这个来龙去脉。... 阅读全文

posted @ 2009-07-16 12:09 怪怪 阅读(11975) 评论(42) 推荐(16) 编辑

好多天没去首页了
摘要:刚才去看了一眼,老包彻底走火入魔了,哈哈哈。玩什么别玩玄的。一个人要是装,这实际上实的;一个人如果是*真的*“若有所悟”,这人一定是NC了...其实搞“真谛”、搞“道”的人,博客园里是一波一波的,有广受赞誉的,也有备受欺凌的。为什么?就因为前者是装,是实,后者是真,是虚。多的不说了。计算机科学与技术这门学科,好似确实是缺点东西。缺的什么呢?缺的是所谓的主导理论,或者说缺乏对主导理论的关注。如果说现... 阅读全文

posted @ 2009-07-12 23:20 怪怪 阅读(1060) 评论(26) 推荐(1) 编辑

严重推荐
摘要:上次的书单中,拉卡托斯的《证明与反驳》是一本佳作;虽然它是最薄的一本。个人认为,在对思想方法的指导意义上,波利亚的《怎样解题》和此书一比,就有点不切中要害了。网上很多业余爱好者对波利亚的推崇,有些“科学小资”的意味,最后并不落在实处。过去以为这是因为波利亚更多的像一个教育家,《怎样解题》是写给老师和学生的。现在想来,更多的是《怎样解题》在认知的全面性上差了一个档次。而看完《证明与反驳》,我都有点不... 阅读全文

posted @ 2009-07-08 03:47 怪怪 阅读(1190) 评论(6) 推荐(0) 编辑

导航

< 2025年3月 >
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5
点击右上角即可分享
微信分享提示