stackoverflow

sequence0.satyg

@stage: 0

let-rec seq-int s e =
  let-rec r n =
    &(
      if ~n > ~e then
        []
      else
        ~n :: ~(r &(~n + 1))
    )
  in

  &(fun -> (
    if ~e == ~s then
      [~s]
    else if ~e < ~s then
      []
    else
      ~(r s)
  ))

sequence1.saty

@stage: 1
@require: stdja
@require: list
@import: sequence0

let-inline \example =
  ~(seq-int &1 &5)
    |> List.map (fun i -> (arabic i))
    |> List.fold-left (fun acc s -> acc ^ s) ` `
    |> embed-string
in

document (|
  author = { Seiei MIYAGI };
  show-title = true;
  show-toc = false;
  title = { SATySFiで数列 }
|) '<
  +p { \example; }
>