Artem Lisnevskiy squeakbug

## eqc.md

      
              1 file
            
          
              8 forks
            
          
                1 comment
              
            
              39 stars
            
          
                efcasado
                / eqc.md
            
            
              Last active
              January 16, 2025 16:22
            
              
                A gentle introduction to (Erlang) QuickCheck
              
          
    Erlang QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.
?FORALL(X, nat(), X*X >= 0)

  
## higher_kinded_types_in_rust_and_haskell.md

      
              1 file
            
          
              13 forks
            
          
                0 comments
              
            
              113 stars
            
          
                CMCDragonkai
                / higher_kinded_types_in_rust_and_haskell.md
            
            
              Last active
              May 13, 2025 10:19
            
              
                Rust/Haskell: Higher-Kinded Types (HKT)
              
          
    Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an
actual type.
A type constructor can be thought of in these analogies:

like a function in the type universe
as a type with a "hole" in it