Ḍād (ضاد) — Language Specification, Draft 0¶

Status: draft for review. Everything here — especially keyword choices — is open to change. Source files use the extension .dad. The CLI is ضاد with the ASCII alias dad.

1. Design principles¶

Less code, no ceremony. Type inference everywhere, no semicolons, expression-bodied functions, trailing lambdas, string interpolation, default and named arguments. (Inspired by Kotlin and Swift.)
Precise and safe by default. Immutable by default (ثابت), no null surprises (optional types نص؟), exhaustive طابق (match), no implicit numeric conversions, no force-unwrap operator.
Everything is an expression. إذا, طابق and blocks produce values.
One language for the whole app. UI, server and data live in the same file and the compiler splits them. Calling a خادم (server) function from the UI just works — the compiler generates the HTTP endpoint and the client call.
No async/await noise. Server and database calls are asynchronous under the hood; the compiler infers this and inserts the waiting for you.
Small core. 39 reserved keywords (Go has 25, Kotlin ~80, Swift ~90). UI elements and HTTP verbs are ordinary library functions / contextual words, not keywords.
Arabic first, not Arabic only. Arabic keywords, digits and punctuation; Latin digits, punctuation and identifiers are also accepted so mixed code never breaks.

2. Lexical structure¶

2.1 Source text¶

UTF-8, normalized to NFC before lexing.
Newlines end statements. ؛ or ; may separate statements on one line.

2.2 Normalization of identifiers and keywords¶

Applied to identifiers and keywords only — never inside strings or comments:

Rule	Example
Diacritics (tashkeel U+064B–U+065F, U+0670) are ignored	`حوِّل` ≡ `حول`
Tatweel `ـ` (U+0640) is ignored	`دالـــة` ≡ `دالة`
Hamza/alef forms are not folded (`أ` ≠ `ا` ≠ `إ`) — errors suggest the near-miss	`اذا` → "هل تقصد `إذا`؟"
`ة`/`ه` and `ى`/`ي` are not folded (same: suggestion only)

2.3 Forbidden characters¶

Bidirectional control characters (U+200E, U+200F, U+202A–U+202E, U+2066–U+2069) and zero-width characters (U+200B–U+200D, U+FEFF) are a compile error outside string literals. This prevents "Trojan Source" attacks where code displays differently from how it runs.

2.4 Identifiers¶

Start with an Arabic or Latin letter or _; continue with letters, digits (either script) or _. عدد_المهام, userName, س٢ are all valid.

2.5 Numbers¶

Arabic-Indic ٠١٢٣٤٥٦٧٨٩ or Western 0123456789 — but not mixed in one literal.
Decimal separator ٫ (U+066B) or .; digit grouping _ or ٬ (U+066C).
٤٢, 3.14, ٣٫١٤, ١_٠٠٠_٠٠٠.

2.6 Strings¶

