Pertanyaan yang diberi tag formal-semantics

Apa aturan auto-dereferencing yang tepat dari Rust?

Saya belajar / bereksperimen dengan Rust, dan dalam semua keanggunan yang saya temukan dalam bahasa ini, ada satu kekhasan yang membingungkan saya dan tampaknya benar-benar tidak pada tempatnya. Karat secara otomatis referensi pointer saat membuat panggilan metode. Saya membuat beberapa tes untuk...

Semantik untuk skrip Bash?

Lebih dari bahasa lain yang saya tahu, saya telah "mempelajari" Bash dengan Googling setiap kali saya membutuhkan sesuatu. Akibatnya, saya bisa menambal bersama skrip kecil yang tampaknya berfungsi. Namun, saya tidak begitu tahu apa yang terjadi, dan saya berharap untuk pengenalan yang lebih...