Ejecuta cualquier Skill en Manus
con un clic

Ejecuta cualquier Skill en Manus con un clic

language-extensions

Estrellas3

Forks1

Actualizado21 de mayo de 2026 a las 09:24

Haskell language extension and language edition (GHC2024/GHC2021) selection policy. Use when configuring or reviewing Haskell language extensions, cabal default-extensions, or default-language.

Instalación

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Ejecutar en Manus

Fuente

ncaq

ncaq/konoka

Abrir repositorio de GitHub Ver repositorios del creador

Descarga

Ejecutar en Manus

Ocupaciones relacionadasSOC

Basado en la clasificación ocupacional SOC

Desarrolladores de softwareOcupaciones informáticas y matemáticas·SOC 15-1252

Explorador de archivos

2 archivos

SKILL.md

readonly

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で有効になっていなくても、比較的安全で有用な言語拡張は有効にします。

GHC2021に含まれている拡張

BangPatterns
BinaryLiterals
ConstrainedClassMethods
ConstraintKinds
DeriveDataTypeable
DeriveFoldable
DeriveFunctor
DeriveGeneric
DeriveLift
DeriveTraversable
DoAndIfThenElse
EmptyCase
EmptyDataDecls
EmptyDataDeriving
ExistentialQuantification
ExplicitForAll
FieldSelectors
FlexibleContexts
FlexibleInstances
ForeignFunctionInterface
GADTSyntax
GeneralisedNewtypeDeriving
HexFloatLiterals
ImplicitPrelude
ImplicitStagePersistence
ImportQualifiedPost
InstanceSigs
KindSignatures
MonomorphismRestriction
MultiParamTypeClasses
NamedFieldPuns
NamedWildCards
NoExplicitNamespaces
NumericUnderscores
PatternGuards
PolyKinds
PostfixOperators
RankNTypes
RelaxedPolyRec
ScopedTypeVariables
StandaloneDeriving
StandaloneKindSignatures
StarIsType
TraditionalRecordSyntax
TupleSections
TypeApplications
TypeOperators
TypeSynonymInstances

GHC2024に含まれている拡張

上のGHC2021に加えて、以下の拡張がGHC2024に含まれています。

DataKinds
DerivingStrategies
DisambiguateRecordFields
ExplicitNamespaces
GADTs
LambdaCase
RoleAnnotations

cabalファイルの設定例

典型的な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を参照してください。

Más de este repositorio

mismo repositorio

commit

ncaq/konoka

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.

2026-07-153

ncaq/konoka

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.

2026-07-153

research

ncaq/konoka

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.

2026-06-163

himari

ncaq/konoka

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.

2026-06-143

prefer-specific-method

ncaq/konoka

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.

2026-06-043

avoid-for

ncaq/konoka

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.

2026-06-043

言語拡張の選択方針

Haskellの言語拡張と、言語拡張のセットである言語バージョンの選択方針について説明します。

基本の方針

Haskellの言語バージョンは使える場合はGHC2024を使用します。

使えない場合はGHC2021を使用します。

GHC2024で有効になっていなくても、比較的安全で有用な言語拡張は有効にします。

GHC2021に含まれている拡張

BangPatterns

BinaryLiterals

ConstrainedClassMethods

ConstraintKinds

DeriveDataTypeable

DeriveFoldable

DeriveFunctor

DeriveGeneric

DeriveLift

DeriveTraversable

DoAndIfThenElse

EmptyCase

EmptyDataDecls

EmptyDataDeriving

ExistentialQuantification

ExplicitForAll

FieldSelectors

FlexibleContexts

FlexibleInstances

ForeignFunctionInterface

GADTSyntax

GeneralisedNewtypeDeriving

HexFloatLiterals

ImplicitPrelude

ImplicitStagePersistence

ImportQualifiedPost

InstanceSigs

KindSignatures

MonomorphismRestriction

MultiParamTypeClasses

NamedFieldPuns

NamedWildCards

NoExplicitNamespaces

NumericUnderscores

PatternGuards

PolyKinds

PostfixOperators

RankNTypes

RelaxedPolyRec

ScopedTypeVariables

StandaloneDeriving

StandaloneKindSignatures

StarIsType

TraditionalRecordSyntax

TupleSections

TypeApplications

TypeOperators

TypeSynonymInstances

GHC2024に含まれている拡張

上のGHC2021に加えて、以下の拡張がGHC2024に含まれています。

DataKinds

DerivingStrategies

DisambiguateRecordFields

ExplicitNamespaces

GADTs

LambdaCase

RoleAnnotations

cabalファイルの設定例

典型的な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を参照してください。