GHC 8.6 から BlockArguments という拡張が入った．これは構文拡張で，Haskell 2010 で必要だった幾つかの括弧を省略できるようにするもの …

Haskell では、ボイラープレートは非常に嫌われており、それを撲滅するため強力な型システムの他にも幾つか機能が組み …

今回は，GHC拡張の一つ RankNTypes の紹介をしようと思う．もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってる …

元ネタは Trees that grow ． Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し，その構造を操作するこ …

Haskell はいくつかのリテラルで型クラスを使用したオーバーロードを許容している．例えば，Haskell で 1 と書いた場合，この型 …

現在， GHC に 線形型の提案 がされていて活発に議論されている．プロトタイプも ここ から利用可能だ． Docker イメージも利用 …

https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238 の記事に触発されて，ちょっと書く気になった．こちらも面白い記事なので，ぜひ参照してほしい …