مدخل إلى نظام الأنواع

مقدمة

لماذا "1" + 1 في جافاسكريبت تعطي "11"، بينما في بايثون تعطي خطأ؟ وراء هذا يعمل نظام الأنواع. نظام الأنواع هو "قواعد المرور" في لغة البرمجة -- فهو يحدد كيف يمكن استخدام البيانات، ومن يمكنها التفاعل مع من، ومتى يتم التحقق من الصحة. فهم نظام الأنواع يساعدك على فهم "فروق الشخصية" بين اللغات.

ماذا ستتعلم في هذه المقالة؟

بعد إكمال هذا الفصل، ستكتسب:

قدرة على التصنيف: إتقان طريقة التصنيف الرباعي (ثابت/ديناميكي، قوي/ضعيف)
تشخيص المشكلات: عند رؤية TypeError، تحديد سريع هل هو عدم توافق الأنواع أم تحويل ضمني
اختيار اللغة: فهم لماذا TypeScript مناسب للمشاريع الكبيرة وبايثون للنماذج الأولية السريعة
استنتاج الأنواع: فهم كيف توازن اللغات الحديثة بين البساطة والأمان
وعي تطبيقي: إتقان عادات الترميز الآمنة للأنواع

الفصل	المحتوى	المفهوم الأساسي
الفصل 1	ما هو نظام الأنواع	جوهر الأنواع، لماذا نحتاجها
الفصل 2	ثابت مقابل ديناميكي	وقت الفحص، دعم IDE، الأمان
الفصل 3	قوي مقابل ضعيف	التحويل الضمني، أمان الأنواع
الفصل 4	استنتاج الأنواع	الاستنتاج التلقائي، أفضل ما في العالمين
الفصل 5	الأنماط العامة (Generics)	معلمات النوع، قيود النوع، إعادة الاستخدام
الفصل 6	أمان الأنواع عملياً	الفخاخ الشائعة، استراتيجيات الدفاع
الفصل 7	رباعي الأنواع	التصنيف الرباعي، اختيار اللغة

0. نظرة عامة: الأنواع هي "الهوية" للبيانات

في العالم الحقيقي، لا تضع كتاباً في كوب قهوة -- لأنها أشياء من "أنواع" مختلفة. عالم البرمجة كذلك: أرقام، سلاسل نصية، قيم منطقية، مصفوفات... كل بيانات لها "هوية" تحدد العمليات التي يمكنها المشاركة فيها.

نظام الأنواع هو مجموعة القواعد التي تستخدمها اللغة لإدارة هذه "الهويات". يجيب على سؤالين أساسيين:

السؤالان الأساسيان لنظام الأنواع

متى يتم الفحص؟ عند كتابة الكود (ثابت) أم في وقت التشغيل (ديناميكي)؟
ما مدى الصرامة؟ منع الخلط (قوي) أم التحويل التلقائي (ضعيف)؟

1. ما هو نظام الأنواع: قواعد مرور البيانات

Type System ExplorerStatic vs dynamic · strong vs weak typing · type inference

StrongWeakStaticDynamic

Strong + static

JavaRustHaskell

Weak + static

CC++

Strong + dynamic

PythonRuby

Weak + dynamic

JavaScriptPHP

Strong + static

Strict compile-time checking with no implicit conversion. Very safe and IDE-friendly, but more verbose.

Compile-time checksNo implicit conversionAutocomplete-friendlySafe refactoring

Core idea:Type systems choose along two dimensions: when checks happen (static/dynamic) and whether implicit conversion is allowed (strong/weak). There is no best combination, only the best fit for a scenario.

نظام الأنواع في جوهره مجموعة من قواعد التقييد، يخبر المترجم أو المؤول:

ما القيم التي يمكن أن يخزنها هذا المتغير؟
هل يمكن جمع هاتين القيمتين؟
ما نوع المعلمة التي يجب أن تقبلها هذه الدالة؟

عالم بدون نظام أنواع مثل شارع بدون قواعد مرور -- أي بيانات يمكنها التفاعل مع أي بيانات، بنتائج غير متوقعة تماماً.

وظيفة نظام الأنواع	الشرح	مثال
منع العمليات غير القانونية	حظر العمليات التي لا معنى لها	لا يمكن قسمة سلسلة نصية
توفير التوثيق	الأنواع هي أفضل توثيق	`function add(a: number, b: number)` واضحة
دعم أدوات IDE	إكمال تلقائي، إعادة هيكلة	كتابة `user.` تعرض جميع الخصائص
تحسين الأداء	المترجم يولد كوداً أسرع بمعرفة الأنواع	معرفة أنه عدد صحيح يستخدم تعليمات الأعداد الصحيحة

