暢銷技術圖書“七周七”繫列新佳作
深入研習對未來編程具有重要意義的7種語言
Lua、Factor、Elixir、Elm、Julia、Idris和MiniKanren
當你深入學習本書所介紹的每一種語言時，你將能夠對語言的抽像和原理一窺門徑，而這對於你用任何語言編寫更好的程序都頗有幫助。
通過“七周七”繫列中的這本新圖書，你可以按部就班地學習當前重要的編程範型。你將會學習7種令人激動的語言： Lua 、Factor 、Elixir 、Elm 、Julia 、Idris 和miniKanren。

本書將拓展你的視野，教你如何使用多核和分布來解決問題。在每一種語言中，你將使用構成該語言的獨特技術來解決一個不尋常的問題。用Elm而不使用一個回調來編寫一款功能完備的遊戲，用miniKanren編一個寫故事的程序，用Lua編寫自己的音樂播放程序，用Julia編寫一個圖像壓縮程序，用Idris實現數學中的證明，用Factor編寫一個解謎遊戲。讀完本書，你將會掌握7種完全不同的語言，從其中的每一種語言，都能學到一些重要的技術。

本書帶領讀者認識和學習了7種編程語言，旨在幫助讀者探索更為強大的編程工具。
本書延續了同繫列的暢銷書《七周七語言》《七周七數據庫》和《七周七Web開發框架》的體例和風格。全書共8章，前7章介紹了Lua、Factor、Elm、Elixir、Julia、miniKanren和Idris共計7種編程語言，後一章總結回顧了所有的知識點。書中對每一種編程語言的介紹，都為編程開發帶來了獨特而強大的思路。除此之外，書中還提供了一繫列代碼示例和在線資源以供參考。
本書適合有一定基礎的開發人員閱讀，能夠幫助讀者拓寬思路，激發更多的靈感。

Bruce Tate，icanmaketibetter.com的CTO，十多本技術圖書的作者（包括《Seven Languages in Seven Weeks》）。也是“七周七”繫列圖書的編輯。
Fred Daoud 熱愛函數式編程，他和Jack Moffitt共同編著了《Seven Web
Frameworks in Seven Weeks》。
Ian Dees 在波特蘭市的一家測試設備生廠商從事編碼和測試工作。他是《Cucumber
Recipes》一書的合著者。Jack Moffitt是Mozilla Research的高級研發工程師，負責用Mozilla的新的Rust語言編寫的一款實驗性的瀏覽器引擎（名為Servo）。

目錄

第1章Lua1
第一天：開始歷險1
本周日程2
Lua一覽3
安裝Lua3
交互式開發3
初窺4
Lua基礎5
表達式6
函數7
具名參數10
控制流程10
變量11
離開REPL12
第一天我們學了什麼13
輪到你了13
第二天：深入了解Table14
Table當作字典用14
穿著數組外衣的字典16
metatables17
自制面向對像繫統21
協程25
多任務26
Lua作者RobertoIerusalimschy
訪談29
第二天我們學了什麼30
輪到你了31
第三天：真實世界中的Lua32
制作音樂33
為歷險做準備33
創建項目34
添加聲效36
從音符到歌曲39
多聲道43
Canonin D45
第三天我們學了什麼46
輪到你了46
Lua小結47
優勢47
劣勢47
終章48
第2章Factor49
第一天：棧，棧50
第一天我們學到了什麼59
第二天：更進一步61
運行獨立的程序64Factor的創建者Slava·Factor的
采訪69
第二天我們學到了什麼？70
輪到你了71
第三天：乘風破浪，搏擊長空72<組72<組構造器73
為購物車結賬74
把命令組裝成流水管道75
重新回顧FizzBuzz遊戲78
與生俱來以下功能81
編輯器集成82
演示83
第三天我們學了什麼83
輪到你了84
總結Factor84
第3章Elm86
第一天：掌握基礎87
第二天：馴服回調97
第三天：一切都是遊戲107
Elm總結119
第4章Elixir120
第一天：夯實基礎121
安裝Elixir121
所以說……它是Ruby++，
對嗎122
不，不是Ruby122
編寫函數124
使用管道組織程序125
使用模塊126
命名函數127
do構造塊127
使用map129
list130
for推導133
keywordList134
函數語法糖135
第一天我們學到了什麼135
第二天：控制變化137
Mix137
從138
使用struct為字段命名139
創建具體行為140
為狀態機建模141
添加狀態機行為142
尋找模式143
編寫測試144
使用宏實現should145
編寫更多的測試146
編寫一個復雜的宏147
理解編譯期流程148
構造一個骨架148
理解編譯期流程，第2部分150
使用狀態機152
第二天我們學到了什麼152
第三天：衍生和重生154
衍生進程155
構建一個OTP應用156
在終端中使用OTP158
可靠性監護159
第三天我們學到了什麼161
第三天自習161
Exlir總結162
優勢162
弱點163
最後的思考163
第5章Julia164
第一天：無謂的反抗165
安裝Julia165
內置類型166
第一天我們學到了什麼？175
輪到你了175
第二天：吸收176
控制流176
用戶定義類型和函數178
並發182
采訪Julia的創始人：JeffBezanson， Stefan
Karpinski，Viral Shah， Alan Edelman185
我們第二天學到了什麼？186
輪到你了187
第三天：打成一片187
轉換代碼而不是數據188
圖像切處和切塊191
第三天我們學到了什麼？196
輪到你了196
Julia總結197
優勢197
劣勢198
最後的思考198
第6章miniKanren199
第一天：代碼的一致性匹配199
安裝core．logic200
目標一定要成功201
使用關繫202
用因子編程204
平行宇宙206
咒語的秘密207
第一天我們學到了什麼208
輪到你了209
第二天：混合邏輯與函數210
模式，那裡都是模式210
用上散列圖212
另一種判定213
對DavidNolen的采訪216
第二天我們學到了什麼217
輪到你了218
第三天：用邏輯來寫故事218
用有限域編程219
神奇的故事221
第三天我們學到了什麼228
輪到你了228
miniKanren的回顧229
優勢229
劣勢230
寫在最後230
第7章Idris231
第一天：基礎232
安裝Idris232
理解基礎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
結束Idris262
第8章總結264
起源264
中央高速公路265
前沿267
髒地圖268
最後的挑戰270