generics

Copper 是一种精简的底层编程语言，旨在成为 C 语言的更简单替代方案，支持面向对象编程和泛型，注重明确、易于理解的语法。它采用 BSD 许可证发布。

一篇技术博客文章，探讨在 C 语言中编写类型安全泛型数据结构的技巧，从头文件包含宏和 void 指针，逐步深入到联合体与内联存储，并以链表实现为例进行说明。

Rust 项目宣布推出 Generic Const Arguments（GCA），这是一组新的语言特性，允许在 Const Generics 中使用包含泛型参数的表达式，取代长期处于实验状态的 `generic_const_exprs` 特性。文章介绍了 `gca!` 宏、`gca_adts` 特性、设计权衡，以及 Const Generics 项目组成员的贡献。

作者分享了学习Gleam编程语言的个人笔记，重点介绍了@deprecated属性、todo构造、泛型和case表达式等特性，并与其他语言进行了比较。

Go 1.27 引入了泛型方法，允许方法在不修改接收结构体的情况下定义自己的类型参数，从而解决了 Go 1.18 中的局限性。但由于运行时约束，接口仍被排除在外。

本文解释了如何使用类型相等性证明在 OCaml 中编码受保护方法，从而仅对特定方法而非整个类施加接收者约束。

本文讨论了一个提案，旨在向Go的container包添加泛型集合类型，通过泛型扩展标准库的功能。

Go 1.27 新功能的实践性交互式导览，重点介绍泛型方法、结构体字面量字段选择器等，并提供基于官方发布说明的可运行示例。

C3 0.8.2 是 C3 编程语言的一个小幅更新，增加了可复用的库目标模板、泛型反射、位结构属性、新的 @param 选项，并修复了多个 bug。

深入解释 Go 编译器如何使用 GC shape stenciling 实现泛型，并与 Rust 的 full monomorphization 和 Java 的 type erasure 进行比较。

这篇博客文章介绍了'only bounds'，这是对Rust泛型系统的一个提议改进，它用一组更丰富的大小特性代替了当前的Sized/?Sized层次结构，以适应动态大小类型和ARM's Scalable Vector Extension。

本文讨论了CPU密集型Go代码的性能优化技术，指出了泛型和接口抽象因无法内联而产生的局限性，并主张在热路径中使用代码复制。文章通过一个Brotli移植示例和深入基准测试进行了说明。