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
章节。