分享一下我老師大神的人工智慧教程！零基礎，通俗易懂！http://blog.csdn.net/jiangjunshow

也歡迎大家轉載本篇文章。分享知識，造福人民，實現我們中華民族偉大復興！

               

這個世界有很多的語言, 不同的語言適合不同的情境, Ruby因為很適合開發領域語言(DSL), 所以被大衛選擇用於開發Rails, JavaScript因為常用非同步模型和方便的回撥處理, 被Ryan Dah用於開發node, 而JAVA期望通過JVM一次編寫, 隨處執行. 各種語言因為不同的目標場景, 也使得語言本身的特性趨於目標場景, 決定了這些語言應該是什麼樣子, 比如C++因為效率的考慮和相容C的需求, 決定了C++之所以成為現在的C++.
同時也有很多語言是為生成另外一種語言而生的, 最典型的就是

CoffeeScript, 我知道我的語言要更加優美, 但是我也知道我無法徹底替代你, 這是這個世界中習慣和慣性帶來的悲哀, 所以, 不能替代你, 那我首先通過生成你來取代你. 這就是Coffee這樣語言的思路. 因為JavaScript是如此的不好用和難以簡單替代, 所以成為了這類語言的競技場.
但是, Haxe就更加誇張了, 他也是一種通過生成其他語言而生的語言, 只不過, 他可以生成多達7種不同的語言.

• Haxe簡單介紹
• 環境
• 生成C++初體驗
• 生成JavaScript With nodejs
• Haxe入門
  • 變數和型別
  • 函式
  • 操作符
  • 流程控制
  • 作用域
• Haxe特性
  • 基於模版(class-based)的類和介面模型(類似JAVA)
  • 靜態型別但是有對動態型別的支援
    • 引數化動態型別
  • 包和模組的直接支援
  • 泛型
    • 泛型引數限制
  • 對所有變數適用的先進型別推導, 包括函式引數, 返回值(除了類成員變數)
  • 具有結構化繼承的匿名結構
  • 嚴格靜態的函式型別, 閉包和偏函式
  • 有限制的多型函式
  • 函式的可選引數和預設引數
  • 指定的行內函數和常量的內聯
• 可以使用this的匿名函式
  • 自動閉包建立
  • 強大的列舉型別, 有建構函式引數和模型匹配
  • 沒有宣告, 只有表示式
  • 異常(try/catch)
  • 元資料
  • 偏函式
  • Getter/Setter
  • 使用using的Mixin方法注入
  • 巨集條件編譯
  • 迭代器
  • 巨集
• 其他特性
  • 反射
  • 陣列解析(Array Comprehension)(3.0特性)
  • 正則表示式
  • 內建單元測試元件
  • 一些內建的元資料
• 缺點
• 總結

Haxe簡單介紹

One language, everywhere.
– Haxe’s slogan

Haxe可能是我學習的最冷門的語言了, 不過因為Haxe的特性, 他再冷門, 我在實際中用到他的可能性都應該比Lisp要強的多. 我可以這麼說, Haxe可能是世界上最有野心的語言, 並且它還真的部分做到了. 其實Haxe與我還真有些淵源, 因為我以前的leader出來創業, 最後選擇的就是Haxe. 並且對它的適用性和成熟程度都很認可, 甚至還向我推薦過.
Haxe起源於flash社群, 號稱’multiplatform language’, 據說是一個喜歡OCaml但是又知道OCaml實在無法推廣的法國人Nicolas Cannasse開發的, 可以生成的語言如下: (具體的見Haxe的intro)

• JavaScript: 直接生成單個的.js檔案, 支援DOM API.
• Flash: 直接可以生成swf, 相容Flash Players 6到11.
• NekoVM: 可以直接編譯成NekoVM的位元組碼. NekoVM本來就挺冷門的.
• PHP: 很難想象哪個真的Phper會準備用Haxe替代掉自己的語言.
• C++: 生成原始碼並且包含Makefiles, 另外, 提到了一個名為NME的2D跨平臺遊戲庫. 簡單的看了一下, 從特性上看, 似乎是除了Cocos2D-X以外一個較為不錯的選擇, 而從一些介紹看, 這個庫本似乎是一個模仿Flash的庫, 因為使用了Haxe這個神奇的語言, 所以現在已經支援了從iOS到Android到Windows等眾多平臺了.
• C#和JAVA: 2.1以後開始支援, 但是還在實驗中, 官方稱在3.0時才算成熟.

