liệt_kê

Declares an enumeration.

Aliases: enum

Syntax: liệt_kê <name> <block>

Category#

type

Related#

• hợp_nhất

Examples#

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

Declares an enumeration.

# =============================================================================
# liệt_kê — Declares an enumeration.
# =============================================================================
#
# What this teaches:
#   • Enumeration declaration — `liệt_kê <Name> { member, ... }` declares a set of ordered, named constants.
#   • Discriminant values — Members can have explicit numeric values with `= <number>`.
#   • Pattern matching — `chọn` with `trường_hợp` branches selects on liệt_kê variants.
#
# Common mistakes:
#   • Confusing liệt_kê (enum with named constants) with hợp_nhất (tagged union with payloads) — liệt_kê members carry no data.
#
# See also: hợp_nhất
# =============================================================================

# liệt_kê — enumerated constants (ordered variants)
#
# liệt_kê <Nomen> { <membrum>, … }
# liệt_kê <Nomen> { <membrum> = <giá_trị>, … }
#
# GRAMMAR:
#   ordoDecl :← 'liệt_kê' ident '{' ordoMember (',' ordoMember)* '}'
#
# EXPECTED OUTPUT:
#   rubrum
#   actum

enum Color {
    rubrum,
    viridis,
    caeruleum
}

enum Condicio {
    pendens = 0,
    actum = 1,
    finitum = 2
}

main {
    # Using liệt_kê values: members are qualified by their liệt_kê name
    const Color color ← Color.rubrum
    const Condicio condicio ← Condicio.actum

    # Select by liệt_kê
    switch color {
        case Color.rubrum {
            print "rubrum"
        }
        case Color.viridis {
            print "viridis"
        }
        case Color.caeruleum {
            print "caeruleum"
        }
    }

    # Select by liệt_kê with numeric values
    switch condicio {
        case Condicio.pendens {
            print "pendens"
        }
        case Condicio.actum {
            print "actum"
        }
        case Condicio.finitum {
            print "finitum"
        }
    }
}

Expected output:

rubrum
actum