[HN Gopher] Higher RAII and the seven arcane uses of linear types
       ___________________________________________________________________
        
       Higher RAII and the seven arcane uses of linear types
        
       Author : agluszak
       Score  : 19 points
       Date   : 2024-05-14 20:37 UTC (2 hours ago)
        
 (HTM) web link (verdagon.dev)
 (TXT) w3m dump (verdagon.dev)
        
       | verdagon wrote:
       | Cool to see this on HN!
       | 
       | This is my favorite part of language design: you get to play with
       | weird ideas and see how the implications cascade through the rest
       | of the program. It kind of blew my mind when a _linear type_
       | solved a _caching_ problem.
       | 
       | Now it's kind of a curse, because any time I code in a normal
       | language (even the modern ones like Scala and Rust) I see places
       | (concurrency, coroutines, etc) where we could have statically
       | prevented these bugs.
        
       | NeutralForest wrote:
       | Is there a reason we're not seeing linear types in more
       | languages? I'm not familiar with how difficult it is to implement
       | or if there are usage difficulty that end up showing only after a
       | while?
        
       ___________________________________________________________________
       (page generated 2024-05-14 23:01 UTC)