[{"data":1,"prerenderedAt":309},["ShallowReactive",2],{"blog-page-44":3,"blog-count":308},[4,44,129,221,262],{"id":5,"title":6,"body":7,"date":28,"description":13,"extension":29,"meta":30,"navigation":33,"path":39,"seo":40,"stem":41,"tags":42,"__hash__":43},"blogs\u002F_legacy\u002F2011\u002F2011-11-10-site-publish.md","正式开放了",{"type":8,"value":9,"toc":23},"minimark",[10,14,17,20],[11,12,13],"p",{},"前期一直在内测，不过说是内测其实也就只有我一个人了。",[11,15,16],{},"虽然没有设访问权限，老实说我可没期待通过谷哥或者度娘过来的这样的低概率事件哦。",[11,18,19],{},"一直比较矛盾于是否主动去做外链以及把认识的人拉过来什么的，首先对自己的东西不是很有自信。另一方面的话是担心，我总感觉平时自己总是没有把自己的全部都表现出来。我并不是很了解自己，我想别人就更难了解到我了。不过到最后我还是决定做相关的推广活动，由于一开始就不是以盈利为目的的，所以SEO什么的就不会刻意的去做了。虽然这么说，其实我对SEO具体该怎么说也是一点也不了解了。",[11,21,22],{},"总而言之的话在这里就是这样的自己，希望大家多多关照。",{"title":24,"searchDepth":25,"depth":26,"links":27},"",2,3,[],"2011-11-10","md",{"layout":31,"status":32,"published":33,"date_gmt":34,"excerpt":35},"post","publish",true,"2011-11-10 15:39:56 +0000",{"type":8,"value":36},[37],[11,38,13],{},"\u002F2011-11-10-site-publish",{"title":6,"description":13},"_legacy\u002F2011\u002F2011-11-10-site-publish",[],"-X1xNPn8XnrD9hhFlwAzXNTYXn0fYtMHedzTM38-Z_Q",{"id":45,"title":46,"body":47,"date":111,"description":51,"extension":29,"meta":112,"navigation":33,"path":124,"seo":125,"stem":126,"tags":127,"__hash__":128},"blogs\u002F_legacy\u002F2011\u002F2011-11-08-once-a-live.md","一度得生者",{"type":8,"value":48,"toc":109},[49,52,55,58,61,64,67,70,73,76,79,82,85,88,91,94,97,100,103,106],[11,50,51],{},"一度得生者，安有不灭者乎？",[11,53,54],{},"当人生短短几十年这样的事实真的就摆在自己面前的时候，总是有种说不出的感觉。",[11,56,57],{},"这种时候又会想起另外一句话：",[11,59,60],{},"我们活着好像我们从来都不会死，我们死了好像我们从来都没有活过。",[11,62,63],{},"并非是想要在这个世界上留下点什么，只是回过头来觉得自己的人生实在是空而无物。什么都没有，一天二十四小时、一星期七天、一年五十二星期、一个甲子六十年，时间今后也会像一直以来的一样悄无声息的过去吧？然后什么都没有……",[11,65,66],{},"生命的意义，无论怎样巧妙的填补与掩饰，在时间面前都变得煞白而无力。",[11,68,69],{},"我不想这样，就算是徒劳的挣扎也好、就算再怎么难看丑陋也罢，我想找到这个世界和自己存在的意义。",[11,71,72],{},"我知道我忘记了无数的过去，也没有办法坚守自己的未来。",[11,74,75],{},"但是努力一下又有什么不好呢？",[11,77,78],{},"就算总有一天一切都将过去",[11,80,81],{},"至少现在我还存在于此",[11,83,84],{},"所以我最后还是决定继续这个一度想要放弃的博客",[11,86,87],{},"而不是被卷到那宛如死循环一样一沉不变的生活中去",[11,89,90],{},"我不知道别人是怎么想的",[11,92,93],{},"对于我而言",[11,95,96],{},"如果放弃自己所追求的东西",[11,98,99],{},"这循环的过程和结果，最终都会变得毫无意义",[11,101,102],{},"或许我无法改变命运的轨迹，但是，至少我不该放弃",[11,104,105],{},"无论这一切的终点有着什么，",[11,107,108],{},"我都想以自己的方式努力一下。",{"title":24,"searchDepth":25,"depth":26,"links":110},[],"2011-11-08",{"layout":31,"status":32,"published":33,"author":113,"author_login":114,"author_email":115,"author_url":116,"wordpress_id":117,"wordpress_url":118,"date_gmt":119,"excerpt":120},{"display_name":114,"login":114,"email":115,"url":116},"chaoshikari","chaoshikari@gmail.com","\u002F",132,"http:\u002F\u002Fwww.ch-wind.com\u002F?p=132","2011-11-07 16:43:55 +0000",{"type":8,"value":121},[122],[11,123,51],{},"\u002F2011-11-08-once-a-live",{"title":46,"description":51},"_legacy\u002F2011\u002F2011-11-08-once-a-live",[],"EaZxp9DfLAjCoVS5f7jv7nyzYDfw4kQMNGF0G4YjyrA",{"id":130,"title":131,"body":132,"date":206,"description":136,"extension":29,"meta":207,"navigation":33,"path":216,"seo":217,"stem":218,"tags":219,"__hash__":220},"blogs\u002F_legacy\u002F2011\u002F2011-10-31-ocaml-study-note.md","OCaml学习札记",{"type":8,"value":133,"toc":204},[134,137,140,143,146,149,152,155,158,168,179,182,188,191,194],[11,135,136],{},"时间过得真快，一转眼2011就要结束了。",[11,138,139],{},"~~而我却还是一事无成呢，在心里认为自己很伟大以及在现实面前很平庸这样的矛盾真是让人痛苦啊（笑）。~~最近也是，不知道为什么就是什么也没干的过来了。最后发现只有正在学习的这门课程能够拿出来证明我真的活过了这几个月……",[11,141,142],{},"好吧，上面的都是闲话，这里直接切入正题。接触到ocaml是因为正在学函数式程序设计，英文好像叫 function programing 来着，记不清了。这里主要写一些自己学到的东西吧，当然不敢说是教程了。",[11,144,145],{},"ocaml是object caml的简称，而caml是ml的一种方言。它最主要的特点就是是一种函数式语言，据说这种语言可以减少代码量。而且设计上也更加适用于并行运算，因为它在设计上没有变量。没有变量就没有内存共享，这样就可以方便的进行并行运算了。",[11,147,148],{},"当然这都是被宣称的，真实情况就不是很清楚了。个人感觉，至少现在还不怎么流行就是了。主要这种语言要用的话原来的编程思路似乎得转变一下，然后它只提高了编程效率，对于运行效率却不太可能有什么提升。而且并行运算似乎也不是非它不可。现在编程的都是实用主义的，自然用的人就少了。在我看，这门语言目前比较适合对编程有些兴趣，想要挑战自己智商的人，因为它在具体的算法的设计和实现上确实比较精妙。不过F#是以ocaml为基础的，由于ocaml内部没有对应的图形库，所以F#必须搭配.net的其他语言才可以编出可视化的程序。",[11,150,151],{},"我想,学习一门新的语言对于程序员而言基本上是家常便饭了，所以基本上没有什么难的。",[11,153,154],{},"基本类型没有什么变化int、float、char、string、list都有,不过使用的时候不用事先声明习惯了c风格的童鞋可能会有点不习惯。",[11,156,157],{},"ocaml里最大的特点就是所谓的函数式程序的特性，也就说可以将函数定义好作为算子来使用。要说明的话太过于麻烦，而且要学语言最快的还是看代码。于是来看这段代码吧：",[159,160,165],"pre",{"className":161,"code":163,"language":164},[162],"language-text","let nextx a x = (a\u002F.x +. x) \u002F. 2.0;;\nlet rec findroot a x acc =\n  if abs_float (x -. nextx a x) \u003C acc *. x then\n    nextx a x\n  else\n    findroot a (nextx a x) acc  ;;\nlet sqroot a = findroot a 1.0 0.000001\n","text",[166,167,163],"code",{"__ignoreMap":24},[11,169,170,171,178],{},"这段代码是对牛顿逼近算法求平方根的一个实现，算法方面就不做解释了。可以看到nextx是用来求下一个逼近值的函数，而findroot则是主函数。在定义时需要递归的函数前必须加rec来声明，否则无法编译。这就是一段简单的ocaml程序，其实ocaml最主要的就是将函数编写成为通式来使用。这点和面向对象的一些思路很像，不过函数式语言最终的目的是将函数作为单体(",[172,173,177],"a",{"href":174,"rel":175},"http:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FMonad_%28functional_programming%29",[176],"nofollow","monad",")的运算子,以实现良好的有序操作或者控制流。",[11,180,181],{},"下面再给一段较为复杂的代码：",[159,183,186],{"className":184,"code":185,"language":164},[162],"type ´a tree = Leaf ¦ Node of ´a * ´a tree * ´a tree;;\n\nlet rec fold_tree f e t =\n   match t with\n    Leaf -> e ¦\n    Node (a,b,c) -> f (a, fold_tree f e b , fold_tree f e c) ;;\nlet height t = fold_tree (fun (a,b,c) -> (max b c) + 1 ) 0 t;;\nlet t1 =\n  Node ( \"a\" ,\n    Node (  \"b\" ,\n      Node ( \"c\" ,\n        Node ( \"d\" , Leaf , Leaf) , Leaf ) ,Leaf) ,Node ( \"e\" ,Leaf,Leaf));;\nlet balance t = ( fold_tree (fun (a,b,c) -> if (b = -1 ¦¦ c == -1 ) then (-1)\n    else\n      let ab =  abs (b-c) in\n      if ab \u003C= 1 then (max b c)+1\n      else (-1)\n    ) 0 t ) \u003C> (-1);;\n\nbalance (Node ( \"a\" , Leaf ,Leaf));;\nbalance t1;;\n",[166,187,185],{"__ignoreMap":24},[11,189,190],{},"这是一段用于检验二叉树是否平衡的代码。上面的代码首先定义了一个类型tree用来表示二叉树，使用的定义方式类似于离散数学中的归纳定义。也就是Leaf是二叉树，而一个节点下有两个子树也是二叉树。而fold_tree则是ocaml中比较常见的一种通式的写法，通过match匹配，对整棵树进行遍历。而fold_tree的参数f则是一个可以自定义的函数。下面的函数balance就是对fold_tree的一种应用。",[11,192,193],{},"据说很好的利用通式可以简化编程的代码量和降低算法的设计复杂度，在实际写过一段时间之后发现确实如此，函数式语言还是有些优点的。不过我还没有系统的对ocaml进行过学习当然也没有继续深入研究的打算，如果要深入研究的话我推荐一下语言参考，解释的还是非常详细的。同时也把我这段作为习作写的代码也上传了吧，里面有关单体的运用的那块不是我一个人写的，总之希望对正在学习的人有所帮助吧。",[195,196,197],"blockquote",{},[11,198,199,200],{}," 下载地址：",[172,201,202],{"href":202,"rel":203},"http:\u002F\u002F3721up.com\u002F4cve",[176],{"title":24,"searchDepth":25,"depth":26,"links":205},[],"2011-10-31",{"layout":31,"status":32,"published":33,"author":208,"author_login":114,"author_email":115,"author_url":116,"wordpress_id":209,"wordpress_url":210,"date_gmt":211,"excerpt":212},{"display_name":114,"login":114,"email":115,"url":116},94,"http:\u002F\u002Fwww.ch-wind.com\u002F?p=94","2011-10-31 14:29:19 +0000",{"type":8,"value":213},[214],[11,215,136],{},"\u002F2011-10-31-ocaml-study-note",{"title":131,"description":136},"_legacy\u002F2011\u002F2011-10-31-ocaml-study-note",[],"K_Xf-JfvgivqqbrUk3FZFNCRukwoIz6UbTybX7w3Yy4",{"id":222,"title":223,"body":224,"date":247,"description":228,"extension":29,"meta":248,"navigation":33,"path":257,"seo":258,"stem":259,"tags":260,"__hash__":261},"blogs\u002F_legacy\u002F2011\u002F2011-10-27-autumn-bangumi.md","2011秋番印象",{"type":8,"value":225,"toc":245},[226,229,232,235,238],[11,227,228],{},"今天习惯性的情绪低落了，作为心情转换就来谈谈自己对秋番的印象吧。",[11,230,231],{},"不知道是不是心境变了的问题，感觉秋番没有夏番那么给力呢。或许是因为loli少了很多的缘故吧……在经过初略的挑选之后，我的追番就成了这个样子：c3，fz，majikoi，魔具，纯白，persona，友少，夏娜，lastexile，便当，罪恶王冠还有我妻由乃。有几部可以说一开始就是必追的像是fz，友少，夏娜这几个，纯白虽然有人说很崩，但是碰巧我没推gal所以感觉还是可以接受的。不过虽说崩也应该不至于到穹妹的地步吧，而且到最后穹妹不是还挺有人气的吗。",[11,233,234],{},"最让我惊艳的应该属于罪恶王冠了，开头那一段实在是太漂亮了，而且女主也不错。玉响的话看过ova，感觉与其说是百合倒更偏向治愈呢，不知不觉就没有追了。UN-GO的设定实在受不了，Phi Brain也是一样。迷糊餐厅和牧师妹本来想追的，想想还是完结了再一块看吧。",[11,236,237],{},"不过说起来秋番在loli减少的同时R量却是倍增啊，老实说实在是有点不习惯了。还好有夏娜和菲娅可以慰藉一下心灵。",[11,239,240],{},[241,242],"img",{"alt":24,"src":243,"title":244},"http:\u002F\u002Fwww.dm123.cn\u002Fecms\u002Fd\u002Ffile\u002F2011-08-19\u002Fc1c29dfd57415415f810dda15e81416c.jpg","菲娅",{"title":24,"searchDepth":25,"depth":26,"links":246},[],"2011-10-27",{"layout":31,"status":32,"published":33,"author":249,"author_login":114,"author_email":115,"author_url":116,"wordpress_id":250,"wordpress_url":251,"date_gmt":252,"excerpt":253},{"display_name":114,"login":114,"email":115,"url":116},81,"http:\u002F\u002Fwww.ch-wind.com\u002F?p=81","2011-10-27 15:12:44 +0000",{"type":8,"value":254},[255],[11,256,228],{},"\u002F2011-10-27-autumn-bangumi",{"title":223,"description":228},"_legacy\u002F2011\u002F2011-10-27-autumn-bangumi",[],"XIdqaRRwlC22uM36ZLFeRWIo5MSkMbQ9fWd4sqrvdxk",{"id":263,"title":264,"body":265,"date":293,"description":269,"extension":29,"meta":294,"navigation":33,"path":303,"seo":304,"stem":305,"tags":306,"__hash__":307},"blogs\u002F_legacy\u002F2011\u002F2011-10-26-only-thing-want.md","唯一的愿望",{"type":8,"value":266,"toc":291},[267,270,273,276,279,282,285,288],[11,268,269],{},"这个世界与自己所看到的样子是不同的，即便知道这一点，还是对其视而不见。",[11,271,272],{},"有时候我会想，所谓的成长就是让自己慢慢的去接受这个世界吧。但是人与人之间是不同的，我们每个人都处在不同的情况之下，谁又能保证自己所认识的就是正确的呢？",[11,274,275],{},"但是我还是想知道，世界究竟是什么样子的。",[11,277,278],{},"不带任何主观因素，仅仅以绝对的理性来看待这世界。对其作出客观的评定，找出其中所蕴藏的真理。",[11,280,281],{},"这就是我所剩下的唯一的愿望，我想知道，世界的秘密。",[11,283,284],{},"除此之外，其他的都不重要。",[11,286,287],{},"可是这毕竟也只是愿望而已，来自生活的压力什么的，来自放松的诱惑什么的，总是会轻易的让我忘记它。",[11,289,290],{},"但是我希望，我能为之付出努力，至少在这里，我不想忘记它。",{"title":24,"searchDepth":25,"depth":26,"links":292},[],"2011-10-26",{"layout":31,"status":32,"published":33,"author":295,"author_login":114,"author_email":115,"author_url":116,"wordpress_id":296,"wordpress_url":297,"date_gmt":298,"excerpt":299},{"display_name":114,"login":114,"email":115,"url":116},49,"http:\u002F\u002Fwww.ch-wind.com\u002F?p=49","2011-10-26 15:54:48 +0000",{"type":8,"value":300},[301],[11,302,269],{},"\u002F2011-10-26-only-thing-want",{"title":264,"description":269},"_legacy\u002F2011\u002F2011-10-26-only-thing-want",[],"ij3n4Mh_d2cq8_oSxdGy46QW2fj17B4xnHhTyWOd98k",222,1788763177051]