|
-- 會員 / 註冊 --
|
|
|
|
七周七語言 卷2 ( 簡體 字) |
作者:美Bruce A. Tate 泰特 Fred Daoud 達烏德 Ian Dees 迪斯 Jack Moffitt 墨菲特 | 類別:1. -> 程式設計 -> 綜合 |
譯者: |
出版社:人民郵電出版社 | 3dWoo書號: 45774 詢問書籍請說出此書號!【缺書】 NT售價: 295 元 |
出版日:12/1/2016 |
頁數:270 |
光碟數:0 |
|
站長推薦: |
印刷:黑白印刷 | 語系: ( 簡體 版 ) |
|
加入購物車 │加到我的最愛 (請先登入會員) |
ISBN:9787115427359 |
作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
(簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
作者序: |
譯者序: |
前言: |
內容簡介: 本書帶領讀者認識和學習了7種編程語言,旨在幫助讀者探索更為強大的編程工具。 本書延續了同系列的暢銷書《七周七語言》《七周七數據庫》和《七周七Web開發框架》的體例和風格。全書共8章,前7章介紹了Lua、Factor、Elm、Elixir、Julia、miniKanren和Idris共計7種編程語言,后一章總結回顧了所有的知識點。書中對每一種編程語言的介紹,都為編程開發帶來了獨特而強大的思路。除此之外,書中還提供了一系列代碼示例和在線資源以供參考。 本書適合有一定基礎的開發人員閱讀,能夠幫助讀者拓寬思路,激發更多的靈感。
|
目錄:第1章 Lua 1 第一天:開始歷險 1 本周日程 2 Lua一覽 3 安裝Lua 3 交互式開發 3 初窺 4 Lua基礎 5 表達式 6 函數 7 具名參數 10 控制流程 10 變量 11 離開REPL 12 第一天我們學了什么 13 輪到你了 13 第二天:深入了解Table 14 Table當作字典用 14 穿著數組外衣的字典 16 metatables 17 自制面向對象系統 21 協程 25 多任務 26 Lua作者Roberto Ierusalimschy 訪談 29 第二天我們學了什么 30 輪到你了 31 第三天:真實世界中的Lua 32 制作音樂 33 為歷險做準備 33 創建項目 34 添加聲效 36 從音符到歌曲 39 多聲道 43 Canon in D 45 第三天我們學了什么 46 輪到你了 46 Lua小結 47 優勢 47 劣勢 47 終章 48 第2章 Factor 49 第一天:棧,棧 50 第一天我們學到了什么 59 第二天:更進一步 61 運行獨立的程序 64 寫單元測試 67 Factor的創建者Slava·Factor的 采訪 69 第二天我們學到了什么? 70 輪到你了 71 第三天:乘風破浪,搏擊長空 72 元組 72 元組構造器 73 為購物車結賬 74 把命令組裝成流水管道 75 重新回顧FizzBuzz游戲 78 與生俱來以下功能 81 編輯器集成 82 演示 83 第三天我們學了什么 83 輪到你了 84 總結Factor 84 第3章 Elm 86 第一天:掌握基礎 87 第二天:馴服回調 97 第三天:一切都是游戲 107 Elm總結 119 第4章 Elixir 120 第一天:夯實基礎 121 安裝Elixir 121 所以說……它是Ruby++, 對嗎 122 不,不是Ruby 122 編寫函數 124 使用管道組織程序 125 使用模塊 126 命名函數 127 do構造塊 127 使用map 129 list 130 for推導 133 keyword List 134 函數語法糖 135 第一天我們學到了什么 135 第二天:控制變化 137 Mix 137 從具體到元 138 使用struct為字段命名 139 創建具體行為 140 為狀態機建模 141 添加狀態機行為 142 尋找模式 143 編寫測試 144 使用宏實現should 145 編寫更多的測試 146 編寫一個復雜的宏 147 理解編譯期流程 148 構造一個骨架 148 理解編譯期流程,第2部分 150 使用狀態機 152 第二天我們學到了什么 152 第三天:衍生和重生 154 衍生進程 155 構建一個OTP應用 156 在終端中使用OTP 158 可靠性監護 159 第三天我們學到了什么 161 第三天自習 161 Exlir總結 162 優勢 162 弱點 163 最后的思考 163 第5章 Julia 164 第一天:無謂的反抗 165 安裝Julia 165 內置類型 166 第一天我們學到了什么? 175 輪到你了 175 第二天:吸收 176 控制流 176 用戶定義類型和函數 178 并發 182 采訪Julia的創始人:Jeff Bezanson, Stefan Karpinski, Viral Shah, Alan Edelman 185 我們第二天學到了什么? 186 輪到你了 187 第三天:打成一片 187 轉換代碼而不是數據 188 圖像切處和切塊 191 第三天我們學到了什么? 196 輪到你了 196 Julia總結 197 優勢 197 劣勢 198 最后的思考 198 第6章 miniKanren 199 第一天:代碼的一致性匹配 199 安裝core.logic 200 目標一定要成功 201 使用關系 202 用因子編程 204 平行宇宙 206 咒語的秘密 207 第一天我們學到了什么 208 輪到你了 209 第二天:混合邏輯與函數 210 模式,那里都是模式 210 用上散列圖 212 另一種判定 213 對David Nolen的采訪 216 第二天我們學到了什么 217 輪到你了 218 第三天:用邏輯來寫故事 218 用有限域編程 219 神奇的故事 221 第三天我們學到了什么 228 輪到你了 228 miniKanren的回顧 229 優勢 229 劣勢 230 寫在最后 230 第7章 Idris 231 第一天:基礎 232 安裝Idris 232 理解基礎 233 原生類型和表達式 233 函數 234 定義數據類型 236 第一天我們學到了什么 240 輪到你了 240 第二天:開始使用依賴類型 241 理解依賴類型 241 派生依賴類型 243 閏年里的日期限定 245 第二天我們學到了什么 248 輪到你了 248 第三天:依賴類型實踐 249 智能補全 249 證明完畢,親愛的華生 251 交互式證明 252 下一步 254 證明為我們做了什么 256 現實世界 257 一段亂糟糟的C++代碼 257 指稱設計 258 回顧 259 改善 260 輪到你了 261 結束Idris 262 第8章 總結 264 起源 264 中央高速公路 265 前沿 267 臟地圖 268 最后的挑戰 270
|
序: |
|