因為能生成這麼多語言, 所以Haxe可以支援一些我們經常用到的框架和庫, 比如NodeJS, 比如直接生成PHP程式碼結合Apache做後臺, 比如生成C++程式碼以直接支援跨平臺的遊戲開發.
以上的事實已經足夠讓我震驚了, 更逆天的是Haxe竟然還有自己的著色器語言解決方法, hxsl, 什麼叫征服世界, 那就是不僅要征服CPU上執行的語言, 還要征服GPU上執行的語言~~~
總的來說, Haxe就是希望自己能幹任何事情, 而按它的理念, 它還真的有可能有一天能做到, 語言的世界很殘酷, 各種語言都有他最適合的情景, 沒有一種語言能統一世界, 但是假如真有的話, Haxe一定是最可能的那一個. 事實上, 我說Haxe的野心大並不是貶義, 這是事實上Nicolas腦海中存在的概念, 他自己就做過一個講座, 名字就叫Plans for World Domination(youtube視訊 — 請自備梯子), Haxe就是他佔領世界的計劃~~

在官方的Why user Haxe文件中提到了用Haxe的以下理由:

• 適用於客戶端, 服務端和桌面程式開發的ECMA風格的程式語言.
• 極為快速的編譯(這似乎不是理由, 因為不用Haxe都不用多出這道編譯流程, 更何況, 我實際感受是其實也沒有那麼快, 特別是編譯成C++的時候)
• 型別檢測的好處(事實上喜歡動態語言的人就是因為喜歡沒有型別檢測帶來的自由)
• 為你的目標平臺增加需要的語言特性.
• 開源

其中提到的乾貨不多, 其實我覺得支援編譯到多種語言, 所以支援多種平臺, 使得只需要學習一種語言就能適用於幾乎任何環境, 這就是最大並且足夠強大的理由了.

環境

Haxe 2.1, 我會通過生成C++程式碼和JavaScript程式碼來觀察結果. 其中JavaScript我用的不是HTML, 而是我可能稍微熟悉一點的Node, 所以還用了Hx-node這個haxe對nodejs的支援庫.
另外, 有Haxe的REPL環境ihx, 和官方提供的在網頁上嘗試Haxe的http://try.haxe.org/

生成C++初體驗

從簡單的HelloWorld開始吧:
HelloWorld.hx:

class HelloWorld {  public static function main() {    trace("Hello World!");  }}

從例子中能夠看到, 原來所謂的ECMA風格就是類似C#和JAVA的風格…
我用來編譯成cpp的.hxml配置是cpp.hxml:

-main HelloWorld-cpp cpp-debug-D HXCPP_M64

通過haxe cpp.hxml命令給我的生成結果是在cpp目錄下的一堆檔案, 其中cpp/src目錄下看到有100多行C++程式碼, 我甚至都不想現在就全都弄懂. 不過還好的是給我的執行檔案的確輸出了HelloWorld.

生成JavaScript With nodejs

首先需要通過haxelib install nodejs命令來安裝haxe的nodejs庫. 然後通過以下配置(我命名為nodejs.hxml)編譯上例中的HelloWorld.hx生成想要的.js檔案.

-main HelloWorld-js helloworld.js-debug-lib nodejs

通過haxe nodejs.hxml命令會生成兩個檔案, 一個是helloworld.js, 一個是helloworld.js.map(用於debug), 此時通過node helloworld.js能看到輸出結果正常. 當然, 首先你得把node安裝好.

Haxe入門

變數和型別

支援以下型別:

• Integer(int): 整數型別, 不支援更進一步詳細的整數型別,比如short, long啥的, 類似動態語言的做法.
• Float: 浮點數, 也是一個浮點走天下.
• Boolean(Bool): 布林, 代表的是true和false.
• String: 字串, 不解釋.
• Void: 用於表示沒有型別和值.
• Dynamic: 類似C#中的dynamic型別, 意圖在靜態語言中加入動態的效果, 個人很欣賞的嘗試.
• Unknown: 類似javascript中的undefined.

另外, 還有null關鍵字, 型別是Unknown<0>.

定義一個變數的語法和UnityScript(Unity中的JavaScript)類似(或者說JScript), 我甚至懷疑javascript2將來就會是這個樣子.

var i : Int = 5;

不過還是有個區別, 那就是當同樣使用簡化的語法時:

var i = 5;

Haxe使用的是類似C++和C#的型別推導技術, 也就是說型別會在編譯器決定, 不影響執行效率, 而UnityScript則不一樣, 會影響執行效率. 就這點來說, Haxe是足夠先進的.
同時, 作為現代語言, String的連線操作符是沒啥問題的.

