lkjaldfwltjohw

3 ms·

1. 1.▲
   by lkjaldfwltjohw 3y ago

   At a glance the type system is quite barebones and nominative. I'd like to see Gleam add support for structural types and maybe set theoretic [1] [1] https://arxiv.org/abs/2302.12783
2. 2.▲
   by lkjaldfwltjohw 3y ago

   ORMs manifest when the language doesn't have native query constructs. C# (LINQ) or F# (Query Expressions) come to mind. Sadly not much else.
3. 3.▲
   by lkjaldfwltjohw 3y ago

   Meh, even the traditionally non-gc languages ones have used reference counting (gobject, Objective-C MRC) or even GC (gcnew C++/CLI) I admit that STW GC pauses sicken me, so I avoid them on principle.
4. 4.▲
   by lkjaldfwltjohw 3y ago

   No, they are obviously ignorant to type theory
5. 5.▲
   by lkjaldfwltjohw 3y ago

   > Understanding ownership transfer and management can be one of the most confusing and complex aspects of Rust. It is crucial to consider the program's execution flow and manage mutable and immutable variables in memory to avoid get