C# 15 重磅更新：引入 Union 类型，让多状态数据处理更安全高效
C# 15 在 .NET 11 预览版 2 中正式引入了备受瞩目的“联合类型”。通过新的 `union` 关键字，开发者现在可以定义包含一组固定类型的封闭集合，编译器将强制进行详尽无遗的模式匹配检查，确保所有情况均被处理，从而大幅减少运行时...
标签索引 / 第 4 页
编程语言
这个标签下有 112 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
实验性语言Sky发布：融合Elm优雅与Go性能，打造零依赖的全栈开发新范式
Sky 是一种受 Elm 启发的实验性编程语言，旨在结合 Go 的实用主义与 Elm 的优雅语法。它允许开发者使用函数式编程（FP）编写代码，并编译成单一的可移植 Go 二进制文件，从而彻底摆脱 Node.js 和 npm 的依赖。Sky ...
告别 JNI！OpenJDK Panama 项目打通 Java 与原生代码的“任督二脉”
OpenJDK 的 Panama 项目正致力于革新 Java 虚拟机（JVM）与原生代码（主要是 C 语言库）的交互方式。该项目旨在终结繁重且易错的 JNI 时代，引入了外部函数接口 (FFI)、外部内存访问 API 和向量计算 (Vect...
C++26标准正式定稿：引入静态反射与安全机制，迎来自C++11以来最大变革
ISO C++委员会正式宣布完成C++26标准的技术定稿。此次更新被视为继C++11以来最重要的里程碑，核心特性包括被称为“十年级引擎”的静态反射、已在Google和Apple数亿行代码中验证的内存安全强化、Contracts契约编程以及统...
超越苹果生态：实测Swift与C语言库Raylib的无缝互操作与WASM移植
针对近期关于Swift生态系统及其与C/C++交互能力的质疑，作者通过实战进行了有力回击。文章展示了如何在无需编写复杂FFI代码的情况下，利用Swift Package Manager和Clang导入器，直接调用C语言游戏库Raylib。作...
Rust 的核心困境：为了生态进化，是否该废除“一致性”规则？
本文深入剖析了 Rust 语言中“一致性”和“孤儿规则”对生态系统发展的阻碍。作者指出，这些规则虽然保证了内存安全，却导致早期的核心库（如 serde）形成垄断，难以被替代，从而抑制了技术创新。文章评估了多种现有方案的局限性，并大胆提出移除...
Haskell 生态里程碑：Dataframe 1.0 发布，打造类型安全的高性能 AI 数据处理引擎
Haskell 社区经过两年研发，正式发布了 Dataframe 1.0.0.0 版本。该库引入了强类型 API，能够利用编译器检查数据 Schema，大幅提升了数据处理的安全性。新版本实现了 Apache Arrow C Data 接口，...
重温1977年图灵奖经典：编程能否摆脱冯·诺依曼风格的束缚？
本文是计算机先驱约翰·巴克斯（John Backus）获得图灵奖时的演讲，首次提出了函数式编程概念，并深刻批判了传统冯·诺依曼架构的“瓶颈”。有前IBM开发者在评论区指出，尽管巴克斯未能目睹AI智能体的兴起，但他倡导的函数式风格在AI辅助编...
类型系统的局限：Elixir创始人谈为何静态类型是“漏洞百出”的抽象
本文由Elixir创始人José Valim撰写，深入探讨了在动态语言中引入类型系统时面临的挑战。通过`Map.take!/2`这一具体案例，文章揭示了类型系统有时会成为限制语言表达力的“漏洞百出”的抽象。作者对比了Elixir与TypeS...
揭秘 std::any 背后的黑科技：C++ 类型擦除机制详解
本文深入剖析了C++标准库中std::any背后的核心技术——类型擦除。文章从虚函数和模板多态的基础讲起，通过逐步推导的方式，演示了如何利用“概念”与“模型”的设计模式，将不相关的具体类型封装在统一的接口之下。这不仅揭示了底层实现原理，也展...