這是目前庫存的haskell裡面最後一篇文啦><
在本文中，會介紹如何在haskell中定義新的型別，並介紹在Prelude中就包含的各種型別與型別建構子。
接著會簡單解釋這種型別的建構被稱為 ADT。
在文末會提到如何用純的FP來實作這些看似不是很FP的東西。

上學期忙翻天了所以根本沒空寫部落格QQ
就這樣快過了一年了
這學期忙到上禮拜總算結束掉了選訓營
不管有沒有IOI這裡理論上應該都會比之前活絡

喔呼連續發兩篇文呢><
在這篇文中主要會介紹定義函式時會使用的語法
然後這應該是最後一篇單純介紹語法的Haskell簡介了><

函式定義

在Haskell中定義函式的方法很簡單，例如若要定義一個平方函式，只要square x = x^2即可。
注意Haskell的函數必須是小寫字母開頭，而大寫字母開頭的東西被留給型別的建構子。
一般而言為了避免一些不必要的問題，在寫函式時會指定他的型別，如

1
2

square :: Int -> Int
square x = x^2

balbit說模考前應該耍廢，所以我就暫停做題然後熬夜打了這篇。（等等好像哪裡不太對

因為想要趕快進入有趣的地方，所以把入門的東西通通塞進來了，不過對初學者而言這樣應該就足夠玩很久了？
預設是下一篇把拉里拉雜的函式語法講完，以及在Prelude^[1]裡面的各種神奇資料結構。
之後就可以開始玩有趣的東西了><
不過依照一年一篇的速度不知道那是什麼時候了Q

雖然就上一篇的內容，好像FP是最近才被發明的新東西，但事實上FP和OOP都是五零年代的產物。但OOP在八零年代便開始盛行，FP卻一直到最近才開始在商業使用上慢慢出現。在此之前，FP一直都是為了學術討論而開發。以下我們來聊聊FP在學術領域的歷史。

在十九世紀末，數學正在漸漸公理化。從定義出嚴格的一階邏輯的公理、集合論的ZF公理，數學家開始推行著希爾伯特計畫，希望能將數學利用公理系統進行嚴謹的證明。為了這個目的，各種形式系統開始層出不窮。我在本系列會提到的是以下兩者：

• λ演算(λ-calculus)：三零年代由邱奇(Alonzo Church)提出，進行λ項的建構與歸約。
• 組合子邏輯(Combinatory logic)：五零年代由柯里(Haskell Brooks Curry^[1])提出，將λ演算中的抽象化移除，並用組合子取代。

Haskell是一個強靜態型別純函式程式語言，於1990年自Miranda分化出來。
在開始介紹Haskell以前，我們先來聊聊Haskell最重要的概念：函式程式設計(FP, functional programming)。

事實就是這樣啦
我開了一個新的blog
可是大概要等到七月中出國回來才會開始更
除非我按捺不住了XD

如你所見 用的是老掉牙的hexo + NexT + GitHub Pages
然後在暑假 大概會有兩系列的文章