Tag
The author shares personal notes on learning the Gleam programming language, highlighting features like the @deprecated attribute, todo construct, generics, and case expressions, with comparisons to other languages.
Go 1.27 adds generic methods, allowing methods to define their own type parameters without modifying the receiving struct, addressing a limitation from Go 1.18 while excluding interfaces due to runtime constraints.
This article explains how to encode guarded methods in OCaml using type equality witnesses, allowing constraints on the receiver only for specific methods rather than the whole class.
This article discusses a proposal to add generic collection types to Go's container package, expanding the standard library's capabilities with generics.
A hands-on interactive tour of Go 1.27's new features, highlighting generic methods, struct literal field selectors, and more, with runnable examples based on the official release notes.
C3 0.8.2 is a modest update to the C3 programming language, adding reusable target templates for libraries, reflection for generics, bitstruct properties, new @param options, and various bug fixes.
An in-depth explanation of how the Go compiler implements generics using GC shape stenciling, comparing it to Rust's full monomorphization and Java's type erasure.
This blog post introduces 'only bounds', a proposed improvement to Rust's generics system that replaces the current Sized/?Sized hierarchy with a richer set of sizedness traits to accommodate dynamically sized types and ARM's Scalable Vector Extension.
The article discusses performance optimization techniques for CPU-bound Go code, highlighting the limitations of generics and interface abstractions due to lack of inlining, and advocates for code duplication in hot paths. It provides examples from a Brotli port and deep-dive benchmarking.