Orb

Pravilo je program.

Zapišite pravila. Orb zgradi aplikacijo ali pove, zakaj je ne more.

curl -fsSL https://orb.almadar.io/install.sh | sh

Checkout

on Order · states: 3 · transitions: 3

Order { total }

PAY

(> @payload.amount 0)

SHIP

NEW_ORDER

nowpending

paid

shipped

En program, več ciljev

orb isti .lolo prevede v vsakega od teh.

TypeScript + React

Python

Rust

Swift for iOS

Kotlin for Android

Neplačano naročilo ne more biti odposlano.

Iz pending ni prehoda SHIP.

Checkout

on Order · states: 3 · transitions: 4

emitsPAYemitsMOVED

INIT

PAY

(> @payload.amount 0)

SHIP

NEW_ORDER

nowpending

paid

shipped

Ista datoteka, v teku

Unpaid

checkout.lolololo

aplikacija std-orb-sample-checkout "1.0.0"
"std-orb-sample-checkout — the checkout program shown on orb.almadar.io's home page, running: an order that cannot ship before it is paid. The page shows this file as code beside the running trait, and each move is reported (MOVED) so its state machine can follow along."
orbitala Orders {
  entiteta Order [izvajanje] {
    id : niz!
    total : stevilo
  }

  znacilnost Checkout -> Order [interakcija, primerek] {
    zacetno: pending

    stanje pending {
      ZACETEK -> pending
        (izrisi-vmesnik main { type: stack, gap: sm, children: [
          { type: typography, content: "Unpaid", variant: h4 },
          { type: button, label: "Pay 40", action: PAY, actionPayload: { amount: 40 } }
        ] })
      PAY -> paid ko (> ?amount 0)
        (nastavi @entiteta.total ?amount)
        (oddaj MOVED { event: "PAY" })
        (izrisi-vmesnik main { type: stack, gap: sm, children: [
          { type: typography, content: "Paid 40", variant: h4 },
          { type: button, label: "Ship", action: SHIP }
        ] })
    }

    stanje paid {
      SHIP -> shipped
        (oddaj MOVED { event: "SHIP" })
        (izrisi-vmesnik main { type: stack, gap: sm, children: [
          { type: typography, content: "Shipped", variant: h4 },
          { type: button, label: "New order", action: NEW_ORDER }
        ] })
    }

    stanje shipped {
      NEW_ORDER -> pending
        (oddaj MOVED { event: "NEW_ORDER" })
        (izrisi-vmesnik main { type: stack, gap: sm, children: [
          { type: typography, content: "Unpaid", variant: h4 },
          { type: button, label: "Pay 40", action: PAY, actionPayload: { amount: 40 } }
        ] })
    }

    oddaja {
      PAY {
        amount : stevilo!
      }
      MOVED -> external {
        event : niz!
      }
        @opis "Each move names the event it took, so a diagram beside the order can follow it."
    }
  }

  stran "/checkout" -> Checkout
}

Vse je vedenje.

Vsak je ena datoteka .lolo.

Gibanje po orbiti

STEP

TOGGLE_RUN

RESET

nowidle

Planets orbit a central mass under inverse-square gravity.

Running

Step 0

ready — press Step to advance the orbits

Logično vezje

STEP

TOGGLE_RUN

RESET

nowidle

Logic gates combine inputs into outputs that follow their truth table.

Paused

Step 0

Circuit 1 — (A AND B) XOR (A OR B)

Toggle inputs, then Propagate to see the output.

Galtonova deska

STEP

TOGGLE_RUN

RESET

nowidle

Balls bounce off pegs and pile into a bell-shaped histogram.

Running

Step 0

Press Step to drop a batch of balls, or Run to auto-drop.

Vsaka napaka dobi ime in vrstico.

orb validate vas ustavi s kodo in vrstico.

orb validatebash

$ orb validate checkout.lolo
❌ [ORB_BINDING_PAYLOAD_FIELD_UNDECLARED] orbitals[0 (Orders)].traits[0 (Checkout)].stateMachine.transitions[1].guard[1]: Event 'PAY' uses @payload.amount (.lolo spelling: `?amount` or `@payload.amount`) but has no payload schema defined @ 16:27
   💡 declare the field in the event's `emits` payload block: `PAY -> external { amount : <type> }`
❌ [CIRCUIT_DEAD_END_STATE] orbitals[0 (Orders)].traits[0 (Checkout)].stateMachine.states: State 'shipped' has no outgoing transitions - it may be a dead end @ 10:3
   💡 Add outgoing transitions or mark as terminal state with isTerminal: true
Error: Schema validation failed with 2 error(s)