class HelloWorld {  public static function main() {    var hello = "Hello,";    var world = "World!";    trace(hello + world);  }}

自從發現javascript和C#的扭曲特性後, 我總是喜歡用1 + "1"的操作來實驗一個語言, 很不幸的是, Haxe就是這樣中招的語言, 會無錯誤的輸出11.

函式

用的還是類似UnityScript的方式, 使用function關鍵字, 同時用str:String這樣的方式來表示引數型別, 通過把:Int加到函式定義語句的結尾來表示返回值, 熟悉UnityScript的XD是無障礙了.

class HelloWorld {  static function add(n1 : Int, n2 : Int) : Int {    return n1 + n2;  }  public static function main() {    trace( add(3,4) );  }}

操作符

沒有看到操作符過載的內容, 但是支援常見操作符, 包括>>>這個javascript特有的和C系的++, --等.

流程控制

基本上該有的都有, while, do-while, for-in, switch. 不過也沒有啥亮點. 有些詭異的是去掉了常規的for, 即for(int i=0; i<length; ++i)形式的for語句. 不知道是為什麼. 倒是避免了javascript中for塊變數作用域的問題.
稍微值得一提的是switch的自動break, case支援常量字串和用逗號分隔的多路匹配, 現在的語言一般都是從C那兒來的, C特別彆扭的switch也就成為了各大語言改進的物件, 有意思的是, 改進的效果都不一樣, Haxe就是這樣改的:

class HelloWorld {  public static function main() {    var choice : String = "";    while (true) {      choice = Sys.stdin().readLine();      switch( choice ) {        case "y", "Y":          Sys.println("You surely want it!");        case "n", "N":          Sys.println("you don't want it?!");          break;        default:          Sys.println("Not a valid choice.");      }    }  }}

我沒有在case "y"後面使用break, 但是不會執行到下面的case, 而事實上, 後面的那個break是用來從while死迴圈中退出的.
上面的程式碼沒法在js下執行, 因為讀了命令列, 我們得使用nodejs中讀命令列的process模組, 上面的程式碼經過處理就成了下面這樣了:

import js.Node;class HelloWorld {  public static function main() {    Node.process.stdin.resume();    Node.process.stdin.setEncoding('utf8');    Node.process.stdin.on('data', function (chunk) {      var choice : String = chunk.trim();      switch( choice ) {        case "y", "Y":          Node.console.log("You surely want it!");        case "n", "N":          Node.console.log("you don't want it?!");        default:          Node.console.log("Not a valid choice.");      }    });  }}

首先, 因為沒有了while死迴圈, 所以可能得自己加個條件作為退出(這裡沒有), 其次, 為了使用js的模組, 可能得稍微費點周折.

1. 在預先設為Haxe lib的地址git clone https://github.com/cloudshift/hx-node.git nodejs
2. 修改nodejs.hxml, 新增一個-cp YOUR_PATH. 比如我的地址是~haxe_libs, 於是就是-cp ~/haxe_libs/nodejs.

作用域

類作用域和函式作用域不用說了, 好訊息是Haxe有塊作用域, 也就是說, {}範圍內定義的變數只在大括號範圍內有效, 這個很有很有用. 假如不能這樣的話, 需要用javascript扭曲的匿名函式hack, 太扭曲了.

Haxe特性

因為Haxe是如此的冷門, 所以明明本文是講Haxe特性的, 結果也拉入了一堆簡介. 好了， 以下是正題. 我選擇的特性列表直接來自於官方列出的列表Language Features, 沒有什麼比這個更有代表性了.

基於模版(class-based)的類和介面模型(類似JAVA)

Classic Object-Oriented class + interface model (similar to Java)

1. 類的訪問限制只有public和private兩層, 相對一些語言(比如JAVA)還在C++經典的三許可權中去增加一個預設的package不同, Haxe甚至去掉了通常的private, 而把protected稱為private, 並且預設狀態就是private.

新的改變

我們對Markdown編輯器進行了一些功能拓展與語法支援，除了標準的Markdown編輯器功能，我們增加了如下幾點新功能，幫助你用它寫部落格：

1. 全新的介面設計 ，將會帶來全新的寫作體驗；
2. 在創作中心設定你喜愛的程式碼高亮樣式，Markdown 將程式碼片顯示選擇的高亮樣式 進行展示；
3. 增加了 圖片拖拽 功能，你可以將本地的圖片直接拖拽到編輯區域直接展示；
4. 全新的 KaTeX數學公式 語法；
5. 增加了支援甘特圖的mermaid語法¹ 功能；
6. 增加了 多螢幕編輯 Markdown文章功能；
7. 增加了 焦點寫作模式、預覽模式、簡潔寫作模式、左右區域同步滾輪設定 等功能，功能按鈕位於編輯區域與預覽區域中間；
8. 增加了 檢查列表 功能。

