LiquidHaskell のインストールと学習方法
Posted on March 3, 2018 authored by Shinya Yamaguchi Last Updated May 2, 2020 はじめに LiquidHaskell を半年ほど勉強した結果、色々と出来ることが増えて楽しくなってきました。 現状、日本語で詳しく説明しているブログ記事等はほとんどありません。 とても面白いツールだと思いますので、色々と紹介していけたらと思います。 今回は LiquidHaskell の導入方法について簡単に説明したいと思います。 LiquidHaskell とは？ LiquidHaskell は GHC の型よりも、さらに厳密な 篩型 (Refinement Type) の型検査器です。 既存のコードを変更 (さらには実行すら) することなく利用できるため、既存のプロジェクトの一部にだけ導入することも可能です。 また、つい最近も GA
F7: Refinement Types for F# - Microsoft Research
F7 is an enhanced typechecker for the F# programming language, a dialect of ML. F7 pioneers the static checking of security properties expressed with refinement types. Although the original motivation was to check security properties, F7 is not security-specific and is applied in other areas, such as database modelling. The theoretical core of F7 is the typed lambda-calculus Refined Concurrent FPC
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
