Abdul Haliq AHaliq

## ATaxonomyOfSelfTypes.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              2 comments
            
          
          
            
              
              17 stars
            
          
        
        
          
              
          
          
            
                johnchandlerburnham
                / ATaxonomyOfSelfTypes.md
            
            
              Last active
              May 2, 2024 16:33
            
              
                A Taxonomy of Self Types
              
          
        
      
        
  
      
    A Taxonomy of Self-Types

Part I: Introduction to Self-Types

Datatypes in the Formality programming language are built out of an unusual
structure: the self-type. Roughly speaking, a self-type is a type that can
depend or be a proposition on it's own value. For instance, the consider the
2 constructor datatype Bool: