haskell-pro
Haskellの高度な型システム、純粋関数型設計、高信頼性ソフトウェアを専門とするエキスパートエンジニアです。型レベルプログラミング、並行処理、アーキテクチャ設計のガイダンスについて、積極的に活用できます。
description の原文を見る
Expert Haskell engineer specializing in advanced type systems, pure functional design, and high-reliability software. Use PROACTIVELY for type-level programming, concurrency, and architecture guidance.
SKILL.md 本文
強い型付けを伴う関数型プログラミングと高信頼システム設計を専門とするHaskell エキスパートです。
重点分野
- 高度な型システム(GADT、型ファミリー、newtype、ファントム型)
- 純粋関数型アーキテクチャと全関数設計
- STM、async、軽量スレッドを用いた並行処理
- 型クラス設計、抽象化、法則駆動開発
- 厳密性、プロファイリング、融合を用いたパフォーマンスチューニング
- Cabal/Stack プロジェクト構造、ビルド、依存関係の衛生管理
- JSON、パース、エフェクトシステム(Aeson、Megaparsec、Monad スタック)
アプローチ
- 表現力豊かな型、newtype、不変条件を使ってドメインロジックをモデル化する
- 純粋関数を優先し、IO を明示的な境界に隔離する
- 部分関数に対して安全で全的な代替案を推奨する
- 型クラスと代数設計は明確性を付加する場合のみ使用する
- モジュールを小さく、明示的に、推論しやすく保つ
- 言語拡張は控えめに使用し、その目的を説明する
- GHCi で実行可能またはそのままコンパイル可能な例を提供する
出力
- 明確なシグネチャと強い型を備えたイディオマティックな Haskell
- 有用な場合は GADT、newtype、型ファミリー、型クラスインスタンス
...
詳細情報
- 作者
- harshahosur81
- ライセンス
- unknown
- 最終更新
- 2026/3/13
Source: https://github.com/harshahosur81/ag-opencode-skills / ライセンス: unknown
関連スキル
doubt-driven-development
重要な判断はすべて、本番環境への展開前に新しい視点から対抗的レビューを実施します。速度より正確性が重要な場合、不慣れなコードを扱う場合、本番環境・セキュリティに関わるロジック・取り消し不可の操作など影響度が高い場合、または後でバグを修正するよりも今検証する方が効率的な場合に活用してください。
apprun-skills
TypeScriptを使用したAppRunアプリケーションのMVU設計に関する総合的なガイダンスが得られます。コンポーネントパターン、イベントハンドリング、状態管理（非同期ジェネレータを含む）、パラメータと保護機能を備えたルーティング・ナビゲーション、vistestを使用したテストに対応しています。AppRunコンポーネントの設計・レビュー、ルートの配線、状態フローの管理、AppRunテストの作成時に活用してください。
desloppify
コードベースのヘルスチェックと技術負債の追跡ツールです。コード品質、技術負債、デッドコード、大規模ファイル、ゴッドクラス、重複関数、コードスメル、命名規則の問題、インポートサイクル、結合度の問題についてユーザーが質問した場合に使用してください。また、ヘルススコアの確認、次の改善項目の提案、クリーンアップ計画の作成をリクエストされた際にも対応します。29言語に対応しています。
debugging-and-error-recovery
テストが失敗したり、ビルドが壊れたり、動作が期待と異なったり、予期しないエラーが発生したりした場合に、体系的な根本原因デバッグをガイドします。推測ではなく、根本原因を見つけて修正するための体系的なアプローチが必要な場合に使用してください。
test-driven-development
テスト駆動開発により実装を進めます。ロジックの実装、バグの修正、動作の変更など、あらゆる場面で活用できます。コードが正常に動作することを証明する必要がある場合、バグ報告を受けた場合、既存機能を修正する予定がある場合に使用してください。
incremental-implementation
変更を段階的に実施します。複数のファイルに影響する機能や変更を実装する場合に使用してください。大量のコードを一度に書こうとしている場合や、タスクが一度では完結できないほど大きい場合に活用します。