История изменений

система типов языка Go описывается в категориальной семантике?

For historical reasons, formal semantics are usually classiﬁed as following one of three main approaches:

[...]

Denotational semantics: Meanings are mathematical objects, typically functions from inputs to outputs. This category of semantics explicitly constructs mathematical models of programming languages.

Наверно описывает, просто никто этого не делал.

Превращаем «семантическими скобками» вещи из языка в вещи модели, то есть ставим нотации в соответствие денотацию — типам, допустим, семантические домены, то есть определённого вида множества, программам — математические (семантические) функции определённого вида (http://repository.upenn.edu/cgi/viewcontent.cgi?article=1887&context=cis_... ). Естественно, что такие множества и функции образуют категорию, а семантические эффекты часто даются монадическими построениями на такой категории (http://homepages.inf.ed.ac.uk/gdp/publications/Domains_a4.ps, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.903, http://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf).

система типов языка Go описывается в категориальной семантике?

http://en.wikipedia.org/wiki/Denotational_semantics

http://en.wikipedia.org/wiki/Domain_theory

ftp://ftp.softlab.ntua.gr/pub/users/nickie/papers/thesis.pdf

For historical reasons, formal semantics are usually classiﬁed as following one of three main approaches:

[...]

Denotational semantics: Meanings are mathematical objects, typically functions from inputs to outputs. This category of semantics explicitly constructs mathematical models of programming languages.

Наверно описывает, просто никто этого не делал.

Превращаем «семантическими скобками» вещи из языка в вещи модели, то есть ставим нотации в соответствие денотацию — типам, допустим, семантические домены, то есть определённого вида множества, программам — математические (семантические) функции определённого вида (http://repository.upenn.edu/cgi/viewcontent.cgi?article=1887&context=cis_... ). Естественно, что такие множества и функции образуют категорию, а семантические эффекты часто даются монадическими построениями на такой категории (http://homepages.inf.ed.ac.uk/gdp/publications/Domains_a4.ps, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.903, http://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf).

система типов языка Go описывается в категориальной семантике?

http://en.wikipedia.org/wiki/Denotational_semantics

http://en.wikipedia.org/wiki/Domain_theory

ftp://ftp.softlab.ntua.gr/pub/users/nickie/papers/thesis.pdf

For historical reasons, formal semantics are usually classiﬁed as following one of three main approaches:

[...]

Denotational semantics: Meanings are mathematical objects, typically functions from inputs to outputs. This category of semantics explicitly constructs mathematical models of programming languages.

Наверно описывает, просто никто этого не делал.

Превращаем «семантическими скобками» вещи из языка в вещи модели, то есть ставим нотации в соответствие денотацию — типам, допустим, семантические домены, то есть определённого вида множества, программам — математические (семантические) функции определённого вида (http://repository.upenn.edu/cgi/viewcontent.cgi?article=1887&context=cis_... Естественно, что такие множества и функции образуют категорию, а семантические эффекты часто даются монадическими построениями на такой категории (http://homepages.inf.ed.ac.uk/gdp/publications/Domains_a4.ps, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.903, http://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf).