kw open
Зарезервированное слово
Список слов: §1.4
Синтаксис
ImplMember = { Attr } [ Vis ] ( Receiver ( "fn" | "op" ) Sig ( Block | "=>" Expr )
| "override" "fn" Sig ( Block | "=>" Expr ) | "open" "fn" Sig ( Block | "=>" Expr )
| "init" Sig ( Block | "=>" Expr ) | "dep" Ident ":" Type | Rpc | Const ) ;Грамматика: Прил. A
Определяется в
- 4.7 Встраивание и переопределение — Наследования реализации нет.
- 4.3 Конструирование и конструкторы — Литерал. T{ f1: e1, f2, ..base }
- 1.4 Ключевые слова — Зарезервированные (нельзя использовать как имена)
- 12.7 Зависимости — provide Тип = выражение (for role r, …)?
- 12.8 Встроенное хранилище и таблицы — Хранилище на каждом узле роли journal, репликация — Raft на шард.
- 18.2 Утверждения и фикстуры — assert expr выполняется во всех профилях, включая prod (профили отключают только контракты, §6.7, и вывод dbg, §2.2); при падении печатает з
Примеры
data Animal { name: str }
impl Animal {
open fn speak() -> str => "..."
fn hello() -> str => "I am {name}: {speak()}"
}
data Dog { embed Animal; breed: str }
impl Dog { override fn speak() -> str => "Woof, {super.speak()}" }
Dog{ name: "Rex", breed: "lab" }.hello() // "I am Rex: Woof, ..."— 4.7 Встраивание и переопределение
provide Db = Db.open(App.get().dbUrl) for role api, saga
provide Payments = PaymentsClient.new(App.get().stripeKey)
impl Orders { dep db: Db; dep pay: Payments }Связанные диагностики
ambiguous-embed, missing-override, override-without-open, bad-init, missing-field, must-close, positional-literal, sealed-literal, duplicate-provide, missing-provide, unknown-role, query-not-sql, shard-count-clamped, table-schema