Dominik Stolz voidc

## 0000-pattern-types.md

      
              1 file
            
          
              0 forks
            
          
              17 comments
            
          
              5 stars
            
          
                joboet
                / 0000-pattern-types.md
            
            
              Last active
              June 3, 2024 12:14
            
              
                Pattern types RFC
              
          
Feature Name: pattern_types
Start Date: (fill me in with today's date, YYYY-MM-DD)
RFC PR: rust-lang/rfcs#0000
Rust Issue: rust-lang/rust#0000

Summary

This RFC introduces pattern types, which are subtypes of matchable types that
are statically restricted to a subset of the variants of the original type.

  
## IndexedState.md

      
              1 file
            
          
              8 forks
            
          
              7 comments
            
          
              46 stars
            
          
                pthariensflame
                / IndexedState.md
            
            
              Last active
              June 15, 2022 18:42
            
              
                An introduction to the indexed state monad in Haskell, Scala, and C#.
              
          
    The Indexed State Monad in Haskell, Scala, and C#

Have you ever had to write code that made a complex series of succesive modifications to a single piece of mutable state?  (Almost certainly yes.)
Did you ever wish you could make the compiler tell you if a particular operation on the state was illegal at a given point in the modifications?  (If you're a fan of static typing, probably yes.)
If that's the case, the indexed state monad can help!
Motivation