จาก

Introduces borrowed iteration or borrowed parameters.

Syntax: จาก <expression>

Category#

iteration

Related#

• ออก
• ใน

Examples#

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

Introduces borrowed iteration or borrowed parameters.

# =============================================================================
# จาก — Introduces borrowed iteration or borrowed parameters.
# =============================================================================
#
# What this teaches:
#   • Borrowed iteration — `วน จาก <expr> คงที่ <ident> { ... }` iterates over a collection without taking ownership.
#   • Tabula key iteration — iterating over ตาราง keys via borrowed iteration.
#   • Index iteration — iterating over รายการ indices via `จาก`.
#
# Common mistakes:
#   • Passing a `จาก` parameter to an `ใน` or `ออก` position — mode mismatch; cannot pass a read-only reference where mutation or consumption is expected (SEM057).
#
# See also: ออก, in
# =============================================================================

# จาก — borrowed iteration / parameters
#
# GRAMMAR:
#   forDeStmt :← 'วน' 'จาก' expr 'คงที่' ident block
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#
# BACKEND:
#   Cross-ref: วน/de.fab.
#

main {
    const map<string, int> persona ← { "nomen": 1, "aetas": 30 }
    for ref persona const clavis {
        print clavis
    }
    const list<int, 3> numeri ← [10, 20, 30]
    for ref numeri const index {
        print index
    }
}

radix/corpus/itera/de.fab (canonical · keyword)#

Introduces borrowed iteration or borrowed parameters.

# =============================================================================
# จาก — Introduces borrowed iteration or borrowed parameters.
# =============================================================================
#
# What this teaches:
#   • borrowed iteration (`วน จาก`) over ตาราง keys and รายการ indices — iterates without consuming the collection
#   • accessing values by key or index within a borrowed loop
#
# Common mistakes:
#   • Using จาก (key/index iteration) when ออก (value iteration) is needed, or vice versa — จาก iterates keys/indices, ออก iterates values.
#
# See also: ออก, in
# =============================================================================

# วน จาก — for-in key and index iteration
#
# วน จาก <ออบเจ็กต์> คงที่ <key> { <body> }
# วน จาก <รายการ> คงที่ <index> { <body> }
#
# GRAMMAR:
#   forDeStmt :← 'วน' 'จาก' expr 'คงที่' ident block
#
# EXPECTED OUTPUT:
#   none — stdout not pinned for this exemplum.

main {
    # Iterate over ตาราง keys
    const map<string, string> persona ← { "nomen": "Marcus", "urbs": "Roma" }
    for ref persona const clavis {
        print clavis
    }

    # Access values using the key
    for ref persona const clavis {
        print clavis, persona[clavis]
    }

    # Iterate over รายการ indices
    const list<int, 3> numeri ← [10, 20, 30]
    for ref numeri const index {
        print "index: § valor: §"(index, numeri[index])
    }

    # With numerus-valued ตาราง
    const map<string, int> forma ← { "alpha": 1, "beta": 2 }
    for ref forma const k {
        print k
    }
}