ความคิดที่คุณกำลังมองหาเรียกว่าการแสดงออกและ Matthias Felleisen มีความหมายที่เข้มงวดทางคณิตศาสตร์:
" พลังแห่งการเขียนโปรแกรมภาษา "
www.ccs.neu.edu/scheme/pubs/scp91-felleisen.ps.gz (รุ่น Postscript)
สัญชาตญาณเบื้องหลังแนวคิดนี้คือถ้าคุณมีโปรแกรมเทียบเท่าสองโปรแกรมในสองภาษาที่ต่างกัน - พูดว่าโปรแกรม A ในภาษา X และโปรแกรม B ในภาษา Y - และถ้าคุณทำการเปลี่ยนแปลงในท้องถิ่นเป็น A ที่ต้องใช้การเปลี่ยนแปลงระดับโลกเป็น B ดังนั้น X จึงมีความหมายมากกว่า Y
ตัวอย่างหนึ่งที่ Felleisen จัดให้มีคือการมอบหมาย: ในภาษาการเขียนโปรแกรม Scheme คุณสามารถลบโอเปอเรเตอร์การมอบหมายและยังมีภาษาทัวริงที่สมบูรณ์ อย่างไรก็ตามในภาษาที่ถูก จำกัด ดังกล่าวการเพิ่มคุณสมบัติที่จะแปลเป็นภาษาท้องถิ่นหากได้รับอนุญาตจะต้องมีการเปลี่ยนแปลงทั่วโลกในโปรแกรมโดยไม่ได้รับมอบหมาย
การสนทนาของฉันทำให้รายละเอียดบางอย่างง่ายขึ้นและคุณควรอ่านรายงานฉบับเต็ม
เพื่อตอบคำถามอื่น ๆ ของคุณ: คุณสามารถพูดได้ว่า Java นั้นมีความหมายมากกว่าชุดประกอบเนื่องจากคุณสามารถเพิ่มคลาสใหม่ให้กับโปรแกรม Java ของคุณจากนั้นได้รับประโยชน์จาก polymorphism โดยให้ส่วนอื่น ๆ ของโปรแกรมของคุณเรียกใช้ การจัดการข้อยกเว้นเป็นอีกตัวอย่างหนึ่งที่ Java แสดงออกได้ดีกว่าชุดประกอบ: คุณเพียงแค่ต้องเขียนthrowคำสั่งเดียวเพื่อถ่ายโอนการควบคุมกองซ้อน ในระดับประถมศึกษาเพิ่มเติมคุณยังสามารถเพิ่มcaseคำสั่งใหม่ใกล้กับจุดเริ่มต้นของswitchและคุณไม่ต้องกังวลเกี่ยวกับการคำนวณข้ามกระโดดด้วยมือใด ๆ