2. ثابت مقابل ديناميكي: متى يتم الفحص؟

هذا هو البُعد الأكثر أهمية في التصنيف -- وقت الفحص.

🔍 Static vs Dynamic Typing: Live Comparison

Choose a code sample and compare how the two type systems behave

Static typing (TypeScript)⏱ Checked at compile time

let name: string = "Alice"
name = 42  // ❌ compile error

❌ Type "number" is not assignable to type "string"

Dynamic typing (JavaScript)⏱ Checked at runtime

let name = "Alice"
name = 42  // ✅ OK

✅ Runs normally; name becomes 42

💡 Static typing catches the error while you write code. Dynamic typing waits until runtime.

الفرق الأساسي

ثابت: نوع المتغير يُحدد في وقت الترجمة، قبل التشغيل يمكنك اكتشاف أخطاء الأنواع. أمثلة: Java, TypeScript, Rust, Go.
ديناميكي: نوع المتغير يُحدد في وقت التشغيل، نفس المتغير يمكنه تخزين رقم ثم سلسلة. أمثلة: Python, JavaScript, Ruby, PHP.

3. قوي مقابل ضعيف: هل يُسمح بالـ"تحويل السري"؟

⚡ Strong vs Weak Typing: Implicit Conversion Lab

Choose an expression and see how different languages handle it

JavaScriptWeak

"1" + 1

→ "11" (string concatenation)

PythonStrong

"1" + 1

→ TypeError: can only concatenate str to str

JavaWeak

"1" + 1

→ "11" (string concatenation)

RustStrong

"1" + 1

→ compile error: type mismatch

📌 Strongly typed languages refuse to guess your intent. Weakly typed languages may helpfully convert, but the result may be wrong.

الفرق الأساسي

قوي: لا يسمح بالتحويل الضمني، إذا لم تتطابق الأنواع يعطي خطأ. يجب أن تقول صراحةً "أريد تحويل هذه السلسلة إلى رقم".
ضعيف: يسمح بالتحويل الضمني، اللغة "بلطف" تحول لك. لكن هذا "اللطف" غالباً ما يجلب أخطاء غير متوقعة.

4. استنتاج الأنواع: أفضل ما في العالمين

🧠 Type Inference: How the Compiler Guesses Types

Click a code line to see how the compiler infers the type step by step

let x = 42 → number
let names = ["Alice", "Bob"]
let result = x > 10 ? "big" : "small"
const add = (a: number, b: number) => a + b
let mixed = [1, "two", true]

Inference process

1The right side is literal 42

242 is an integer-like number

3Infer x as number

Type Inference Capability by Language

Rust

Almost fully inferred

TypeScript

Most types inferred

Kotlin

Strong local inference

Mainly := short declarations

Java

var keyword (Java 10+)

Almost none

قيمة استنتاج الأنواع

تكتب ببساطة اللغات الديناميكية، والمترجم يفحص بصرامة اللغات الثابتة. هذا هو الاتجاه الرئيسي للغات الحديثة.

5. الأنماط العامة (Generics): اكتب مرة، استخدم مع جميع الأنواع

🧩 Generics: Write Once, Use with Any Type

Choose a scenario and see how generics keep code flexible and safe

❌ Without generics

// Need one function per type
function getFirstNumber(arr: number[]): number {
  return arr[0]
}
function getFirstString(arr: string[]): string {
  return arr[0]
}
// boolean, object... it never ends

You repeat the same code for every type.

✅ With generics

// One generic function handles all types
function getFirst<T>(arr: T[]): T {
  return arr[0]
}

getFirst<number>([1, 2, 3])   // → number
getFirst<string>(["a", "b"])  // → string

T is a type parameter and is replaced by the actual type at call time.

Type flow

T = number→arr: number[]→return: number

القيمة الأساسية للأنماط العامة

إعادة استخدام الكود: دالة/فئة واحدة لجميع الأنواع
أمان الأنواع: على عكس any الذي يتخلى عن الفحص، الأنماط العامة تحافظ على معلومات الأنواع
قيود الأنواع: استخدام extends لتحديد النطاق، مرن وآمن

6. أمان الأنواع عملياً: الفخاخ الشائعة والدفاع

