買這商品的人也買了...
-
$500$450 -
$620$490 -
$1,200$1,140 -
$520$406 -
$320$250 -
$250七周七併發模型
-
$301七周七Web開發框架
-
$280$218 -
$780$616 -
$414$393 -
$352深入理解 ElasticSearch
-
$880$695 -
$580$458 -
$352高性能 Docker
-
$580$452 -
$590$502 -
$520$442 -
$680$537 -
$500$395 -
$360$281 -
$580$458 -
$454Clojure 編程樂趣, 2/e (The Joy of Clojure, 2/e)
-
$420$332 -
$281Azure 機器學習
-
$305Web 前端開發 使用 ASP.NET Core、Angular 和 Bootstrap (Front-end Development with ASP.NET Core, AngularJS, and Bootstrap)
相關主題
商品描述
<內容簡介>
本書帶領讀者認識和學習了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