写在本寒假最后一天

寒假有结束了。为了避免觉得一事无成,有必要总结一下重要事情。

    Section 1 . 娱乐
很High的看完了电视剧大唐双龙传,看完大唐后本来就想好好看书,但是又发现苏有朋版的倚天屠龙里ppmm很多。倒是游戏玩得不多,战神2打了一半发现找不到路了,阅尽无数攻略也只有跳崖自尽一条路。于是开始开始壮胆打生化危机4,但是最后证明它一点也不恐怖。除了有一个地方,被电锯姐妹花(大婶)虐的reload数次,最后以4颗手雷,20+发散弹毙了她们…呃,不知道214那天孤零零的在打哪一关呢:)

    Section 2 . 学习
这个寒假本应该好好学习,学习的内容有三:数理逻辑、Haskell、考研第二轮。不过由于上面提到玩了不少,然后加上睡觉不少。故最终学习不认真。不过不管怎么样,数理逻辑这一块确是看了相当一些,挺满足了,大概理解了上个世纪伟大的歌德尔先生干的两件大事情:不完全性定理和协调性定理。不得不用大概这个形容词是因为我在读完一遍时,经过推敲,确实能理解书上的话,但是一旦合上书,我非常肯定的说我已经基本上忘掉了它在讲什么。对于G系统和一阶语言应该也有了大致的把握。

    然后要谈谈Haskell方面了,本来要写一个程序,之前的post中也提到了。但是经过数十天后的coding,根本没有能写成。应该说我没有把握到确实的目标,写偏掉了。当然确确实实客观的讲目标比我想象的要复杂的多,第一步就是实现为C++的程序写一个C wrapper layer。这一步事实上有两个可能的解决方法:1、弄一个C++ parser,鉴于C++语法复杂性,该方法是恐怖的(不过这两天我发现了swig,它完成了这第一步,所以目前有打算基于swig重新做);2、为每一个C++ function手工写wrapper,鉴于Irrlicht有161个头文件,1300+个接口,这个方法也是很恐怖的,恐怖的不仅仅是写这1300个wrapper,而是保证你写的这1300+个wrapper是正确的。恩,我于是本能的选择的折衷的方法,使用haskell搞了一个DSL,我基本上还是需要翻译这161个header,但是正确性大致上可以保证。但是最终的结果是,未能完成,主要问题还是量太大…我很闷很吐血。除了这个项目外,昨天读了一篇关于Fran的paper,它的主要内容是关于在functional programming language中的一个做animation的的编程模型。我的评价是很炫,但是我看不太懂…总得说来也并非如declarative所表达的那么直观,至少对于我这个刚刚看到远处的门框的人来讲,非常不易懂。但是需要提醒自己的是,不易看懂并不能说明这个模型不好,就好像我的英文说的吊儿郎当,并非是英文不直观,而是因为我身在英文这个语言系统之外,自然无法体会其中难以道尽的精妙之处。有一点,个人觉的DSL这个模型好比是微型版的中文,组合能力很强,语法要求很弱,表达力丰富。

    最后说起考研第二轮复习,那个尚未启动.. 记得版上有一人问开学后开始复习,晚不晚了,众人答曰:啊,你这么早啊…
此条目发表在My Life分类目录。将固定链接加入收藏夹。

2 Responses to 写在本寒假最后一天

  1. 沫飞说道:

    怎么想起做第二轮复习了。。。。

  2. 佳森说道:

    阿,离散和编译不用复习的么?

发表评论

Fill in your details below or click an icon to log in:

WordPress.com 徽标

您正在使用您的 WordPress.com 账号评论。 登出 /  更改 )

Google photo

您正在使用您的 Google 账号评论。 登出 /  更改 )

Twitter picture

您正在使用您的 Twitter 账号评论。 登出 /  更改 )

Facebook photo

您正在使用您的 Facebook 账号评论。 登出 /  更改 )

Connecting to %s