Trong phần này chúng ta sẽ tìm hiểu các kiểu dữ liệu có trong Haskell.

Khai báo kiểu

Đầu tiên chúng ta phải biết cách khai báo kiểu dữ liệu cho một biến đã. Cú pháp khai báo là:

<tên_biến> :: <tên_kiểu>

Ví dụ:

main :: IO()
a :: Int
b :: Bool
main = return()

Các kiểu cơ bản

Haskell cũng có một số kiểu như trong các ngôn ngữ khác.

Bool

Mang giá trị đúng / sai (True / False). Ví dụ:

main :: IO()

a :: Bool
a = False

b :: Bool 
b = True

main = return()

Int

Đây là kiểu dữ liệu lưu trữ số nguyên có dấu, miền giá trị từ [-2²⁹, 2²⁹-1].

main :: IO()

i :: Int
i = 2020

j :: Int
j = -99999999
main = return()

Integer

Đây cũng là kiểu dữ liệu lưu trữ số nguyên, nhưng có thể lưu những con số rất lớn, thậm chí có thể dùng hết bộ nhớ trong máy để lưu.

main :: IO()
bi :: Integer
bi = 94919521698492921921919551295194198981621984623...
main = return()

Char

Đây là kiểu dữ liệu lưu trữ kí tự. Ví dụ:

main :: IO()
c :: Char
c = 'a'
main = return()

Lưu ý là chúng ta chỉ có thể bọc các kí tự trong cặp dấu nháy đơn ', không phải cặp dấu nháy kép ".

String

Cũng lưu trữ kí tự nhưng là một chuỗi nhiều kí tự.

main :: IO()
c :: String
c = "Phocode - Haskell"
main = return()

Khác với Char, chúng ta phải bọc các chuỗi String trong cặp dấu nháy đôi ".

Float/Double

Đây là kiểu dữ liệu lưu trữ số thập phân, điểm khác biệt là Float chỉ lưu 32 bit còn Double là 64 bit. (Tuy nhiên có nguồn cho biết trong các phiên bản Haskell hiện đại, cả Float và Double đều dùng 64 bit để lưu trữ).

main :: IO()

f :: Float
f = 3.1415

d :: Double
d = 9.9999999999

main = return()

List

Đây là kiểu danh sách. Cũng giống như mảng trong C++ hay Java, list trong Haskell chỉ lưu những phần tử có chung kiểu. Để khai báo một list thì chúng ta dùng cú pháp [tên_kiểu], ví dụ:

main :: IO()
list :: [Int]  -- List số nguyên
list = [1, 2, 3, 4, 5]
main = return()

Tuple

Nếu bạn đã từng lập trình Python thì bạn sẽ quen với kiểu tuple này, chúng ta có thể coi nó đơn giản như là một list nhưng có thể lưu nhiều phần tử với nhiều kiểu dữ liệu khác nhau. Để khai báo tuple thì chúng ta dùng cú pháp (tên_kiểu_1, tên_kiểu_2,.... tên_kiểu_n), khác với list là chúng ta khai báo bao nhiêu kiểu trong tuple thì phải gán chính xác bấy nhiêu phần tử, ví dụ:

main :: IO()
list :: (Int, Int, String)
list = (16, 5, "phocode.com")
-- list = ('a', 5, "Hello") --- Sai vì phần tử đầu tiên sai kiểu
-- list = (1, 2, "Hello", 4, 5) -- Lỗi vì số phần tử là 5 trong khi khai báo chỉ có 3
main = return()

Haskell có thể gán kiểu động

Để linh hoạt hơn trong khai báo biến, chúng ta có thể không cần dùng câu lệnh khai báo kiểu dữ liệu (bằng 2 dấu ::), mà cứ gán dữ liệu rồi Haskell sẽ tự động gán kiểu dữ liệu cho biến đó giùm chúng ta.

main :: IO()
num = 3 -- Int
char = 'a' -- Char
str = "Phocode" -- String
fl = 3.14 -- Float
main = return()

Biến trong Haskell là bất biến

Tức là không thể thay đổi giá trị của biến đó được.

main :: IO()
num = 3
num = 4 -- Lỗi Multiple declaration of 'num'
main = return()