koka-lang

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

• Windows installation defective

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#958 · 2026年10月14日 に作成

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

• kklib: marking a large vector as thread-shared at depth >= 100 overflows the stack

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#956 · 2026年10月14日 に作成

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

• REPL spins at 100% CPU with growing memory and ignores SIGTERM/SIGHUP after its terminal closes

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#943 · 2026年10月8日 に作成

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

• Mimalloc crash when using paths returned by list-directory inside a parallel task

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#942 · リアクション 1 件 · 2026年10月8日 に作成

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

• std/async: nested firstof cancels the sibling strand of the outer firstof

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#941 · コメント 1 件 · 2026年10月7日 に作成

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

• Constructors with 128+ fields use mimalloc's small-object path (assertion in debug, out-of-bounds at -O2)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#938 · 2026年9月27日 に作成

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

• [BUG] (strong-random / pseudo-random) inside a handler operation crashes the Koka 3.2.3 runtime.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#931 · コメント 1 件 · 2026年9月11日 に作成

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

• Internal error: `Type.TypeVar.subNew.KindMismatch` on a recursive function with `E` type parameter before `H`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#930 · 2026年8月24日 に作成

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

• [LSP] Stale diagnostics persist after errors are fixed

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#929 · リアクション 1 件 · 2026年8月24日 に作成

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

• Effect type error for tmap-fip.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#926 · 2026年8月14日 に作成

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

• JS backend miscompiles tail-recursive match in balance-red, producing undefined values

  再び着手できるかも このイシューのプルリクエストはマージされずにクローズされました。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#925 · コメント 1 件 · 2026年8月13日 に作成

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

• Weird interactions between implicits and named arguments

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#912 · 2026年7月20日 に作成

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

• Memory leak in string join

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  fixed-on-dev

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

  koka-lang/koka#903 · 2026年6月26日 に作成

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

• Some amount of scalar arguments cause compiler hang

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#891 · コメント 2 件 · 2026年5月5日 に作成

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

• use of undeclared identifier

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#889 · 2026年5月2日 に作成

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

• Recursive default argument causes effect inference failure (`effects do not match`)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#888 · 2026年5月1日 に作成

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

• Allow specifying generic types at callsite?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#887 · 2026年4月15日 に作成

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

• Capture-avoiding substitution for forall types

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#872 · 2026年3月21日 に作成

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

• NbE workload

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#869 · リアクション 1 件 · 2026年3月4日 に作成

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

• Rename `error<a>` to `result<a>`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#867 · コメント 1 件 · リアクション 2 件 · 2026年2月11日 に作成

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

• Recursion on two inductive values is spuriously found divergent sometimes

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#862 · 2026年1月21日 に作成

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

• Naming clash not reported between effect function and regular function

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#861 · 2026年1月20日 に作成

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

• Match completeness misses simple cases

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

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

  koka-lang/koka#858 · コメント 3 件 · 2026年1月7日 に作成

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

• Effect widening doesn't occur for effect parameters

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#857 · コメント 1 件 · 2025年12月29日 に作成

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

• Type aliases should not be expanded when containing phantom type parameters.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

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

  koka-lang/koka#850 · 2025年12月11日 に作成

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

• Broken `some` inference

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#847 · コメント 1 件 · 2025年12月5日 に作成

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

• Can't reference a private type alias in another module

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#846 · 2025年12月5日 に作成

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

• Publish VS Code extension to Open VSX

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#844 · リアクション 3 件 · 2025年11月30日 に作成

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

• FFI documentation

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#843 · 2025年11月30日 に作成

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

• Error on C backend when recursively assembling string

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#832 · コメント 1 件 · 2025年11月7日 に作成

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

• Partial function application syntax

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#829 · コメント 4 件 · 2025年11月2日 に作成

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

• Tab characters are illegal in string literals?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#822 · コメント 1 件 · 2025年10月17日 に作成

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

• Forbidden identifier "postfix"?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#820 · コメント 1 件 · 2025年10月12日 に作成

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

• Unexpected output encoding

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#819 · コメント 1 件 · 2025年10月10日 に作成

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

• Point-free composition triggers effect mismatch; point-wise function does not

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#818 · コメント 3 件 · 2025年10月9日 に作成

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

• implicit not inferred based on explicitly passed argument

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#814 · コメント 1 件 · 2025年10月3日 に作成

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

• Missing documentation for pattern matching and extensible data types

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#812 · コメント 1 件 · 2025年10月2日 に作成

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

• kind mismatch on ref show function

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#811 · 2025年10月1日 に作成

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

• [LSP] diagnostics not getting through when file is accessed through symlink

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#810 · コメント 1 件 · 2025年10月1日 に作成

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

• There should be an warning if an implicit is unused.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  error-messages types

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

  koka-lang/koka#808 · コメント 1 件 · 2025年9月30日 に作成

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

• Incorrect behavior of (==) for moderately large integers (with C backend)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug c-backend

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

  koka-lang/koka#807 · 2025年9月22日 に作成

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

• Effect `exn` breaks transitive imports

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#802 · コメント 1 件 · 2025年9月2日 に作成

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

• Can't use "prefix" as a parameter name

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#796 · 2025年8月29日 に作成

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

• Recompilation fails when a module exports a forward slash

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#794 · 2025年8月27日 に作成

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

• Koka doesn't recompile a module if an included file changes

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug-has-workaround

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

  koka-lang/koka#793 · コメント 1 件 · 2025年8月22日 に作成

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

• Please consider snap packaging for Linux

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#792 · コメント 1 件 · リアクション 1 件 · 2025年8月21日 に作成

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

• Submodules within files

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#790 · 2025年8月15日 に作成

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

• Internal error when using `'a' + char(1)` directly in `print`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  crash

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

  koka-lang/koka#789 · コメント 1 件 · 2025年8月14日 に作成

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

• Named effect escaping

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#788 · コメント 14 件 · 2025年8月13日 に作成

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

• Target Koka's untyped intermediate language

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

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

  koka-lang/koka#786 · コメント 8 件 · 2025年8月8日 に作成

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