🛡️ Type Safety in Practice: Traps and Defenses

Choose a common trap and learn how the type system protects code

⚠️ Dangerous code

function getLength(str) {
  return str.length  // what if str is null?
}
getLength(null)  // 💥 runtime crash

💥 TypeError: Cannot read properties of null

✅ Safe code

function getLength(str: string | null): number {
  if (str === null) return 0
  return str.length  // ✅ compiler knows str is not null here
}

✅ The compiler forces you to handle null

🔑 Defense strategy

Enable strictNullChecks
Use string | null to mark nullable values explicitly
Use optional chaining ?. for safe access

القواعد الذهبية الأربع لأمان الأنواع

تفعيل الوضع الصارم: strict: true في TypeScript، mypy --strict في Python
تجنب any: استخدام unknown بدلاً من any، فرض الفحص قبل الاستخدام
معالجة null صراحةً: استخدام التسلسل الاختياري ?. ودمج القيم الفارغة ??
تعريف واجهات للـ APIs: البيانات الخارجية غير موثوقة أبداً، استخدام واجهة + فحص وقت التشغيل

7. رباعي الأنواع: "صورة شخصية" للغات

Programming Language Type ModelsHow type systems differ across languages

When types are checked

Static typing

Java, C++, Rust, Go

Dynamic typing

Python, JavaScript, Ruby

Type strength

Strong typing

Python, Java, Rust

Weak typing

JavaScript, C, PHP

Type System Classification Matrix

Static + strong

Java, C++, Rust, Go

Compile-time checks with type safety

Static + weak

Compile-time checks with flexible conversion

Dynamic + strong

Python, Ruby

Runtime checks with type safety

Dynamic + weak

JavaScript, PHP

Runtime checks with flexible typing

Type Inference

Modern languages can infer variable types automatically without explicit declarations.

TypeScript

let x = 5; // inferred as number
let name = "Alice"; // string

Rust

let x = 5; // inferred as i32
let name = "Alice"; // &str

الربع	الخصائص	لغات تمثيلية	سيناريو الاستخدام
ثابت + قوي	الأكثر أماناً، فحص صارم وقت الترجمة	Rust, Java, Haskell	أنظمة كبيرة، أمان حرج
ثابت + ضعيف	فحص وقت الترجمة لكن يسمح بالتحويل الضمني	C, C++	برمجة الأنظمة، أداء حرج
ديناميكي + قوي	فحص وقت التشغيل، لا يسمح بالتحويل الضمني	Python, Ruby	نصوص برمجية، نماذج أولية سريعة
ديناميكي + ضعيف	الأكثر مرونة، والأكثر عرضة للأخطاء	JavaScript, PHP	واجهة الويب، نصوص صغيرة

الملخص

نظام الأنواع هو المنظور الأساسي لفهم الاختلافات بين اللغات. إنه ليس نظرية مملة، بل يؤثر مباشرة على تجربتك في كتابة الكود وجودته.

النقاط الرئيسية:

الأنواع هي هوية: كل بيانات لها نوع، النوع يحدد ما يمكنها المشاركة فيه
ثابت مقابل ديناميكي: متى يتم فحص الأنواع -- وقت الترجمة أم وقت التشغيل
قوي مقابل ضعيف: هل يُسمح بالتحويل الضمني
استنتاج الأنواع: اللغات الحديثة تعطيك بساطة الديناميكية وأمان الثابتة
الأنماط العامة: إعادة استخدام الكود مع معلمات النوع
الأمان عملياً: مراجع null، إساءة استخدام any، التحويل الضمني هي الفخاخ الأكثر شيوعاً
الربعية: لا يوجد أفضل نظام أنواع، فقط الأنسب للسيناريو

مدخل إلى نظام الأنواع ​

0. نظرة عامة: الأنواع هي "الهوية" للبيانات ​

1. ما هو نظام الأنواع: قواعد مرور البيانات ​

2. ثابت مقابل ديناميكي: متى يتم الفحص؟ ​

🔍 Static vs Dynamic Typing: Live Comparison

3. قوي مقابل ضعيف: هل يُسمح بالـ"تحويل السري"؟ ​

⚡ Strong vs Weak Typing: Implicit Conversion Lab

4. استنتاج الأنواع: أفضل ما في العالمين ​

🧠 Type Inference: How the Compiler Guesses Types

5. الأنماط العامة (Generics): اكتب مرة، استخدم مع جميع الأنواع ​