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

<內容簡介>

本書帶領讀者認識和學習了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