メニュー
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 ページを確認してインストールできます。
SOC 職業分類に基づく
| 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を参照してください。
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.