菜单
Haskell language extension and language edition (GHC2024/GHC2021) selection policy. Use when configuring or reviewing Haskell language extensions, cabal default-extensions, or default-language.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
Generate a commit message from staged changes and let the user review before committing. Use when the user wants to commit changes or create a git commit.
Generate a GitHub pull request title and body from the current branch and let the user review before creation. Use when the user wants to create a pull request.
Investigate any topic by querying multiple external sources (web, official docs, GitHub, MCP servers). Use whenever a question requires information not already in the working context, including library behavior, API specifications, error diagnostics, version comparisons, or general factual lookup.
himari is ncaq's rio-like custom Haskell Prelude. Import it with a single `import Himari`, never `import Himari.Prelude` or other submodules directly. Use when writing or reviewing Haskell code in a project that depends on the himari package.
Prefer the most specific built-in method over general-purpose ones in TypeScript/JavaScript. Use includes over indexOf, some over filter().length, find over filter()[0], flatMap over map().flat(), at(-1) over length-based access, startsWith/endsWith/includes over indexOf on strings, structuredClone over JSON round-trip. Use when writing or reviewing code that searches, tests, transforms arrays, objects, or strings.
Avoid for loops (C-style, for...of, for...in) in TypeScript/JavaScript. Prefer higher-order Array methods like map, filter, find, some, every, reduce. Use when writing or reviewing loops or iteration over arrays, objects, Map, Set, or String.
| name | language-extensions |
| description | Haskell language extension and language edition (GHC2024/GHC2021) selection policy. Use when configuring or reviewing Haskell language extensions, cabal default-extensions, or default-language. |
| user-invocable | false |
Haskellの言語拡張と、 言語拡張のセットである言語バージョンの選択方針について説明します。
Haskellの言語バージョンは使える場合はGHC2024を使用します。
使えない場合はGHC2021を使用します。
GHC2024で有効になっていなくても、
比較的安全で有用な言語拡張は有効にします。
BangPatternsBinaryLiteralsConstrainedClassMethodsConstraintKindsDeriveDataTypeableDeriveFoldableDeriveFunctorDeriveGenericDeriveLiftDeriveTraversableDoAndIfThenElseEmptyCaseEmptyDataDeclsEmptyDataDerivingExistentialQuantificationExplicitForAllFieldSelectorsFlexibleContextsFlexibleInstancesForeignFunctionInterfaceGADTSyntaxGeneralisedNewtypeDerivingHexFloatLiteralsImplicitPreludeImplicitStagePersistenceImportQualifiedPostInstanceSigsKindSignaturesMonomorphismRestrictionMultiParamTypeClassesNamedFieldPunsNamedWildCardsNoExplicitNamespacesNumericUnderscoresPatternGuardsPolyKindsPostfixOperatorsRankNTypesRelaxedPolyRecScopedTypeVariablesStandaloneDerivingStandaloneKindSignaturesStarIsTypeTraditionalRecordSyntaxTupleSectionsTypeApplicationsTypeOperatorsTypeSynonymInstances上のGHC2021に加えて、
以下の拡張がGHC2024に含まれています。
DataKindsDerivingStrategiesDisambiguateRecordFieldsExplicitNamespacesGADTsLambdaCaseRoleAnnotations典型的なcabalファイルでの言語バージョンと言語拡張の設定は以下のようになります。
default-language: GHC2024
default-extensions:
ApplicativeDo
BlockArguments
CPP
DefaultSignatures
DerivingVia
DuplicateRecordFields
FunctionalDependencies
LexicalNegation
LinearTypes
MonadComprehensions
MultiWayIf
NegativeLiterals
NoFieldSelectors
NoImplicitPrelude
OverloadedLabels
OverloadedRecordDot
OverloadedStrings
ParallelListComp
PatternSynonyms
QualifiedDo
QuantifiedConstraints
QuasiQuotes
RecordWildCards
RecursiveDo
StrictData
TemplateHaskell
TypeData
TypeFamilies
TypeFamilyDependencies
ViewPatterns
各言語拡張を、
かの個別の方針と理由はreference.mdを参照してください。