オーナー

MedakaLang

ログインしてフォロー

索引済みのリポジトリ 1 件 · GitHub で見る

medaka
A practical functional language

Shell · スター 7 個

初心者向けすべて

オープンすべて

誰かが対応中かもしれないイシューは最後に並べています。すべて日付順に表示

T-DISCARDED-VALUE help suggests 'let _ =' for a discarded Result; the gated lint rule rejects it (R26 says bestEffort)
オープン
- 何か問題がありますか？
S3: friction & debt ws:diagnostics

難易度 2/5 1〜3時間初心者へのやさしさ 55/100

MedakaLang/medaka#4746 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
lint discard rules: user-declared Result, bool-helper false positives, qualified heads and indirect discards are not handled
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 4/5 3〜5日初心者へのやさしさ 22/100

MedakaLang/medaka#4745 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
medaka test compiler/types (directory mode): module_interface_test and publish_test fail 12 tests that pass alone ('could not read the prelude pair')
オープン
- 何か問題がありますか？
S2: misleading ws:testing

難易度 4/5 3〜5日初心者へのやさしさ 18/100

MedakaLang/medaka#4744 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
lint project index shards are written into the linted tree (.medaka/lint-index): stage_counts is no longer hermetic
オープン
- 何か問題がありますか？
S2: misleading ws:tooling

難易度 5/5 1週間以上初心者へのやさしさ 25/100

MedakaLang/medaka#4743 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
DoBind has no Loc, so unused <- binds cannot be reported (rule-unused-local skips them)
オープン
- 何か問題がありますか？
S3: friction & debt ws:language

難易度 4/5 3〜5日初心者へのやさしさ 35/100

MedakaLang/medaka#4742 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
medaka gate explain: parser, lexer, llvm_emit, Makefile and test siblings are UNMAPPED, so preflight fails open to the full suite
オープン
- 何か問題がありますか？
S2: misleading ws:tooling

難易度 4/5 1〜2日初心者へのやさしさ 35/100

MedakaLang/medaka#4741 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
diff_compiler_tmc_parity times out at 300s on the 4-core shard (baseline median 261s, max 288s)
オープン
- 何か問題がありますか？
S3: friction & debt ws:testing

難易度 2/5 1〜3時間初心者へのやさしさ 35/100

MedakaLang/medaka#4740 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
expectLessThan takes (expected, actual) and passes when actual < expected: reads backwards
オープン
- 何か問題がありますか？
S3: friction & debt ws:stdlib

難易度 5/5 1週間以上初心者へのやさしさ 15/100

MedakaLang/medaka#4739 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
arch-closeout leftovers: dead prop_runner/test_runner API, analyzeLocated, dropShadowedExp oracles, dupbodies pin, S7 pin gap
オープン
- 何か問題がありますか？
S3: friction & debt ws:typecheck

難易度 4/5 3〜5日初心者へのやさしさ 22/100

MedakaLang/medaka#4738 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
repl: Bool prints lowercase, core-named definitions print no val line, constraints dropped in printed types
オープン
- 何か問題がありますか？
S2: misleading ws:tooling

難易度 4/5 3〜5日初心者へのやさしさ 42/100

MedakaLang/medaka#4737 · 2026年11月2日に作成

メンテナーはふだん 1 日以内に返信
P-RAW-STRING-AFTER-DOT hint does not fire inside list literals or string interpolation
オープン
- 何か問題がありますか？
S3: friction & debt ws:diagnostics

難易度 3/5 1〜2日初心者へのやさしさ 45/100

