- Quỏ trỡnh tớnh ∆i j VD: tớnh ∆ 2 4, Tớnh:
2. BIỂU THỨC KIỂU (type expressions)
Kiểu của một cấu trỳc ngụn ngữ được biểu thị bởi “biểu thức kiểu”. Một biểu thức kiểu cú thể là một kiểu cơ bản hoặc được xõy dựng từ cỏc kiểu cơ bản theo một số toỏn tử nào đú.
Ta xột một lớp cỏc biểu thức kiểu như sau: 1). Kiểu cơ bản:
Gồm boolean, char, interger, real. Cú cỏc kiểu cơ bản đặc biệt là type_error
(để trả về một cấu trỳc bị lỗi kiểu), void (biểu thị cỏc cấu trỳc khụng cần xỏc định kiểu như cõu lệnh).
+ Mảng: Nếu T là một biểu thức kiểu thỡ array(I,T) là một biểu thức kiểu đối với một mảng cỏc phần tử kiểu T và I là tập cỏc chỉ số.
Vớ dụ, trong ngụn ngữ Pascal khai bỏo: var A: array[1..10] of interger; sẽ xỏc định kiểu của A là array(1..10,interger)
+ Tớch của biểu thức kiểu: là một biểu thức kiểu. Nếu T1 và T2 là cỏc kiểu biểu thức kiểu thỡ tớch Đề cỏc của T1xT2 là một biểu thức kiểu.
+ Bản ghi: Kiểu của một bản ghi chớnh là biểu thức kiểu được xõy dựng từ cỏc kiểu của cỏc trường của nú.
Vớ dụ trong ngụn ngữ Pascal:
type row=record address: interger;
lexeme: array[1..15] of char; end;
var table: array[1..101] of row;
như vậy một biến của row thỡ tương ứng với một biểu thức kiểu là: record((address x interger) x (lexeme x array(1..15,char)))
+ Con trỏ: Giả sử T là một biểu thức kiểu thỡ pointer(T) là một biểu thị một biểu thức kiểu xỏc định kiểu cho con trỏ của một đối tượng kiểu T.
Vớ dụ, trong ngụn ngữ Pascal: var p: ^row thỡ p cú kiểu là pointer(row)
+ Hàm: Một hàm là một ỏnh xạ từ cỏc phần tử của một tập vào một tập khỏc. Kiểu một hàm là ỏnh xạ từ một kiểu miền D vào một kiểu phạm vi R. Biểu thức kiểu cho một hàm như vậy sẽ được ký hiệu là D->R.
Vớ dụ trong ngụn ngữ Pascal, một hàm khai bỏo như sau: function f(a,b:interger): ^interger;
cú kiểu miền là interger x interger và kiểu phạm vi là pointer(interger). Và như vậy biểu thức kiểu xỏc định kiểu cho hàm đú là: 0 interger x interger -> pointer(interger)