Saboteur

1) Есть ли русскоязычная литература по денотационной семантике?

2) И ещё идут ли каких либо институтах работы в этом направлении?

3) И где данную семантику вообще применяют на практике?

Итак, IMHO, как программист, это главное, что нужно понять: денотационная семантика-это то, как придать математическую "teeth" концепции ссылочной прозрачности, чтобы мы могли дать принципиальные ответы на утверждения о правильности подстановки. В контексте функционального программирования, например, одним из ключевых приложений является: когда мы можем сказать, что два выражения с функциональным значением фактически обозначают функцию "the same", и, таким образом, одно из них может безопасно заменить другое? Классический денотационный ответ- равенство экстенсионалов : две функции равны тогда и только тогда, когда они отображают одни и те же входные данные на одни и те же выходные данные, поэтому нам просто нужно доказать, обозначают ли рассматриваемые выражения экстенсионально эквивалентные функции. Так, например, Quicksort и Bubblesort являются заметно разными аргументами, но денотационно они являются одной и той же функцией.

В контексте реактивного программирования большой вопрос будет заключаться в следующем: когда мы можем сказать, что два разных выражения, тем не менее, обозначают один и тот же поток событий или зависящее от времени значение?

Я понял, что то, что мы называем символами, на самом деле является числовым кодом

а потому символьным литералам выделяется столько же памяти, сколько и типу int (4 байта).

Но я не совсем понял, как в однобайтный char вмещается четырехбайтный символ?

И когда я объявляю char test = 'A'; то сколько в компьютере выделилось памяти: 1 байт или 4?