Tagged articles

Compile-time Checks

2 articles · Page 1 of 1
LuTiao Programming
LuTiao Programming
Sep 13, 2026 · Backend Development

Spring Data 4.1: Type-Safe Property Paths Turn String Sorting into Compile-Time Checks

Spring Data 4.1 introduces type-safe property paths using method references like Sort.by(Order::getCreatedAt) and TypedPropertyPath for nested fields, replacing error-prone string-based sorting with compile-time checks and IDE refactoring support across JPA, JDBC, MongoDB, and other Spring Data modules.

Compile-time ChecksJPAMethod References
0 likes · 13 min read
Spring Data 4.1: Type-Safe Property Paths Turn String Sorting into Compile-Time Checks
High Availability Architecture
High Availability Architecture
Mar 18, 2022 · Fundamentals

A C Programmer's First Experience with Rust

The author, a veteran C/C++ developer, reflects on two months of using Rust, highlighting how Rust's compile‑time safety checks address common memory problems of C languages, the challenges of reproducing runtime bugs, and the trade‑off between longer compile times and more reliable software.

Compile-time ChecksRustc++
0 likes · 9 min read
A C Programmer's First Experience with Rust