Functional Programming in Qi 在線電子書 圖書標籤: programming  編程  Lisp  邏輯  語言  混口飯吃  數學  函數式   

喜歡 Functional Programming in Qi 在線電子書 的讀者還喜歡

Qi是建造在Common Lisp上的一門語言，是一門極為強大的語言，其可選的類型係統是圖靈完全的。 第一章追溯瞭編程語言分化成今天procedural(如C/C#/Java，受圖靈機計算模型影響)以及declarative(如Lisp/Prolog/Haskell，受丘奇的lambda算子理論影響)兩個陣營的曆史，其中不少黑曆史十分有意思。 第二部分介紹瞭編程語言的類型係統。 第三部分是全書精華所在，介紹瞭Qi語言的編譯器實現及其理論基礎，涉及Lambda Calculus，Pattern Matching，Sequent Calculus，Abstract Unification Machine，以及type checker。 FPer們快來看這本書！

Qi是建造在Common Lisp上的一門語言，是一門極為強大的語言，其可選的類型係統是圖靈完全的。 第一章追溯瞭編程語言分化成今天procedural(如C/C#/Java，受圖靈機計算模型影響)以及declarative(如Lisp/Prolog/Haskell，受丘奇的lambda算子理論影響)兩個陣營的曆史，其中不少黑曆史十分有意思。 第二部分介紹瞭編程語言的類型係統。 第三部分是全書精華所在，介紹瞭Qi語言的編譯器實現及其理論基礎，涉及Lambda Calculus，Pattern Matching，Sequent Calculus，Abstract Unification Machine，以及type checker。 FPer們快來看這本書！

Qi是建造在Common Lisp上的一門語言，是一門極為強大的語言，其可選的類型係統是圖靈完全的。 第一章追溯瞭編程語言分化成今天procedural(如C/C#/Java，受圖靈機計算模型影響)以及declarative(如Lisp/Prolog/Haskell，受丘奇的lambda算子理論影響)兩個陣營的曆史，其中不少黑曆史十分有意思。 第二部分介紹瞭編程語言的類型係統。 第三部分是全書精華所在，介紹瞭Qi語言的編譯器實現及其理論基礎，涉及Lambda Calculus，Pattern Matching，Sequent Calculus，Abstract Unification Machine，以及type checker。 FPer們快來看這本書！

Qi是建造在Common Lisp上的一門語言，是一門極為強大的語言，其可選的類型係統是圖靈完全的。 第一章追溯瞭編程語言分化成今天procedural(如C/C#/Java，受圖靈機計算模型影響)以及declarative(如Lisp/Prolog/Haskell，受丘奇的lambda算子理論影響)兩個陣營的曆史，其中不少黑曆史十分有意思。 第二部分介紹瞭編程語言的類型係統。 第三部分是全書精華所在，介紹瞭Qi語言的編譯器實現及其理論基礎，涉及Lambda Calculus，Pattern Matching，Sequent Calculus，Abstract Unification Machine，以及type checker。 FPer們快來看這本書！

Qi是建造在Common Lisp上的一門語言，是一門極為強大的語言，其可選的類型係統是圖靈完全的。 第一章追溯瞭編程語言分化成今天procedural(如C/C#/Java，受圖靈機計算模型影響)以及declarative(如Lisp/Prolog/Haskell，受丘奇的lambda算子理論影響)兩個陣營的曆史，其中不少黑曆史十分有意思。 第二部分介紹瞭編程語言的類型係統。 第三部分是全書精華所在，介紹瞭Qi語言的編譯器實現及其理論基礎，涉及Lambda Calculus，Pattern Matching，Sequent Calculus，Abstract Unification Machine，以及type checker。 FPer們快來看這本書！