Tag
Microsoft has promoted Rust to an internal Tier-1 language and is integrating it with the MSVC toolchain for Windows development, including low-level work like drivers and the kernel. A new Rust code generator for rustc underpins production-grade Windows support, signaling deeper investment in memory-safe systems software.
Nicolas Seriot 明确证明了 ncurses terminfo 的参数扩展语言是图灵完备的，通过将两计数器 Minsky 机器归约到 terminfo 指令集，并展示了一个由 /usr/bin/top 驱动、可在终端中运行的 Fibonacci 程序。
The Rust project announces Generic Const Arguments (GCA), a family of new language features enabling expressions with generic parameters in Const Generics, replacing the long-standing experimental `generic_const_exprs` feature. The post explains the `gca!` macro, the `gca_adts` feature, design trade-offs, and contributions from the Const Generics project group.
Quantitative Finance with OCaml is a comprehensive technical book/guide covering derivatives pricing, risk management, credit modeling, algorithmic trading, and HFT infrastructure using OCaml, with production-quality code, honest mathematical derivations, and coverage of modern OCaml 5 features (domains, effects, OxCaml extensions).
Jimmy Miller argues that programming languages should be customizable per-codebase, pushing back against longstanding criticisms of macros and language-modification tools like Raymond Chen's rant against flow-control macros, claiming these arguments no longer hold up in modern software development.
RacketCon 2026, the sixteenth gathering for the Racket programming language community, is happening Saturday with a live stream and talks on notation, type inference in Typed Racket, and low-level language-oriented programming via the new Pille language.
Verdagon details how the experimental Valen programming language enforces memory safety across the Valen/Rust boundary, implementing group borrowing (borrow checking without shared-xor-mutable) while seamlessly calling into Rust functions directly.
A blog article clarifying the differences and similarities between module systems (OCaml) and typeclasses (Haskell, Rust), arguing that typeclasses primarily serve ad-hoc polymorphism while modules serve modular abstraction, and that each can partially emulate the other at a cost.
A technical writeup presenting lang_narrow, a small language with flow typing that structurally narrows union types at control-flow branches using is/in expressions, along with a runtime implementation, performance considerations, and discussion comparing its union types to algebraic data types.
ind-igo/bend-frontend is a composable frontend for Bend 2 written in Bend that type-checks programs once and emits a typed, serializable Core.Program for any backend, including EVM (via bend-evm) and WASM.
The article explores why Lisp's parenthesis-heavy syntax is perceived as difficult to read, drawing on cognitive science principles like the Stroop effect to explain how syntax design influences human perception.
The post discusses potential future changes to programming languages if code is mainly read rather than written by humans, such as eliminating import statements and hiding package names to enhance readability.
The article critiques the resistance to changing or customizing programming languages, discussing historical debates around macros and advocating for greater flexibility in language design.
The article reflects on how programming languages and their communities might evolve in the AI era, with a focus on the impact of coding agents on language design, tooling, and ecosystem dynamics.
A tweet discusses how AI models proficiently write Rails code, suggesting a better starting point yields better outcomes, and debates the long-term viability of interpreted languages like Ruby and Python amid AI advancements.
The article explores why many common Rust packages have dependencies on C code, likely discussing technical reasons and implications for the ecosystem.
The article discusses the trade-offs of using named parameters and flexible argument styles in programming languages, comparing Rust's simplicity with Ruby's conciseness and expressing skepticism about adopting similar features in Rust.
The article critiques Rust's lack of named and optional arguments, compares implementations in Dart, C#, TypeScript, and Python, and proposes potential future solutions for Rust.
This article compares the compile-time reflection capabilities of C++, Zig, and C3 programming languages. It demonstrates how each language handles tasks like enum to string conversion and struct introspection with code examples.
This article explains the concepts of union types, sum types, and product types in programming languages, highlighting their differences and applications in type systems.