y_taka_23 https://blog.hatena.ne.jp/y_taka_23/ チェシャ猫の消滅定理 https://ccvanishing.hateblo.jp/ 先日、秋葉原で行われた技術書のオンリーイベント「技術書典 2」にて、LiquidHaskell の同人誌を頒布してきました。 lh101.dodgsonlabs.com LiquidHaskell は、SMT ソルバをバックエンドとして利用することで、Haskell の持つ型の表現力をより強化する仕組みです。通常の Haskell では型情報としてエンコードできない値レベルの制約を記述できるため、例えば「0 でない Int 型」を定義すればゼロ除算をコンパイル時に検知できます。以前の記事 にちょっとした解説があります。 当日は冊子版を 30 冊と PDF 版ダウンロードカードを 50 シリアル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fccvanishing.hateblo.jp%2Fentry%2F2017%2F04%2F11%2F044041" title="技術書典 2 で同人誌『入門 LiquidHaskell』を頒布しました - チェシャ猫の消滅定理" 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 2017-04-11 04:40:41 rich https://ccvanishing.hateblo.jp/entry/2017/04/11/044041 1.0 100%