Builtin overview
ASPL 0.7.0 · Current release
Reserved aliases, call requirements, and current contract links.
On this page
Calling builtins
Builtins are predeclared and need neither an import nor غير_آمن / unsafe. Arabic and English aliases name the same reserved target and cannot be declared or shadowed. Checking enforces argument count and exact types. A conversion such as u8(value) is a checked language operation, not a text parser returning a recoverable result.
Families and names
These names are available in 0.7.0 on both hosts. Browser files are temporary virtual files.
| Arabic alias | English alias |
|---|---|
اطبع |
print |
اقرأ_سطر |
read_line |
طول |
length |
محرف_عند |
char_at |
رمز_عند |
codepoint_at |
من_رمز |
from_codepoint |
اقتطع |
slice |
نجاح |
success |
إخفاق |
failure |
أضف |
append |
اجمع_نصوص |
join |
حلل_ص64 |
parse_i64 |
نسق_ص64 |
format_i64 |
حلل_ع64 |
parse_f64 |
نسق_ع64 |
format_f64 |
حلل_ع32 |
parse_f32 |
نسق_ع32 |
format_f32 |
حلل_ص8 |
parse_i8 |
حلل_ص16 |
parse_i16 |
حلل_ص32 |
parse_i32 |
حلل_ط8 |
parse_u8 |
حلل_ط16 |
parse_u16 |
حلل_ط32 |
parse_u32 |
حلل_ط64 |
parse_u64 |
نسق_ص8 |
format_i8 |
نسق_ص16 |
format_i16 |
نسق_ص32 |
format_i32 |
نسق_ط8 |
format_u8 |
نسق_ط16 |
format_u16 |
نسق_ط32 |
format_u32 |
نسق_ط64 |
format_u64 |
اقرأ_ملف_نصي |
read_text_file |
اكتب_ملف_نصي |
write_text_file |
Types, results, and hosts
See output, line input, and numeric parsing and formatting. length measures strings and lists; the other string operations use i64 Unicode scalar bounds. success and failure construct inspectable results. append modifies a mutable list target; join joins list<string> with a string separator. read_text_file returns result<string> and write_text_file returns result<unit>. Expected host failures do not become traps. Qualified library calls such as net_http::get require native execution and an import. Text and data examples provide the current string, result, and file sources.
Release scope
The MVP specified only اطبع / print. This page describes the 0.7.0 builtin set, including later string, input, result, list, file, and numeric extensions.