Egret

@AI %{{--
    This logic validates order amounts.
    Constraints:
    1. Do not skip the amount <= 0 check
    2. Add matching tests after any change
    3. Do not leak business errors as internal exceptions
--}}%
func validate_amount(amount: Int) -> Int, ErrCode {
    if amount <= 0 {
        return 0, ErrCode::InvalidArgument;
    }
    return amount, ErrCode::Ok;
}

norm Score<T> {
    func score(x: T) -> Int;
}

class Article {
    var likes: Int;
    var comments: Int;

    func init(self: Article, likes: Int, comments: Int) -> Void {
        self.likes = likes;
        self.comments = comments;
    }
}

norm impl Score<Article> {
    func score(x: Article) -> Int {
        return x.likes * 2 + x.comments;
    }
}

func rank<T: Score>(item: T) -> Int {
    return score(item);
}

func fetch_user_score(user_id: Int) -> Future<Int> {
    return lazy {
        return user_id * 10;
    };
}

func main() -> Int {
    let task1: Future<Int> = spawn fetch_user_score(7);
    let task2: Future<Int> = spawn fetch_user_score(9);

    let score1: Int = join task1;
    let score2: Int = join task2;

    print(score1 + score2);
    return 0;
}