तार्किक

Primitive types तार्किक, रिक्त, and अज्ञात.

Syntax: तार्किक | रिक्त | अज्ञात

Category#

type

Related#

• सत्य
• असत्य
• फलन
• ∷
• रिक्त

Examples#

radix/corpus/intrinseca/primitiva.fab (canonical · keyword)#

Primitive types तार्किक, रिक्त, and अज्ञात.

# =============================================================================
# तार्किक — Primitive types तार्किक, रिक्त, and अज्ञात
# =============================================================================
#
# What this teaches:
#   • Primitive types तार्किक, रिक्त, and अज्ञात.
#   • Related keywords: सत्य, असत्य, फलन, ∷, रिक्त
#
# Common mistakes:
#   • Using `अज्ञात` where a concrete type is expected — `अज्ञात` is the dynamic dispatch type; use `है` checks or match before extracting.
#
# See also: सत्य, असत्य, फलन, ∷, रिक्त
# =============================================================================

# intrinseca/primitiva — तार्किक, रिक्त, अज्ञात
#
# GRAMMAR:
#   typeExpr :← 'तार्किक' | 'रिक्त' | 'अज्ञात'
#
# EXPECTED OUTPUT:
#   ping, शून्य_मान est, सत्य est, aliud est
#
# BACKEND:
#   Cross-ref रिक्त/vacuum.fab for void returns; संख्या/fractus/textus intrinseca files.

fn ping() → void {
    print "primitiva smoke"
}

fn describe(any value) → string {
    if value is none then return "nihil est"
    return "aliud est"
}

fn describe_boolean(bool value) → string {
    if value ≡ true then return "verum est"
    return "aliud est"
}

main {
    ping()
    print describe(null)
    print describe_boolean(true)
    print describe(42)
}

Expected output:

primitiva smoke
nihil est
verum est
aliud est