10000 Aras14HD (Aras) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Aras14HD's full-sized avatar
💭
currently focusing on School
💭
currently focusing on School
4 followers · 9 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Block or report Aras14HD

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. sk4rd/jari sk4rd/jari Public

    Rust 6 1

  2. Mesh-P2P/Mesh Mesh-P2P/Mesh Public

    A P2P standard based on the fact that your contacts likely share at least some of yours

  3. Konemo Konemo Public

    A conlang inspired by Korean and Latin, made to be organic, with a simple script.

  4. Mesh-P2P/mesh-rs Mesh-P2P/mesh-rs Public

    The official Mesh implementation

    Rust 1 1

  5. tolik518/factorion-bot tolik518/factorion-bot Public

    A reddit bot, written in rust, replying to comments, containing factorials, on r/mathmemes with the solution

    Rust 11 1

  6. A Unified Typesystem: Partial, Varia... A Unified Typesystem: Partial, Variant, Borrowed Types and more
    1 
    # A Unified Typesystem: Partial, Variant, Borrowed Types and more
    2 
    Recently I stumbled over the blog post [The Inconceivable Types of Rust](https://blog.polybdenum.com/2024/06/07/the-inconceivable-types-of-rust-how-to-make-self-borrows-safe.html).
    3 
    
              
    
              
    
                4
                
    It stuck with me, the ideas were great, but felt unpolished, so I thought about it and I want to share those thoughts with you.
    
              
    
              
    
                5
                
    In this post I aim to outline what these concepts are and their applications, what syntax I feel fits well, and broadly how one might design a type checker for this.
    
              
    
          
    
    
    
  
    

    7. 












      
        

          
  
    
    

        

        





        

      





      

  


          



    



  

    

    

    





    


    

    

  


0