Haskell » History » Version 2
Grigoriy Volkov, 12/05/2018 03:11 PM
| 1 | 1 | Grigoriy Volkov | h1. Haskell |
|---|---|---|---|
| 2 | |||
| 3 | h2. libs |
||
| 4 | |||
| 5 | * "concat":https://github.com/conal/concat ("z3cat":https://github.com/jwiegley/z3cat/blob/master/test/Main.hs || "smt example":https://github.com/conal/concat/blob/master/examples/src/ConCat/SMT.hs) — *"Compiling to categories":http://conal.net/papers/compiling-to-categories/* — compiler plugin for translating normal Haskell functions (on standard types) to SMT, etc. |
||
| 6 | * "SBV: SMT Based Verification":https://leventerkok.github.io/sbv/ — translates Haskell functions on custom symbolic types |
||
| 7 | * "refined":http://nikita-volkov.github.io/refined/ — refinement types <pre>type ProperFraction = Refined (And (Not (LessThan 0)) (Not (GreaterThan 1))) Double</pre> |
||
| 8 | * "hedgehog":https://github.com/hedgehogqa/haskell-hedgehog — random test gen (QuickCheck) |
||
| 9 | 2 | Grigoriy Volkov | * "GHC.Stack":https://hackage.haskell.org/package/base-4.10.0.0/docs/GHC-Stack.html — can get code position for DSL |
| 10 | * "Data.Sequence":http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Sequence.html — list with fast append on both sides |
||
| 11 | |||
| 12 | h2. exts |
||
| 13 | |||
| 14 | * "RebindableSyntax":https://ocharles.org.uk/guest-posts/2014-12-06-rebindable-syntax.html — overloading built-in operators / do notation |
||
| 15 | * "NullaryTypeClasses":https://ocharles.org.uk/posts/2014-12-10-nullary-type-classes.html — global implementation of one thing |