Skip to content

Symbol expression

What is symbol?

"symbol"即"符号"。

wikipedia Symbol (formal)

symbol是一种abstraction、指代

Symbol是一种抽象、指代，它无处不在:

1) 函数的入参可以看做是symbol，它可以指代多种类型的入参

2) polymorphism其实是依赖于symbol的

它使用一个symbol进行指代:

  • single interface to entities of different types
  • use of a single symbol to represent multiple different types

关于此参见wikipedia Polymorphism。

2) formal grammar中，就是 使用symbol expression来描述language的abstract structure

从wikipedia Formal grammar中，可以看到，其中大量的使用symbol。

3) Computer algebra就是使用symbol expression来描述algebra的abstract structure

wikipedia Computer algebra

Formal semantic

参见工程compiler-principle的Formal-semantic章节。

涉及symbol的章节

工程programming-language的Theory\Programming-paradigm\Polymorphism章节

工程programming-language的Theory\Programming-paradigm\Polymorphism\Parametric-polymorphism章节。