丘奇數（Church Numerals）和lambda calculus
摘要: 以前為了開發KFP，特別學習了一下lambda calculus（也就是我的博客的標題啦）。lanbda calculus是一門神奇的語言，在計算機出現之前就已經被搞出來了。這門語言只有三種語法，然后可以用這個語法來構造整數（！！！）、布爾型和很多遞歸數據結構等。
內含代碼
閱讀全文
posted @
2009-05-11 04:30 陳梓瀚(vczh) 閱讀(5405) |
評論 (7) 編輯
【轉】How to make programming hard for yourself
摘要: 這篇轉載的文章主要講了為什么寫非工作的代碼的時候，要時不時刁難自己。
內詳。
閱讀全文
posted @
2009-05-09 06:55 陳梓瀚(vczh) 閱讀(3196) |
評論 (0) 編輯
如何學習編程（二）
摘要: 接著上一篇文章繼續往下講。如果按照上一篇文章走下去的話，現在估計做了有些小軟件了吧。字符串和圖形都容易做大，而且對于潛意識上喜歡數學的最有希望的程序員們也是有吸引力的。但是這兩種東西卻不容易做好。等到程序到了一定規模的時候，維護和效率這兩大問題就會凸顯出來。心急吃不了熱豆腐，為了解決維護和效率這兩個經常會出現的問題，我們需要學習算法和架構。這兩種東西是可以同時學的，但是一篇文章說不了多少東西，那么就從算法開始吧。
程序員是需要開闊眼界的，光C#一門也是不行的，畢竟程序運行在各種平臺上，有各種各樣的語言。譬如Win32上的native C/C++、Delphi等，.NET上的C#和VB.NET，還有自成體系的Java，然后就是運行在mainframe上的COBOL，剩下的還有各種各樣的函數式語言、腳本語言等等。熟悉了C#的人從Delphi入手不會很困難，從C/C++入手也可以了。這兩門原本是本地語言的語言在編寫程序的時候需要我們注意多一些的東西，典型的就是內存管理。這還是需要多加練習的，在這里就不多說了。
說到算法，在這里首先向
閱讀全文
posted @
2008-06-11 00:03 陳梓瀚(vczh) 閱讀(9224) |
評論 (8) 編輯
如何學習編程（一）
摘要: 終于還是要寫這種文章了。期末考試將至，寫大程序沒時間，寫小程序沒動力，只要演變成寫文章了。之前的兩篇字符串處理寫完了仍然不過癮，打算繼續寫關于遞歸下降法和LALR的事。后來想想還是暫時寫寫關于如何學習編程的好，畢竟這個問題對大家來說更加有益。
本篇將是一個系列，重點講述在外力很少的情況下如何自學編程，以及需要注意的一些地方。
一般來說，一些所謂的『高手』或者老師會告訴人們算法是非常非常重要以至于會不會算法就是你會不會編程的唯一標準。不過事實上并非如此。掌握算法固然是好，只是大部分程序并不需要高深的算法，而且招人的時候僅僅要求會算法的公司也是很少的（而且很難進）。我并不是學院派的人，所以雖然我本人也推崇學習算法，但并不推崇一開始就學習算法。
剛開始學編程的人總是不知道自己應該從哪里入手。實際上這是一個相當重要的問題。在我看來，學好變成有若干條件：
·興趣
·數學/英語
·財力
首先談一談興趣。那些為了生計而尋找捷徑學習編程的人并不
閱讀全文
posted @
2008-06-06 18:29 陳梓瀚(vczh)|
編輯