Вопросы с тегом «formal-semantics»

Каковы точные правила автоматической разыменования в Rust?

Я изучаю / экспериментирую с Rust, и при всей элегантности, которую я нахожу в этом языке, есть одна особенность, которая сбивает меня с толку и кажется совершенно неуместной. Rust автоматически разыменовывает указатели при вызове метода. Я сделал несколько тестов, чтобы определить точное...

Семантика для сценариев Bash?

Больше, чем какой-либо другой язык, который я знаю, я «выучил» Bash с помощью Google каждый раз, когда мне что-то нужно. Следовательно, я могу собирать вместе небольшие скрипты, которые, кажется, работают. Тем не менее, я не очень знаю , что происходит, и я надеялся на более формальное введение в...