القائمة
Flixの公式ドキュメントとプロジェクト固有のコーディングスタイルを確認する。パイプスタイル、エフェクト構文、テストの書き方、0.71.0固有の注意点を含む - Flixコードを新規作成・修正するとき、テストを書くとき、Flix構文を確認したいとき
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/ababup1192/frogger --skill flix-docsيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
استنادا إلى تصنيف SOC المهني
عرض SKILL.md
| name | flix-docs |
| description | Flixの公式ドキュメントとプロジェクト固有のコーディングスタイルを確認する。パイプスタイル、エフェクト構文、テストの書き方、0.71.0固有の注意点を含む - Flixコードを新規作成・修正するとき、テストを書くとき、Flix構文を確認したいとき |
Flixコードを書く・修正する前に、公式LLM向けドキュメントと本プロジェクトのルールを確認してください。
WebFetch で https://doc.flix.dev/for-llms.html を取得する
以下の項目を特に確認する：
|> の使い方取得したドキュメントの要点を簡潔に提示し、これからの作業に関連する部分をハイライトすること
以下のプロジェクト固有ルールを必ずリマインドすること
p → player、scn → scene、btn → button のように省略しない// NG: 略しすぎて意味が伝わらない
def update(p: Player, scn: Scene): Scene = ...
// OK: 型名と揃えて明確にする
def update(player: Player, scene: Scene): Scene = ...
|> で一時変数を作らないこと|> で書きやすいように、レシーバとなる変数を最後の引数として関数を作ることmap, flatMap などが続いたら、forM が使えないか検討することmap, filter などが続いたら、filterMap 等の関数が使えないか検討することrun せず、呼び出し元へ伝播させること
run すると IO に変換され、関数シグネチャが IO だらけになる// NG: その場で run して IO に変換してしまう
def getTimestamp(): Int64 \ IO =
run Clock.currentTime(TimeUnit.Milliseconds) with Clock.runWithIO
// OK: エフェクトを伝播させる（run は呼び出し元に任せる）
def getTimestamp(): Int64 \ Clock =
Clock.currentTime(TimeUnit.Milliseconds)
main や @Test ではコンパイラが @DefaultHandler を自動挿入するので、明示的なハンドラは不要with で指定 — ライブラリが提供する runWithIO 等を使うwith handler で手書き — カスタムの振る舞いが必要な場合の最終手段// 優先度1: DefaultHandler に任せる（推奨）
// main や @Test ではエフェクトをシグネチャに書くだけでよい
def main(): Unit \ {Clock, Logger} =
let ts = Clock.currentTime(TimeUnit.Milliseconds);
Logger.info("Timestamp: ${ts}")
// 優先度2: 組み込みハンドラを with で指定
def example(): Unit \ IO =
run someEffectfulWork() with Clock.runWithIO
// 優先度3: 手書き handler（最終手段）
def example2(): Unit \ IO =
run someEffectfulWork() with handler Clock {
def currentTime(u, k) = k(0i64)
}
Java の API を直接使う前に、Flix 標準ライブラリに同等の機能がないか必ず確認すること。 API リファレンス: https://api.flix.dev/
Math.Random, Math.Shuffle を使う。うまくいかない場合は RandomUtil を拡張Fs モジュールを使う（Java の Files / FileInputStream 等は使わない）
Fs.readFile, Fs.writeFile, Fs.readLines, Fs.writeLinesFs.appendFile, Fs.appendLinesFs.fileExists, Fs.fileSize, Fs.deleteFile, Fs.copyFile, Fs.moveFileBufReader を使う
BufReader.withDefaultCapacity(rc, reader) で生成BufReader.readWhile, BufReader.peek, BufReader.read, BufReader.skipInteger.parseInt 等は使わない）
Int32.tryToInt8, Int32.tryToInt16 → Option を返すInt32.toInt64, Int32.toFloat64 → 精度を保つInt32.fromString → Option[Int32], Int32.toStringFloat64.fromString, Float32.toFloat64 などtruncateToXxx は精度が落ちるので意図的な場合のみ使用bug! を使用すること@Test 関数は必ず Unit を返す必要がある@Test
def testFoo(): Unit \ Assert =
Assert.assertTrue(someCondition)
handler は予約語（エフェクトハンドラで使用）// NG: handler は予約語
case Some((handler, params)) => ...
// OK: 別の単語を使う
case Some((action, params)) => ...
Channel.buffered(size) — Region を受け取らない、サイズのみ(Sender[t], Receiver[t]) のタプルChan と NonDet##java.io.IOException ではなく IOException）java.Math.abs() のようには呼び出せない