2.3 之乎者也 — 也 (矣﹑焉)
一﹕初探之四
現在讓我們從函數引申出來的函子/論元觀點來解析上述「也」字的用法。用初級計算機科學編程的語言來說,函子就是一個具有函數功能的物件 (object),方便我們使用﹔它的功能就是讓我們可以召喚 (call) 或引動 (invoke) 一個函數。所謂「召喚一個函數」或「引動一個函數」就是要所使用的程序執行該函數﹔例如有一函數為下述的兩數相加運算﹕
我們可以如下召喚該函數﹕
從而得出 (return) 7﹔後者就是呼叫該函數後的返回值。如將論域設為自然數,一個適當的函數的返回值便是一個自然數﹔如將論域設為語構型,一個適當的函數的返回值便是一個語構型。在函算語法的框架內,這個返回值是語構型。
__________
待續