MedakaLang/medaka#4735 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
Lint: rule-unused-import --fix is not sibling-aware (breaks a test sibling that reads a subject's import)
オープン
- 何か問題がありますか？
S3: friction & debt verified ws:tooling

難易度 4/5 3〜5日初心者へのやさしさ 25/100

MedakaLang/medaka#4732 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
A private type alias imported by name into a test sibling does not expand (type mismatch vs its expansion)
オープン
- 何か問題がありますか？
S3: friction & debt verified ws:language

難易度 4/5 3〜5日初心者へのやさしさ 22/100

MedakaLang/medaka#4731 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
medaka test: a stdlib _test sibling loses its subject's private names and abstract-type fields (medaka check accepts it)
オープン
- 何か問題がありますか？
S2: misleading verified ws:testing

難易度 4/5 3〜5日初心者へのやさしさ 22/100

MedakaLang/medaka#4730 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
Reduce LLVM checked-output audit cost
オープン
- 何か問題がありますか？
S3: friction & debt verified ws:perf

難易度 4/5 3〜5日初心者へのやさしさ 15/100

MedakaLang/medaka#4722 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
medaka test: a typecheck-exempt non-sibling _test imports an abstract type's constructor and passes on eval (check rejects, native fails)
オープン
- 何か問題がありますか？
S1: loud breakage

難易度 4/5 3〜5日初心者へのやさしさ 25/100

MedakaLang/medaka#4720 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
lambda parameter type annotation is silently ignored (unknown type accepted)
オープン
- 何か問題がありますか？
S0: silent wrongness ws:typecheck

難易度 4/5 3〜5日初心者へのやさしさ 48/100

MedakaLang/medaka#4719 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
build: lambda capture missed when the variable is read only in a match guard (run/build disagree)
オープン
- 何か問題がありますか？
S1: loud breakage

難易度 4/5 3〜5日初心者へのやさしさ 50/100

MedakaLang/medaka#4718 · 2026年11月1日に作成

メンテナーはふだん 1 日以内に返信
S2: no shadow warning for an imported let rec binder that loses to a prelude interface method
オープン
- 何か問題がありますか？
S2: misleading ws:typecheck

難易度 4/5 3〜5日初心者へのやさしさ 18/100

MedakaLang/medaka#4715 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
S0: unsigned binder named like a prelude interface method builds to a wrong value at exit 0 (newly reachable via export let rec)
オープン
- 何か問題がありますか？
S0: silent wrongness ws:soundness

難易度 4/5 3〜5日初心者へのやさしさ 35/100

MedakaLang/medaka#4714 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
medaka test: a pinned known-red reads as changed when the target is given by absolute path
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 3/5 半日初心者へのやさしさ 45/100

MedakaLang/medaka#4712 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
Investigation: what interpreter performance do agent scripts actually need (blocks the D2 decision)
オープン
- 何か問題がありますか？
S3: friction & debt ws:perf

難易度 4/5 3〜5日初心者へのやさしさ 18/100

MedakaLang/medaka#4707 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
no way to import a dotted module path for its impls only (import a.b is a single-name import)
オープン
- 何か問題がありますか？
S3: friction & debt ws:language

難易度 5/5 1週間以上初心者へのやさしさ 12/100

MedakaLang/medaka#4701 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
Boxed Wasm traps when a local parameter shadows __fallthrough__
オープン
- 何か問題がありますか？
S1: loud breakage verified ws:wasm

難易度 4/5 3〜5日初心者へのやさしさ 55/100

MedakaLang/medaka#4697 · コメント 1 件 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
diff.editScript memory is quadratic in the edit distance
オープン
- 何か問題がありますか？
S3: friction & debt ws:perf

難易度 5/5 1週間以上初心者へのやさしさ 32/100

MedakaLang/medaka#4691 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
csv.parse is quadratic in one quoted field spanning many lines or delimiters
オープン
- 何か問題がありますか？
S3: friction & debt ws:perf

難易度 4/5 3〜5日初心者へのやさしさ 57/100

MedakaLang/medaka#4690 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
Interpreted typed emitter entries panic on default-method ADT fixture
オープン
- 何か問題がありますか？
S1: loud breakage verified ws:soundness

難易度 4/5 3〜5日初心者へのやさしさ 48/100

MedakaLang/medaka#4689 · コメント 1 件 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
optionOrPanic loses the panic's file:line:col that a direct panic carries in a native binary
オープン
- 何か問題がありますか？
S2: misleading ws:diagnostics

難易度 4/5 3〜5日初心者へのやさしさ 45/100

MedakaLang/medaka#4688 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
Typed prelude-free Wasm emits duplicate Option and Result constructor types
オープン
- 何か問題がありますか？
S1: loud breakage verified ws:wasm

難易度 4/5 3〜5日初心者へのやさしさ 55/100

MedakaLang/medaka#4687 · コメント 1 件 · 2026年10月31日に作成

メンテナーはふだん 1 日以内に返信
medaka test (interpreter): a module that only DEFINES a helper named readLine or readAll is refused with 'test declarations reach the extern readLine'
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 4/5 3〜5日初心者へのやさしさ 55/100

MedakaLang/medaka#4685 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
dev_compile_node silently truncates large WAT when stdout is a pipe
オープン
- 何か問題がありますか？
S0: silent wrongness verified ws:tooling

難易度 2/5 1〜3時間初心者へのやさしさ 82/100

MedakaLang/medaka#4684 · コメント 1 件 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Native and Wasm emission panic on partial application of runtime primitives
オープン
- 何か問題がありますか？
S1: loud breakage verified ws:language ws:wasm

難易度 4/5 3〜5日初心者へのやさしさ 48/100

MedakaLang/medaka#4683 · コメント 1 件 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Style debt (stdlib): firstLine-shaped helper copies, private globMatch twin of path.matchGlob, hand-kept suites floors
オープン
- 何か問題がありますか？
S3: friction & debt ws:stdlib

難易度 4/5 3〜5日初心者へのやさしさ 35/100

MedakaLang/medaka#4680 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Record-pun pattern in a lambda parameter does not bind its field: an outer binding of the same name is used (silent wrong value)
オープン
- 何か問題がありますか？
S0: silent wrongness

難易度 4/5 3〜5日初心者へのやさしさ 54/100

MedakaLang/medaka#4677 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
nightly fuzz_diff: open findings
オープン
- 何か問題がありますか？
難易度 5/5 1週間以上初心者へのやさしさ 25/100

MedakaLang/medaka#4675 · コメント 2 件 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
LSP: offer lint fix edits as code actions (quickfix per finding, fix-all-safe source action)
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 4/5 3〜5日初心者へのやさしさ 48/100

MedakaLang/medaka#4674 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
nightly must-fail census: tracker/corpus disagreements + pinning candidates
オープン
- 何か問題がありますか？
ws:testing

難易度 1/5 1時間未満初心者へのやさしさ 45/100

MedakaLang/medaka#4673 · コメント 2 件 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
tree-sitter-medaka: committed src/parser.c is stale vs grammar.js (shebang, raw_string_lit) and no CI gate builds or tests the grammar
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 4/5 3〜5日初心者へのやさしさ 48/100

MedakaLang/medaka#4671 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
SC3: medaka run /dev/stdin fails with 'no main in this file' for a piped or heredoc program (contract and #4633 said it works)
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 4/5 1〜2日初心者へのやさしさ 45/100

MedakaLang/medaka#4670 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Style debt: hand-rolled initList copies (dropLastSeg, dropLastPlanModule); lint-rule candidate
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

MedakaLang/medaka#4666 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
SC0 diagnostics: net* externs refused on medaka run still say BUG / gap in the compiler (follow-up to #4620)
オープン
- 何か問題がありますか？
S2: misleading ws:diagnostics

難易度 5/5 1週間以上初心者へのやさしさ 35/100

MedakaLang/medaka#4665 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Lint on SyntaxSource: publishSyntax costs +3.8% on lint (B); make SyntaxSource lazy or build it as a FileFacts memo
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 5/5 1週間以上初心者へのやさしさ 28/100

MedakaLang/medaka#4664 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Lint: 92 cross-project rule-duplicate-body twins (stdlib vs parsec/pds/gzip) are unenforced; each cluster needs an owner module
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 5/5 1週間以上初心者へのやさしさ 25/100

MedakaLang/medaka#4663 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Member-aliased method captures standalone function and returns wrong value
オープン
- 何か問題がありますか？
S0: silent wrongness ws:typecheck

難易度 5/5 1週間以上初心者へのやさしさ 25/100

MedakaLang/medaka#4659 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
gate_registry.mdk readGate/readShard and lint_baseline.mdk baselineRowAt still index-loop toml.tableEntry (quadratic)
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 2/5 1〜3時間初心者へのやさしさ 73/100

MedakaLang/medaka#4657 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
run: list-of-strings cons+reverse grows ~3-4x per doubling in TIME while allocation stays linear; list.reverse overflows at ~16k elements
オープン
- 何か問題がありますか？
S3: friction & debt ws:perf

難易度 5/5 1週間以上初心者へのやさしさ 35/100

MedakaLang/medaka#4655 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
run: String index s[i] does stringToChars per access (O(n) per index, quadratic loops)
オープン
- 何か問題がありますか？
S3: friction & debt ws:perf

難易度 4/5 1〜2日初心者へのやさしさ 53/100

MedakaLang/medaka#4654 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
run: installConsts is O(names^2) in the module global frame (findCell linear scan per installed name)
オープン
- 何か問題がありますか？
S3: friction & debt ws:perf

難易度 4/5 1〜2日初心者へのやさしさ 48/100

MedakaLang/medaka#4653 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Raw Wasm emitter traps on unannotated Float conditional
オープン
- 何か問題がありますか？
S1: loud breakage ws:wasm

難易度 4/5 3〜5日初心者へのやさしさ 45/100

MedakaLang/medaka#4650 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信
Move desugar.mapChildren, refindex and fmt onto frontend/ast_walk (one exhaustive traversal owner)
オープン
- 何か問題がありますか？
S3: friction & debt ws:tooling

難易度 5/5 1週間以上初心者へのやさしさ 35/100

MedakaLang/medaka#4649 · 2026年10月30日に作成

メンテナーはふだん 1 日以内に返信

MedakaLang

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

何か問題がありますか？

最新の 100 件のみ表示しています

新しい issue をメールで受け取る