Project

General

Profile

Edit History

Haskell » History » Version 5

Grigoriy Volkov, 01/22/2019 04:19 PM

1 1 Grigoriy Volkov 
h1. Haskell
2 





    3
    4
    Grigoriy Volkov
    
"Haskell Cheatsheet":http://bxt.github.io/Ludus/haskell-cheatsheet/





    4
    
    
    





    5
    5
    Grigoriy Volkov
    
h2. snippets





    6
    
    
    





    7
    
    
    
* [[HaskellMaybeChecks]]





    8
    
    
    
* [[HaskellTypeLevelMachine]]





    9
    
    
    





    10
    1
    Grigoriy Volkov
    
h2. libs





    11
    
    
    





    12
    
    
    
* "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.





    13
    
    
    
* "SBV: SMT Based Verification":https://leventerkok.github.io/sbv/ — translates Haskell functions on custom symbolic types





    14
    
    
    
* "refined":http://nikita-volkov.github.io/refined/ — refinement types <pre>type ProperFraction = Refined (And (Not (LessThan 0)) (Not (GreaterThan 1))) Double</pre>





    15
    
    
    
* "hedgehog":https://github.com/hedgehogqa/haskell-hedgehog — random test gen (QuickCheck)





    16
    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





    17
    
    
    
* "Data.Sequence":http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Sequence.html — list with fast append on both sides





    18
    3
    Grigoriy Volkov
    





    19
    
    
    
h2. exts





    20
    
    
    





    21
    
    
    
* "RebindableSyntax":https://ocharles.org.uk/guest-posts/2014-12-06-rebindable-syntax.html — overloading built-in operators / do notation





    22
    
    
    
* "NullaryTypeClasses":https://ocharles.org.uk/posts/2014-12-10-nullary-type-classes.html — global implementation of one thing





    23
    5
    Grigoriy Volkov
    
* "DataKinds":http://ponies.io/posts/2014-07-30-typelits.html , TypeFamilies (+ GHC.TypeLits) — type-level annotations





    24
    
    
    
** "Basic Type Level Programming in Haskell":https://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html





    25
    
    
    
** "Parsing type-level strings in Haskell":https://kcsongor.github.io/symbol-parsing-haskell/





    26
    
    
    
** "Servant, Type Families, and Type-level Everything":https://arow.info/blog/posts/2015-07-10-servant-intro.html





    27
    
    
    
** "Haskell Type Names as Strings":http://www.mchaver.com/posts/2017-12-12-type-name-to-string.html