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

-- 04: Tool interaction

tool get-user "Retrieve user by ID"
	user-id: text -> result profile, text
	timeout: 5, retry: 2

tool send-email "Send an email"
	to: text, subject: text, body: text -> result nil, text
	timeout: 10, retry: 1

type profile
	id: text
	name: text
	email: text
	verified: bool

fn notify
	@ get-user from tools
	@ send-email from tools
	user-id: text, message: text -> result nil, text
	let user = get-user user-id: user-id
	match user
		err e:
			log error concat "Failed to fetch user: " e
			err concat "User lookup failed: " e
		ok data:
			if not data.verified
				err "User email not verified"
			let sent = send-email
				to: data.email,
				subject: "Notification",
				body: message
			match sent
				err e:
					log error concat "Email failed: " e
					err concat "Send failed: " e
				ok _:
					log info concat "Notified user " user-id
					ok nil