{"size": 840, "ext": "rktl", "max_stars_repo_path": "pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/ary.rktl", "max_stars_repo_name": "lkh01/racket", "max_stars_repo_stars_event_min_datetime": "2018-07-05T21:18:24.000Z", "max_stars_repo_stars_event_max_datetime": "2021-06-04T14:48:37.000Z", "max_issues_repo_path": "pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/ary.rktl", "max_issues_repo_name": "lkh01/racket", "max_issues_repo_issues_event_min_datetime": "2017-05-10T07:33:20.000Z", "max_issues_repo_issues_event_max_datetime": "2018-07-19T15:49:46.000Z", "max_forks_repo_path": "pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/typed/ary.rktl", "max_forks_repo_name": "lkh01/racket", "max_forks_repo_forks_event_min_datetime": "2016-04-25T11:47:57.000Z", "max_forks_repo_forks_event_max_datetime": "2017-05-09T14:52:48.000Z"}
{"max_stars_count": 4, "max_issues_count": 9, "max_forks_count": 3, "avg_line_length": 35.0, "max_line_length": 88, "alphanum_fraction": 0.494047619}
(: main ((Vectorof String) -> Void))
(define (main args)
  (let*: ((n : Exact-Positive-Integer
             (if (= (vector-length args) 0)
                 1
                 (assert (string->number (vector-ref args 0)) exact-positive-integer?)))
          (x : (Vectorof Integer) (make-vector n 0))
          (y : (Vectorof Integer) (make-vector n 0))
          (last : Natural (- n 1)))
    (do ((i 0 (+ i 1)))
        ((= i n))
      (vector-set! x i (+ i 1)))
    (do ((k 0 (+ k 1)))
        ((= k 1000))
      (do: : Void ((i : Integer last (- i 1)))
          ((< i 0))
        (vector-set! y i (+ (vector-ref x i) (vector-ref y i)))))
    (print-list (vector-ref y 0) " " (vector-ref y last))))

(: print-list (Any * -> Void))
(define (print-list . items) (for-each display items) (newline))

(main (current-command-line-arguments))
