generated at
GHC拡張一覧

GHC v9.0.1で見ている
「消えた?」みたいなコメントはこれに対して言っている
できればもっと細かく分類したいmrsekut


v9.0.1
分類もある
詳しい
versionがいくつの話をしているのかわからん



記法の拡張
Arrow記法を有効にする
非推奨

演算子の拡張
\ n -> (n, 0) (,0) と書ける



Pattern matchを柔軟に
非推奨
消えた?



リテラル

正格評価


Deriving
Typeable型クラスData型クラスのinstanceの自動導出
deriving Generic って書ける
新しめ
新しめ
Functorのinstanceの自動導出


Do
Applicative Styleを do を使って書く



内包表記

型クラス
multi-parameter type classを定義できる
ここで出てきた
type Hoge = .. のような型シノニムに対して、型クラスのインスタンスを作れる
決定不能性を指摘するエラーを無視する
これ分類、型クラスで合ってるのか #??


量化


kind
データ型をkindへ昇格する
kind注釈をつけられる
高階多相型ができる


型族
型演算子を使用可能にする


Recordのパターンマッチの略記
f {x1, x2} = x1 + x2 と書ける
f {..} = x1 + x2 と書ける

Record
消えた?
hoge.x でアクセスできる
fieldをgetterにするのを無効にする



Unbox

Template Haskellを有効にする

FFI








未分類
IxMonadでdo式使いたい時に使う
import "package-one-0.1.0.1" Data.Module.X みたいなimport文が書ける
消えた?
新しい
新しい
新しい
新しい
GHC-9.0.1で入った
線形型
新しい
新しい
新しい
新しい
新しい
新しい


削除された
Generics





ちょい古い
全部に1行説明がある
1行説明
分類