原创 關於函數式語言的隻言片語
1. 函數式語言可以合理的看作是泛函分析思想的一種體現，從歷史發展的時間上看大概也是具有這種可能性的。在Backus的論文中對函數式語言的一種樂觀的情
2020-02-21 22:04:56
原创 架構師此在何爲
由於各個公司的領域，規模，人員配備等差異很大，形形色色的公司中頂着架構師頭銜的諸般人等所從事工作的內容以及所承擔的責任也是大相徑庭。務虛者有之
2020-02-21 22:04:56
原创 哲學與情感
因爲在認識上物質和意識的兩分，傳統上哲學便分爲唯物和唯心兩大流派。唯物主義因爲非哲學的緣故在國內佔據主導地位。但在哲學上卻從未平息過思想的紛爭。胡塞爾
2020-02-21 22:04:56
原创 關於語言與結構的一些說明
每當我在文字中對函數式語言有些不敬之意時,便好像動了某些人的奶酪,以至我的言辭總在被曲解後遭到排斥。我想這就是因爲視角差異過大所造成的. 但是謙虛謹慎
2020-02-21 22:04:56
原创 關於學習
我平時Kill Time的主要方式是閱讀各類學術書籍。但是學習本身只是瞭解前人的發現，間或鍛鍊一下自己的思維能力，對自己的工作和生活並沒有什麼直接的助
2020-02-21 22:04:45
原创 模型驅動的數學原理
一種技術思想如果確實能夠簡化編程，有效降低系統構造的複雜性，那麼它必然具有某種內在的數學解釋。反之，無論一種技術機制顯得如何華麗高深，如果它沒有清晰的數學圖象，那麼就很難證明自身存在的價值。對於模型驅動架構(MDA)，我長期以來一
2018-09-01 13:51:29
2
原创 jQuery中的編程範式
瀏覽器前端編程的面貌自2005年以來已經發生了深刻的變化，這並不簡單的意味着出現了大量功能豐富的基礎庫，使得我們可以更加方便的編寫業務代碼，更重要的是我們看待前端技術的觀念發生了重大轉變，明確意識到了如何以前端特有的方式釋放程序
2018-09-01 13:51:27
原创 行爲聚集
軟件開發技術的技術本質在於對代碼結構的有效控制. 我們需要能夠有效的分解/重組代碼片斷, 凸顯設計意圖. 面向對象是目前最常見的代碼組織技術. 典型的, 它可以處理如下模式 A1 --> B2, A2 --> B2, A3
2018-09-01 13:51:27
3
原创 從面向對象到面向切面
1. C語言抽象出了軟件所在的領域(domain): 由變量v1,v2,...和函數f1,f2,...組成的空間 2. 面向對象(OOP)指出，在這一領域上可以建立分組(group)結構：一組相關的變量和函數構成一個集合，我們稱之爲對
2018-09-01 13:51:27
3
原创 HTML模型增強
html最早的設計目標只是作爲某種多媒體文檔展現技術，其設計者顯然無法預料到今天Web應用的蓬勃發展，一些設計缺陷也就難以避免。特別是html規範中缺乏對於複雜交互式組件模型的支持，直接導致企業應用的前臺開發困難重重。AJAX技術
2018-09-01 13:51:26
原创 結構的自足性
說到軟件建模，一個常見的論調是模型應該符合實際需求，反映問題的本質。但是何謂本質，卻是沒有先驗定義的。在成功的建立一個模型之前，無論在內涵上還是在外延上我們都很難說清楚一個問題的本質是什麼。如果將模型看作是對領域結構的一種顯式描述和
2018-09-01 13:51:26
1
原创 文本化
軟件技術的發展是一個結構化不斷加深的過程，我們逐漸擁有了越來越豐富的結構識別, 表達和處理手段。在這一方向上, 組件技術最終取得了巨大的商業成功。但是區分同時也就意味着隔閡。面向對象技術最基礎的概念在於 O = C(O), 對象的
2018-09-01 13:51:24
3
原创 類型化：形而上學的信仰
有一個心理學實驗，要求被試者將青草，公雞，牛三個東西分成兩組，結果多數中國兒童將青草和牛分成一組，而多數美國兒童將公雞和牛分成一組。中國人的思想中青草和牛之間存在現實的關係，牛吃草，而西方人的典型邏輯是公雞和牛都屬於動物
2018-09-01 13:51:24
3
原创 逆元：不存在的真實存在
負數沒有直接的幾何意義，因此它被認爲是對應於不存在的事物。而按照古希臘的邏輯，不存在的事物是不可能存在的，因而也就是無法被理解的，更不可能參與到推理過程中，因此是無意義的，無法被定義的， 因此它是不存在的。中國人注重的是運算
2018-09-01 13:51:24
原创 信道構建
分層是最常見的軟件架構方式之一。分層之後可以區分出橫縱兩個維度,縱向往往表現出一種隔離性。出於有意無意的各種原因，層次之間傳遞信息很容易出現模糊甚至丟失的現象。B/S多層體系架構下的程序因爲瀏覽器和服務器之間的狀態空間相互獨立，相
2018-09-01 13:51:24