函數最初被設計出來，是用來減輕重複 coding 一段相同的代碼，這之間只有代碼 (方法，Method) 的重用，但還沒有物件導向OO整個Object 的屬性與方法被封裝重用的概念。

函數的定義很簡單，使用 def 這保留字，而其宣告方式如下:

def 函數名(參數名) :

例如:

>>> def print_count(): # 函數宣告
...??? print('Good')
...??? print('Morning')
...??? print('Mr.')
...
>>> print_count()? # 函數調用
Good
Morning
Mr.

函數允許巢狀 Nested 結構，即一個函數的主體 Body 可以呼叫 call 另一個函數， 例如:

>>> def repeat_count(k):
...??? for i in range(1,k):
...????? print_count()
...
>>> repeat_count(2)
Good
Morning
Mr.

對函數 repeat_count(k) 而言，k 是形參 (parameter)，而調用此函數 repeat_count(2) 的 2 是實參(argument)。

在函數的Body內定義的變數 Variable 都是局部的 Local，即它們只有存在函數內，例如:

>>> m = 6
>>> def repeat_count(k):
...??? for i in range(1,k):
...?????? print_count()
...??? m = 3
...
>>> repeat_count(2)
Good
Morning
Mr.
>>> print(m)
6

這範例我們宣告一個全局 Global 變數 m，並且指定 Assign 其值為 6，但在函數repeat_count(k) 同樣宣告一個同名的變數 m，指定其值為 3。，當呼叫調用此函數後，m 的值顯示依然為 6。

函數在被呼叫計算後，可以定義返回值 Return Value (Fruitful Function)。例如:

>>> def repeat_count(k):
...??? for i in range(1,k):
...?????? print_count()
...??? return ('OK')
...
>>> status = repeat_count(2)
Good
Morning
Mr.
>>> print(status)
OK

函數 repeat_count(2) 被呼叫後，將其返回值 'OK' 指定給變數 status。

還有一種函數，自己呼叫自己，此類函數被稱為遞歸(Recursive)函數。例如:

>>> def factorial(n):
...??? if n == 1:
...?????? return 1
...??? else:
...?????? return n * factorial(n - 1)
...
>>> factorial(3)
6
>>> factorial(4)
24
>>> factorial(5)
120

有關遞歸函數的概念較複雜，需另闢章節說明。

/end