七周七語言 捲2 (Seven More Language in Seven Weeks) 七周七语言(卷2)

泰特 (Bruce A.Tate), Fred Daoud, Ian Dees, Jack Moffitt

  • 出版商: 人民郵電
  • 出版日期: 2016-12-01
  • 定價: $354
  • 售價: 8.4$296
  • 語言: 簡體中文
  • 頁數: 270
  • 裝訂: 平裝
  • ISBN: 7115427356
  • ISBN-13: 9787115427359
  • 相關分類: 程式語言
  • 立即出貨 (庫存 < 3)

買這商品的人也買了...

商品描述

<內容簡介>


本書帶領讀者認識和學習了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
重新回顧FizzBu​​zz遊戲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