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

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

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

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

GHC は，最適化のため Call Arity と呼ばれるコード解析を行っている．この解析で，自由変数が何個引数を持っていいかを判定 …

現在， GHC に 線形型の追加提案 が出ている．その提案に合わせて，プロトタイプも公開されている．内容はあまり詳しく追 …

GHC で LLVM を通してビルドをしたかったので，設定した．その備忘録．

Haskell の IO モナドって，中身どうなってたんだろと気になってて，ちょっと調べてみた．そのメモ．

先日 STG の動作について説明する機会があったんだが，ちゃんと説明できなかった．で，ちょっとこれじゃまずいって思 …

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