LiquidHaskell のインストールと学習方法Posted on March 3, 2018 authored by Shinya Yamaguchi Last Updated May 2, 2020 はじめに LiquidHaskell を半年ほど勉強した結果、色々と出来ることが増えて楽しくなってきました。 現状、日本語で詳しく説明しているブログ記事等はほとんどありません。 とても面白いツールだと思いますので、色々と紹介していけたらと思います。 今回は LiquidHaskell の導入方法について簡単に説明したいと思います。 LiquidHaskell とは？ LiquidHaskell は GHC の型よりも、さらに厳密な 篩型 (Refinement Type) の型検査器です。 既存のコードを変更 (さらには実行すら) することなく利用できるため、既存のプロジェクトの一部にだけ導入することも可能です。 また、つい最近も GA
