Реактивное программирование

type Border @mut =
    inherit Control

    var obs left : u32 = 0
    var obs right : u32 = 0
    var obs up : u32 = 0
    var obs down : u32 = 0
    var obs content : Option<Control> = None

Модификатор obs создаёт контейнер типа mut Atom<T>, поддерживающий публикацию оповещений об изменении значения.

let is_aligner = content@atom.map { case _ of
    None -> false
    Some control -> control is Aligner }

content@atom вместо значения поля content возвращает контейнер, на котором определен метод map.

let thickness = (left@atom, right@atom, up@atom, down@atom) |> to_atom

Можно преобразовать кортеж атомов в атом кортежей, thickness имеет тип Atom<(u32, u32, u32, u32)>.

val memory@atom = (width@atom, height@atom, thickness)
                  |> to_atom
                  |> map { self (width, height, thickness) ->
                      if width == 0 || height == 0
                      then None
                      else Some (width, height, thickness) }
                  |> option_map { self (width, height, (left, right, up, down)) ->
                      ...
                      MeshMemory.from_quads quads.as_slice }

Из-за модификатора @atom привязка memory имеет тип Option<MeshMemory>, а не Atom<Option<MeshMemory>>.

let obs size : u32 = 10
let obs factor : f32 = 0.8

margin.up@obs = size@obs as f32 * factor@obs |> as<u32>

Поле margin.up будет обновлено, если изменится значение size или factor.