stan-dev / stan-dev/stanc3

FR: dimension links to inputs with `--info`

Open
#904 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

feature
Dominant language
OCaml
Stars
160
Forks
59
Avg merge
21h 45m
Merged PRs (30d)
26

Description

I'm working on a csv-to-InferenceData translator, and while the current outputs of --info provide a nice start, I'm wondering how easy it might be to additionally include the names of input variables that define a dimension when it is indeed defined by one. For example:

data{
  int N ;
  array[N] real y ;
}

Would currently tell me that y has 1 dimension, but omits that the extent of that dimension is determined by N.

If it's not trivial, I can instead go with parsing the stan code by hand myself, but on learning of --info today I thought it made sense to check.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by tracing the --info output for array dimensions in the stanc3 compiler and compare it with the Stan example in the issue. The work is done when the output identifies input variables such as N as defining the dimension of y, while preserving the existing dimension information.

Written by the indexing model from the issue text.

Assessment

Tech stack
ocaml
Domain
cli, compilers
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.