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

●目錄章  Lua  1天：開始歷險  1本周日程  2Lua一覽  3安裝Lua  3交互式開發  3初窺  4Lua基礎  5表達式  6函數  7具名參數  10控制流程  10變量  11離開REPL  12天我們學了什麼  13輪到你了  13第二天：深入了解Table  14Table當作字典用  14穿著數組外衣的字典  16metatables  17自制面向對像繫統  21協程  25多任務  26Lua作者Roberto  Ierusalimschy訪談  29第二天我們學了什麼  30輪到你了  31第三天：真實世界中的Lua  32制作音樂  33為歷險做準備  33創建項目  34添加聲效  36從音符到歌曲  39多聲道  43Canon  in D  45第三天我們學了什麼  46輪到你了  46Lua小結  47優勢  47劣勢  47終章  48第2章  Factor  49天：棧，棧  50天我們學到了什麼  59第二天：更進一步  61運行獨立的程序  6測試  67Factor的創建者Slava·Factor的采訪  69第二天我們學到了什麼？  70輪到你了  71第三天：乘風破浪，搏擊長空  組  組構造器  73為購物車結賬  74把命令組裝成流水管道  75重新回顧FizzBuzz遊戲  78與生俱來以下功能  81編輯器集成  82演示  83第三天我們學了什麼  83輪到你了  84總結Factor  84第3章  Elm  86天：掌握基礎  87第二天：馴服回調  97第三天：一切都是遊戲  107Elm總結  119第4章  Elixir  120天：夯實基礎  121安裝Elixir  121所以說……它是Ruby++，對嗎  122不，不是Ruby  122編寫函數  124使用管道組織程序  125使用模塊  126命名函數  127do構造塊  127使用map  129list  130for推導  133keyword  List  134函數語法糖  135天我們學到了什麼  135第二天：控制變化  137Mix  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第三天自習  161Exlir總結  162優勢  162弱點  163最後的思考  163第5章  Julia  164天：無謂的反抗  165安裝Julia  165內置類型  166天我們學到了什麼？  175輪到你了  175第二天：吸收  176控制流  176用戶定義類型和函數  178並發  182采訪Julia的創始人：Jeff  Bezanson, StefanKarpinski,  Viral Shah, Alan Edelman  185我們第二天學到了什麼？  186輪到你了  187第三天：打成一片  187轉換代碼而不是數據  188圖像切處和切塊  191第三天我們學到了什麼？  196輪到你了  196Julia總結  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輪到你了  228miniKanren的回顧  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

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

美Bruce A. Tate 泰特 Fred Daoud 達烏德 Ian Dees 迪斯 Jack Moffitt 墨菲特 著 7ML翻譯組 譯