restrict map_rect to legal data-only args
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 42/100
- issue の種類
- バグ
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- ocaml
- 領域
- compilers
調査の方向性
コンパイラの map_rect 引数の検証から始め、issue に示されている Stan プログラムを再現してください。xi[i] のようなインデックス付き式が完全にデータのみではないものとして拒否されることを確認し、無効なプログラムがコンパイルされなくなったことを検証してください。この issue では特定のファイルやテストは指定されていません。
索引モデルが issue の本文から書いたものです。
説明
The following program should not compile because xi[i] isn't an entirely data-only expression. The value xi is a data variable, but the index i is local. That allows illegal programs like this to get compiled:
functions {
vector f(vector beta, vector theta, data real[] xr, data int[] xi ) {
return [1.0]';
}
}
transformed data {
vector[2] beta;
vector[2] theta[2];
real xr[2, 2];
int xi[2, 2, 2];
}
parameters {
real y;
}
transformed parameters {
real s = 0;
for (i in 1:2) {
// BAD! DATA CHANGING BETWEEN CALLS
s += sum(map_rect(f, beta, theta, xr, xi[i]));
}
}
These will produce different results with MPI turned on and turned off, which we don't ever want to happen.
- 主要言語
- OCaml
- スター
- 162
- フォーク
- 60
- 平均マージ
- 2日 22時間
- マージ済み PR（30日）
- 14
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドなし
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
stan-dev/stanc3 のほかの issue
-
optimization performance robustness
難易度 5/5 1週間以上 初心者へのやさしさ 8/100
stan-dev/stanc3#1761 · コメント 6 件 ·
メンテナーはふだん 1 日以内に返信
-
feature
難易度 4/5 1〜2日 初心者へのやさしさ 52/100
stan-dev/stanc3#1757 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
cleanup help wanted
難易度 5/5 1週間以上 初心者へのやさしさ 22/100
メンテナーはふだん 1 日以内に返信
-
cpp-codegen feature performance
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
stan-dev/stanc3#1722 · コメント 5 件 ·
メンテナーはふだん 1 日以内に返信
-
feature optimization
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
メンテナーはふだん 1 日以内に返信
stan-dev/stanc3 の issue をすべて見る
似ている issue
-
better error message error not reported I/O ICE low priority semantics
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
chat compiler
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
HerringtonDarkholme/hd-lang#1613 · コメント 3 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 半日 初心者へのやさしさ 64/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 4 日以内に返信
-
bug parser
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
nanyx-lang/nanyx#493 ·
メンテナーはふだん 1 日以内に返信