BlockArguments で括弧を書かない生活を送る
GHC 8.6 から BlockArguments という拡張が入った．これは構文拡張で，Haskell 2010 で必要だった幾つかの括弧を省略できるようにするもの …
続きを読む
DerivingVia で deriving 戦略を模倣する
Haskell では、ボイラープレートは非常に嫌われており、それを撲滅するため強力な型システムの他にも幾つか機能が組み …
多相関数を第一級で取り扱う
今回は，GHC拡張の一つ RankNTypes の紹介をしようと思う．もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってる …
type family を使って再帰的 ADT をオープンにする
元ネタは Trees that grow ． Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し，その構造を操作するこ …
リテラルをコンパイラ時にチェックする
Haskell はいくつかのリテラルで型クラスを使用したオーバーロードを許容している．例えば，Haskell で 1 と書いた場合，この型 …
Local Do と型クラス
2019年07月27日に投稿 • カテゴリ：プログラミング言語 • タグ：Haskell、GHC、GHC拡張、do構文、型クラス
Functor / Applicative / Monad が表すもの
https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238 の記事に触発されて，ちょっと書く気になった．こちらも面白い記事なので，ぜひ参照してほしい …