Misalnya, dalam bahasa fungsional, variabel adalah penugasan tunggal dan nilainya tidak berubah setelah ditetapkan. Jadi mereka memiliki dua negara tidak terikat dan terikat , sekali terikat mereka tidak dapat diubah.
Apakah ada istilah matematika atau istilah ilmu komputer lainnya yang paling sesuai untuk hal seperti itu? Sesuatu yang secara semantik tidak menyiratkan varians atau mutabilitas.
Jika tidak ada tidak ada istilah seperti dan jika Anda merancang bahasa yang memiliki konstruksi seperti itu, apa selain variabel kata yang akan Anda gunakan untuk ini?
Saya tidak benar - benar mencari polling untuk ide-ide, saya mencoba mencari tahu apakah sudah ada istilah industri (industri apapun) yang diterima untuk hal semacam itu.