Posted on 土 27 7月 2019 in プログラミング言語 • Tagged with Haskell, GHC, GHC拡張, do構文, 型クラス
現在， GHC に 線形型の提案 がされていて活発に議論されている．プロトタイプも ここ から利用可能だ． Docker イメージも利用可能なので，気軽に試せると思うので，ぜひ試してみてくれ．
さて，そんな線形型の提案の裏で，副産物として Local Do という拡張が提案されている．今回は，その拡張の紹介と最近思ってることのお話．
Posted on 金 26 7月 2019 in プログラミング言語 • Tagged with Haskell, GHC, 融合変換, コンパイラ, 最適化
GHC は，最適化のため Call Arity と呼ばれるコード解析を行っている．この解析で，自由変数が何個引数を持っていいかを判定し，イータ展開を可能にする．リストにおける融合変換とも密接な関係のある解析だ．こいつの存在とどういうことをやっているかはだいたい知っていたんだけど，ちょっと詳しく知りたい事例があったので調べてみた．そのメモ．
なお元ネタは，Breitner (nomeata) 先生の Call Arity ．
Posted on 金 28 6月 2019 in プログラミング言語 • Tagged with Haskell, 線形型, GHC, Docker
現在， GHC に 線形型の追加提案 が出ている．その提案に合わせて，プロトタイプも公開されている．内容はあまり詳しく追ってないけど，お試し環境は作ってみたのでその備忘録．
線形型の提案は， GHC Proposals (https://github.com/ghc-proposals/ghc-proposals/pull/111) で議論されている． https://arxiv.org/abs …
Posted on 金 17 5月 2019 in 環境構築 • Tagged with Haskell, GHC, LLVM, macOS, Homebrew
GHC で LLVM を通してビルドをしたかったので，設定した．その備忘録．
GHC が対応してる LLVM のバージョンは，標準で入ってるのよりちょっと古くって，さらにバージョンごとにサポートされてる範囲が違う．各 GHC でサポートされてる LLVM のバージョンは，以下に載ってる:
https …
Posted on 金 17 5月 2019 in プログラミング言語 • Tagged with Haskell, GHC, IO
Haskell の IO モナドって，中身どうなってたんだろと気になってて，ちょっと調べてみた．そのメモ．
まずは基本から． IO モナドは， Haskell の根幹となるモナドで， main も IO で書く． GHC では中身は次のように定義されている [1]:
-- In GHC.Types …
Posted on 金 19 4月 2019 in プログラミング言語 • Tagged with Haskell, 抽象機械, GHC
先日 STG の動作について説明する機会があったんだが，ちゃんと説明できなかった．で，ちょっとこれじゃまずいって思って，色々読み直してる．で，いざっていう時のためにまとめとくかみたいな気分になっており，この記事が錬成された．なお，今の GHC の STG では色々変わってるので通用しないとこも多い．そこは注意．
Posted on 土 13 4月 2019 in 直感 • Tagged with Haskell, GHC, GHC拡張, 標準ライブラリ
https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238 の記事に触発されて，ちょっと書く気になった．こちらも面白い記事なので，ぜひ参照してほしい．
Haskell 2020 で Applicative が追加される見込みだ (そもそもちゃんと 2020 年に出るのか怪しそうだが)．それを踏まえて，標準ライブラリに入る Haskell の特徴的な一連の型クラス …
https://github.com/myuon/ghc-compiler-notes にコントリビュートしたので，それについてと考えてることとか書く．
なお， myuon さんによる紹介記事も参照: https://myuon.github.io/posts/ghc-compiler-notes/