ilo 0.8.2

ilo — a programming language for AI agents
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

-- 05: Workflow

tool charge "Charge a payment method"
	payment-id: text, amount: number -> result text, text
	timeout: 30, retry: 0

tool reserve "Reserve items in warehouse"
	items: list item -> result text, text
	timeout: 10, retry: 1

tool release "Release reserved inventory"
	reservation-id: text -> result nil, text
	timeout: 10, retry: 2

type item
	sku: text
	quantity: number

type receipt
	order-id: text
	charge-id: text
	reservation-id: text

fn checkout
	@ charge from tools
	@ reserve from tools
	@ release from tools
	@ make-id from orders
	payment-id: text, amount: number, items: list item -> result receipt, text
	-- Step 1: Reserve inventory
	let reserved = reserve items: items
	match reserved
		err e: err concat "Inventory unavailable: " e
	let rid = unwrap reserved
	-- Step 2: Charge payment (compensate on failure)
	let charged = charge payment-id: payment-id, amount: amount
	match charged
		err e:
			release reservation-id: rid
			err concat "Payment failed: " e
	let cid = unwrap charged
	-- Step 3: Generate order
	let oid = make-id
	ok receipt
		order-id: oid,
		charge-id: cid,
		reservation-id: rid