因為Perl 6其實是希望每個Perl 6的程式設計師可以把這個語言客製化成寫起來最順手的樣子,而且是很深入的,不是只有文法,而是包含語意、本題論等等的這些部分,所以就必須要非常地寬容各種不同看世界的方法,所以Haskell的好處是形別系統是非常具有描述力的,所以會變成是在證明一個數學式的時候,證明的式子就是你的形別,你寫的證明步驟就是你的程式碼本身,所以可以幾乎保證你寫出來的東西正確性,就是不會你寫出一個超出本來預想效果的一段程式,所以語意比較明確,所以當你涵融性這麼高的語言核心,它的語意必須要非常非常地清楚,而且要很容易變成可以抽換的一些有點像對積木的小元件或零件,如果你用英文描述這些的話,就連技術工作者的英文都會出現不夠精確的這件事,所以只有用數學來重新描述Perl 6要做的事,才可以到達Larry想要做的這麼大的精密程度。

Keyboard shortcuts

j previous speech k next speech