One language for apps,
services, and interfaces.

module inventory {
	struct Item {
		@trim()
		name  string
		stock int
	}

	def restock(item Item, qty int) !Item {
		expects {
			assert qty => 0 onerror fail "quantity must be positive"
			assert item.name != ""
		}
		return Item{name: item.name, stock: item.stock + qty}
	}
}

application Warehouse {

	def new(args string[]) int {
		use inventory

		let item = inventory.Item{name: "widget", stock: 12}
		let updated = inventory.restock(item, 8) onerror recover item

		match updated.stock {
			case (n); n > 15:
				println("well stocked: {updated.stock}")
			default:
				println("low stock: {updated.stock}")
		}

		return 0
	}
}