サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
セキュリティ
ucsd-progsys.github.io
LiquidHaskell is a GHC Plugin Posted by Ranjit Jhala Aug 20, 2020 I enjoy working with LH. However, I’d be the very first to confess that it has been incredibly tedious to get to work on existing code bases, for various reasons. LH ran one file at a time; it was a hassle to systematically analyze all the modules in a single package. LH had no notion of packages; it was impossible to import specifi
Programming with Refinement Types An Introduction to LiquidHaskell Ranjit Jhala, Eric Seidel, Niki Vazou [PDF] 1.Introduction {#intro} 1.1. Well-Typed Programs Do Go Wrong {#gowrong} 1.2. Refinement Types 1.3. Audience 1.4. Getting Started 2.Logic & SMT 2.1. Syntax 2.2. Semantics {#semantics} 2.3. Verification Conditions 2.4. Examples: Propositions 2.5. Examples: Arithmetic 2.6. Examples: Uninterp
Programming with Refinement Types Ranjit Jhala (University of California, San Diego) Well-Typed Programs Can Go Wrong Division By Zero λ> let average xs = sum xs `div` length xs λ> average [100, 202, 300] 2 λ> average [] *** Exception: divide by zero Missing Keys λ> :m +Data.Map λ> let m = fromList [ ("haskell" , "lazy") , ("javascript" , "eager")] λ> m ! "haskell" "lazy" λ> m ! "clojure" "*** Exc
このページを最初にブックマークしてみませんか?
『ucsd-progsys.github.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く