功能快捷鍵

撤銷：Ctrl/Command + Z
重做：Ctrl/Command + Y
加粗：Ctrl/Command + B
斜體：Ctrl/Command + I
標題：Ctrl/Command + Shift + H
無序列表：Ctrl/Command + Shift + U
有序列表：Ctrl/Command + Shift + O
檢查列表：Ctrl/Command + Shift + C
插入程式碼：Ctrl/Command + Shift + K
插入連結：Ctrl/Command + Shift + L
插入圖片：Ctrl/Command + Shift + G

合理的建立標題，有助於目錄的生成

直接輸入1次#，並按下space後，將生成1級標題。
輸入2次#，並按下space後，將生成2級標題。
以此類推，我們支援6級標題。有助於使用TOC語法後生成一個完美的目錄。

如何改變文字的樣式

強調文字 強調文字

加粗文字 加粗文字

標記文字

刪除文字

引用文字

H₂O is是液體。

2¹⁰ 運算結果是 1024.

插入連結與圖片

連結: link.

圖片:

帶尺寸的圖片:

當然，我們為了讓使用者更加便捷，我們增加了圖片拖拽功能。

如何插入一段漂亮的程式碼片

去部落格設定頁面，選擇一款你喜歡的程式碼片高亮樣式，下面展示同樣高亮的 程式碼片.

// An highlighted block var foo = 'bar'; 

生成一個適合你的列表

• 專案
  • 專案
    • 專案

1. 專案1
2. 專案2
3. 專案3

• 計劃任務
• 完成任務

建立一個表格

一個簡單的表格是這麼建立的：

專案	Value
電腦	$1600
手機	$12
導管	$1

設定內容居中、居左、居右

使用:---------:居中
使用:----------居左
使用----------:居右

第一列	第二列	第三列
第一列文字居中	第二列文字居右	第三列文字居左

SmartyPants

SmartyPants將ASCII標點字元轉換為“智慧”印刷標點HTML實體。例如：

TYPE	ASCII	HTML
Single backticks	'Isn't this fun?'	‘Isn’t this fun?’
Quotes	"Isn't this fun?"	“Isn’t this fun?”
Dashes	-- is en-dash, --- is em-dash	– is en-dash, — is em-dash

建立一個自定義列表

Markdown

Text-to- HTML conversion tool

Authors

John

Luke

如何建立一個註腳

一個具有註腳的文字。²

註釋也是必不可少的

Markdown將文字轉換為 HTML。

KaTeX數學公式

您可以使用渲染LaTeX數學表示式 KaTeX:

Gamma公式展示 $\Gamma(n) = (n-1)!\quad\forall n\in\mathbb N$ 是通過尤拉積分

$\Gamma(z) = \int_0^\infty t^{z-1}e^{-t}dt\,.$

你可以找到更多關於的資訊 LaTeX 數學表示式here.

新的甘特圖功能，豐富你的文章

gantt
        dateFormat  YYYY-MM-DD
        title Adding GANTT diagram functionality to mermaid
        section 現有任務
        已完成               :done,    des1, 2014-01-06,2014-01-08
        進行中               :active,  des2, 2014-01-09, 3d
        計劃一               :         des3, after des2, 5d
        計劃二               :         des4, after des3, 5d

• 關於 甘特圖 語法，參考 這兒,

UML 圖表

可以使用UML圖表進行渲染。 Mermaid. 例如下面產生的一個序列圖：:

這將產生一個流程圖。:

• 關於 Mermaid 語法，參考 這兒,

FLowchart流程圖

我們依舊會支援flowchart的流程圖：

• 關於 Flowchart流程圖 語法，參考 這兒.

匯出與匯入

匯出

如果你想嘗試使用此編輯器, 你可以在此篇文章任意編輯。當你完成了一篇文章的寫作, 在上方工具欄找到 文章匯出 ，生成一個.md檔案或者.html檔案進行本地儲存。

匯入

如果你想載入一篇你寫過的.md檔案或者.html檔案，在上方工具欄可以選擇匯入功能進行對應副檔名的檔案匯入，
繼續你的創作。

---

1. mermaid語法說明 ↩︎

2. 註腳的解釋 ↩︎