"..." or Arabic guillemets «...».
Interpolation with braces, no prefix needed: "مرحبا {اسم}، لديك {مهام.عدد} مهام".
Escapes: \n \t \\ \" \{ \}. Multi-line: """...""".

2.7 Comments¶

// سطر and /* كتلة */.

2.8 Punctuation & operators¶

Arabic and Latin forms are interchangeable:

Arabic	Latin	Meaning
`،`	`,`	separator
`؛`	`;`	statement separator (optional)
`؟`	`?`	optional type marker
`؟.`	`?.`	safe member access
`؟؟`	`??`	default when absent

Other operators: + - * / % == != < > <= >= = += -= *= /= => . .. : Logical: و / &&, أو / ||, ليس / !.

RTL note: <, >, (, ), [, ], {, } are Unicode mirrored characters — in an RTL line they display flipped, so أ < ب still reads correctly right-to-left. Editor support must be validated early (Phase 4).

3. Keywords (reserved)¶

Ḍād	Kotlin / Swift equivalent
`ثابت`	`val` / `let`	immutable binding
`متغير`	`var`	mutable binding
`دالة`	`fun` / `func`	function
`نوع`	`data class` / `struct`	value type with auto equality & copy
`تعداد`	`sealed class` / `enum`	enum with associated values
`عقد`	`interface` / `protocol`	contract
`امتداد`	extension functions / `extension`	add methods to an existing type
`استورد`	`import`
`خاص`	`private`	(everything else is public)
`إذا` / `وإلا`	`if` / `else`	expression
`طابق`	`when` / `switch`	exhaustive pattern match
`لكل` / `في`	`for` / `in`
`من` / `إلى` / `حتى` / `بخطوة`	`1..10` / `1 until 10` / `step`	ranges: `من ١ إلى ١٠`
`طالما`	`while`
`أرجع`	`return`
`توقف` / `تابع`	`break` / `continue`
`حاول` / `التقط` / `ارفع`	`try` / `catch` / `throw`
`صح` / `خطأ`	`true` / `false`
`عدم`	`null` / `nil`
`و` / `أو` / `ليس`	`&&` / `\|\|` / `!`
`هو`	`it` / `is`	implicit lambda parameter, and type test (see 4.7)
`ك`	`as`	conversion
`هذا`	`this` / `self`
`خادم`	—	marks a function that runs on the server
`مكون`	`@Composable` / SwiftUI `View`	UI component
`حالة`	`@State` / `mutableStateOf`	reactive state inside a component
`جدول`	—	persisted data type (database table)
`مسار`	—	explicit HTTP route (public APIs)

Contextual words (only special in one position, usable as names elsewhere): HTTP verbs جلب (GET), أرسل (POST), حدث (PUT), احذف (DELETE).

4. Language tour¶

4.1 Bindings and types¶

ثابت اسم = "سارة"            // type inferred: نص
متغير عداد = ٠                // صحيح
ثابت سعر: عشري = ٩٫٩٩
عداد += ١

Built-in types: صحيح (Int, 64-bit), عشري (Double), نص (String), منطقي (Bool), فراغ (Unit), lists [نص], maps [نص: صحيح], optionals نص؟, functions (صحيح) => نص.

4.2 Functions¶

دالة مربع(س: صحيح) = س * س                     // expression body, return type inferred

دالة حي(اسم: نص، تحية: نص = "مرحبا"): نص {
  أرجع "{تحية} يا {اسم}"
}

حي("سارة")
حي(اسم: "علي"، تحية: "أهلاً")                  // named arguments

4.3 Control flow as expressions¶

ثابت وصف = إذا درجة >= ٩٠ { "ممتاز" } وإلا إذا درجة >= ٥٠ { "ناجح" } وإلا { "راسب" }

لكل ع من ١ إلى ١٠ { اطبع(ع) }
لكل ع من ٠ حتى ١٠ بخطوة ٢ { اطبع(ع) }       // 0,2,4,6,8
لكل اسم في أسماء { اطبع(اسم) }

4.4 Lambdas and trailing lambdas¶

ثابت كبار = أرقام.رشح { هو > ١٠ }             // `هو` = the implicit single parameter ("it")
ثابت مضاعفة = أرقام.حول { س => س * ٢ }
ثابت مجموع = أرقام.اختزل(٠) { أ، ب => أ + ب }

4.5 Value types (`نوع`)¶

نوع نقطة(س: عشري، ص: عشري) {
  دالة بعد() = جذر(س * س + ص * ص)
}

ثابت ن = نقطة(س: ٣، ص: ٤)
ثابت م = ن.نسخة(ص: ٠)          // copy with change
اطبع(ن == نقطة(٣، ٤))          // صح — structural equality

4.6 Enums with data and exhaustive matching¶

تعداد شكل {
  دائرة(قطر: عشري)
  مستطيل(عرض: عشري، طول: عشري)
}

دالة مساحة(ش: شكل) = طابق ش {
  دائرة(ق) => ٣٫١٤ * ق * ق / ٤
  مستطيل(ع، ط) => ع * ط
}   // forgetting a case is a compile error

4.7 Null safety and smart casts¶

ثابت بريد: نص؟ = مستخدم؟.بريد
ثابت عرض = بريد ؟؟ "لا يوجد بريد"

إذا بريد != عدم {
  اطبع(بريد.طول)              // smart cast: بريد is نص here
}

إذا ش هو دائرة { اطبع(ش.قطر) }   // `هو` after an expression = type test + smart cast

There is no force-unwrap. Use ؟؟ with a default, or ؟؟ ارفع مشكلة("...").

4.8 Contracts and extensions¶

عقد قابل_للعرض {
  دالة اعرض(): نص
}

امتداد نص {
  دالة مكرر(مرات: صحيح) = (من ١ إلى مرات).حول { هذا }.ضم("")
}

4.9 Errors¶

دالة اقسم(أ: صحيح، ب: صحيح): صحيح {
  إذا ب == ٠ { ارفع مشكلة("قسمة على صفر") }
  أرجع أ / ب
}

ثابت ن = حاول { اقسم(١، ٠) } التقط خ { ٠ }    // try is an expression too

4.10 Modules¶

One file = one module. Everything not marked خاص is exported.

استورد نقطة، شكل من "./أشكال"

5. The full-stack layer¶

5.1 Data — `جدول`¶

جدول مهمة {
  عنوان: نص
  منجزة = خطأ
}

Generates the SQLite schema, migrations and a typed API: مهمة.أنشئ(...), مهمة.الكل(), مهمة.حيث { هو.منجزة }, م.احفظ(), م.احذف(). Query lambdas are compiled to SQL, not run in memory.

5.2 Server — `خادم`¶

خادم دالة أضف_مهمة(عنوان: نص) = مهمة.أنشئ(عنوان: عنوان)

Callable directly from UI code. The compiler generates a typed endpoint plus the client call; the server code never ships to the browser. Server functions are implicitly asynchronous.

5.3 Explicit routes — `مسار`¶

For public APIs that other programs call:

مسار جلب "/api/مهام" = مهمة.الكل()

5.4 UI — `مكون` and `حالة`¶

Compose/SwiftUI style: components are functions; UI elements (عمود, صف, عنوان, فقرة, زر, حقل, صورة, رابط) are library functions with trailing lambdas. Pages are right-to-left by default.

مكون عداد() {
  حالة ع = ٠
  عمود {
    عنوان("العدد: {ع}")
    زر("زد") { ع += ١ }
  }
}

6. Open questions (please decide)¶

هو doing double duty ("it" and type test) — natural Arabic, unambiguous for the parser, but is it confusing for learners?
Keyword spellings: نوع vs بنية for value types; عقد vs واجهة for contracts.
Library method names (حول/map, رشح/filter, اختزل/reduce) — want a naming guide?
Should Latin-letter identifiers produce a style warning in Arabic-first projects?
~~Integer division~~ Decided: / on two صحيح yields صحيح, as in Kotlin (٧ / ٢ is ٣). Convert with ك عشري for a fraction.