Pertanyaan yang diberi tag «formal-semantics»

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 menentukan perilaku yang tepat: struct X { val: …

181 reference  dereference  formal-semantics  rust 

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 formal ke Bash sebagai bahasa pemrograman. Misalnya: …

88 bash  formal-semantics