faith_and_brave https://blog.hatena.ne.jp/faith_and_brave/ Faith and Brave - C++で遊ぼう https://faithandbrave.hateblo.jp/ Haskell このエントリは、Haskell Advent Calendar 2011の参加記事です。 今回は、HaskellのGHC拡張であるGADTs(Generalized Algebraic Data Types : 一般化代数データ型)を調べて使ってみたという内容を書いてみました。 最初に、GADTsはGHC拡張なので、使用するには以下のようにして拡張を有効にする必要があります： {-#LANGUAGE GADTs #-} まずは構文的な違いを、Maybeを例にして見てみましょう。 通常の代数データ型では、Maybeは以下のように書きます： data Maybe a = Nothing | Jus… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffaithandbrave.hateblo.jp%2Fentry%2F20111201%2F1322718742" title=" GADTs使ってみた - Faith and Brave - C++で遊ぼう" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-12-01 14:52:22 rich https://faithandbrave.hateblo.jp/entry/20111201/1322718742 1.0 100%