etwas liberaler bei Syntax
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
まず Prolog パーサーとインタープリター関数を見つけ、現在どの構文が拒否されているかを確認します。比較、不等式、否定でサポートする別の表記を定義し、代表的な Prolog 節が意図された正規演算子を変更せずにそれらを受け入れることを検証します。
索引モデルが issue の本文から書いたものです。
説明
Es kann sein, dass dies eher in das prolog Repo gehört. Allerdings gibt es dort im Moment keinen Issue-Tracker, und vielleicht ist es auch doch so, dass eine entsprechende Änderung zumindest teils hier gemacht werden müsste, etwa per speziellem Parameter zur Übergabe an die Interpreter-Funktion. Jedenfalls:
Manchmal könnte die Prolog-Interpretation hier etwas liberaler sein und auch Syntax akzeptieren, die von "echtem" Prolog aus rein idiosynkratischen Gründen zurückgewiesen wird.
Ein Beispiel ist der "kleiner-gleich" Operator. Dafür ist ja <= durchaus üblich, aber Prolog akzeptiert nur =<. Für die Verwendung in Autotool könnten wir einfach beide Formen akzeptieren, bzw. vielleicht einfach beim Parsen schon sowohl <= als auch =< als Token für =< nehmen. (Das könnte einige für Studierende frustrierende Zurückweisungen von Einreichungen vermeiden.)
Ein anderes Beispiel (das vielleicht besonders in ProPa relevant ist, wenn der Wechsel von Haskell zu Prolog stattfindet) wäre die Ungleichheit: einfach sowohl \= als auch /= akzeptieren.
Auch bei der Negation könnten vielleicht bestimmte Schreibweisen, die im Kontext der Formel-Autotool-Aufgaben akzeptiert werden, auch in Prolog-Klauseln akzeptiert werden, also neben not und \+ auch ¬ und vielleicht ~. Hingegen wohl lieber nicht - oder nicht.
Das waren alles Beispiele im Kontext Operatoren. Vielleicht gibt es auch noch andere relevante Fälle.
- 主要言語
- Haskell
- スター
- 0
- フォーク
- 1
- 平均マージ
- 1日 13時間
- マージ済み PR（30日）
- 18
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドなし
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
fmidue/prolog-programming-task のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
fmidue/prolog-programming-task#55 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 53/100
fmidue/prolog-programming-task#59 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
fmidue/prolog-programming-task#57 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 半日 初心者へのやさしさ 55/100
fmidue/prolog-programming-task#46 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
fmidue/prolog-programming-task#42 ·
メンテナーはふだん 1 日以内に返信
fmidue/prolog-programming-task の issue をすべて見る
似ている issue
-
A failed JNA download is reported as a corrupt zip, because `curl` in `Makefile` lacks `--fail`オープン
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
objectionary/phino#1884 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
component: hls-eval-plugin status: needs triage type: bug
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
haskell/haskell-language-server#5144 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
compiler-explorer/compiler-explorer#9272 ·
メンテナーはふだん 1 日以内に返信
-
enhancement
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
alunduil/siren-json.hs#247 ·
メンテナーはふだん 1 日以内に返信
-
enhancement
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
alunduil/network-arbitrary#196 ·
メンテナーはふだん 1 日以内に返信