Post AuPGG6KImd2eeCGeH2 by ids1024@mathstodon.xyz
 (DIR) More posts by ids1024@mathstodon.xyz
 (DIR) Post #AuPGG6KImd2eeCGeH2 by ids1024@mathstodon.xyz
       2025-05-24T03:13:04Z
       
       0 likes, 0 repeats
       
       I wonder if anyone has designed a "systems" programming language that doesn't have destructors, but makes it a compile error for a variable to fall out of scope without being stored or explicitly destroyed. When people like Linux kernel maintainers complain about the "implicit control flow" of destructors, that could be a perfect alternative.I need to try the experimental `LinearTypes` feature of Haskell. It would be nice to see Rust offer a feature like that. (Rust has "affine" rather than "linear" types.)
       
 (DIR) Post #AuPGG73K5F3QtpKbRo by brettm@swarm.coiloptic.org
       2025-05-24T03:29:53Z
       
       0 likes, 0 repeats
       
       Hare was talking about adding linear types at one point. I think they are still interested in the idea but the person who was gonna do it is too busy with other things. But perhaps one day it will be in Hare.