konn-san.com 建設予定地 Blog GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 konn-san.com 型であそぼう! みなさん今日は!遂にHaskell Platform 2012.2.0.0 がリリースされましたね! そこでこの記事では、シンプルな例を通して、GADTs や型族、更には GHC 7.4.1 の新機能であるデータ型の昇格と制約カインド、などといった型レベルプログラミングの機能を紹介していきたいと思います。こちらが題材となるソースコードです。 問題:リストの要素を関数に渡したい Haskell を学びたての頃によくしがちな間違いとして、リス
![GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜](https://cdn-ak-scissors.b.st-hatena.com/image/square/cb6396801d2c3295f7e5163537021072f879fadf/height=288;version=1;width=512/https%3A%2F%2Fkonn-san.com%2Fimg%2Fmyface_mosaic.jpg)