; Records are named tuples with an identifier. `record` is a builtin function
; that generates functions for creating, reading and modifying a record.
; In type system terms, records are intersections.

; `record` can only be called in the top-level context.

(record Ns/User
    name
    phone-number)

; Generates the following functions:

(let user
    (Ns/User/create "John" "010-123-456"))
    ; user ~> (Ns/User name:"John" phone-number:"010-123-456")

(Ns/User/get-name user) ; => "John"
(Ns/User/get-phone-number user) ; => "010-123-456"

(Ns/User/set-name "Rick" user)
    ; => (Ns/User name:"Rick" phone-number:"010-123-456")
(Ns/User/set-phone-number unit user)
    ; => (Ns/User name:"Rick" phone-number:<unit>)

; The builtin function `kind` returns the identifier as a string for any record value

(kind user) ; => "Ns/User"