صنف

Declares a concrete type with fields and methods.

Aliases: class, struct

Syntax: صنف <name> [<type-params>] <block>

Category#

type

Related#

• عقد
• حقق

Examples#

radix/corpus/genus/genus.fab (canonical · keyword)#

Declares a concrete type with fields and methods.

# =============================================================================
# صنف — Declares a concrete type with fields and methods
# =============================================================================
#
# What this teaches:
#   • Declares a concrete type with fields and methods.
#   • Related keywords: عقد, حقق
#
# Common mistakes:
#   • Using retired bare object literals (`{ key = expr }`) — use `GenusName { field = expr }` instead; bare `{ }` is now a JSON قيمة literal.
#
# See also: عقد, حقق
# =============================================================================

# Basic صنف (record type) with fields
#
# صنف <Name> {
#     <type> <property>
#     <type> <property> = <default>
# }
#
# GRAMMAR:
#   genusDecl :← 'صنف' ident '{' fieldDecl* '}'
#   instance  :← ident '{' fieldInit (',' fieldInit)* '}'
#
# EXPECTED OUTPUT:
#   Field values for Punctum and Persona instances (defaults and overrides).

class Punctum {
    var int x
    var int y
}

class Persona {
    var string اسم
    # default when omitted at instantiation
    var int aetas = 0
    var bool activus = true
}

main {
    # Instantiate with all required fields
    const Punctum p ← Punctum { x = 10, y = 20 }
    print p.x
    print p.y

    # Instantiate with required + optional defaults
    const Persona marcus ← Persona { اسم = "Marcus" }
    print marcus.nomen
    # 0 from default
    print marcus.aetas
    # صواب from default
    print marcus.activus

    # Override defaults explicitly
    const Persona julia ← Persona { اسم = "Julia", aetas = 25, activus = false }
    print julia.nomen
    print julia.aetas
    print julia.activus
}

Expected output:

10
20
Marcus
0
verum
Julia
25
falsum