Reactive DDD - When Concurrent Waxes Fluent
Explore Reactive software development for high-performance, scalable solutions. Learn to model business-driven systems with Domain-Driven Design, focusing on fluent, type-safe, and Reactive properties. Guidance on modernizing legacy systems included.
Reactive DDD - When Concurrent Waxes Fluent
Explore Reactive software development for high-performance, scalable solutions. Learn to model business-driven systems with Domain-Driven Design, addressing distribution, concurrency, and latency challenges.
The Curiously Recurring Pattern of Coupled Types
Explore affine spaces in programming, their properties, and applications in C++ for stronger type safety and improved program semantics. Learn to create expressive APIs with affine types.
Type Safe Data Validation Using Pydantic v2
Master Pydantic v2's new APIs, type system interactions, and Rust-powered internals for robust data validation in Python, including PEP 593 and PEP 695 features.
Continuing WebAssembly with Effect Handlers
Explore WasmFX, an extension to WebAssembly enabling direct translation of non-local control features via effect handlers, improving compiler efficiency for various programming languages.
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Explore type-preserving compilation for algebraic effect handlers, focusing on safety in continuation capture and resumption using stack polymorphism in an Agda-implemented compiler.
Suki: Choreographed Distributed Dataflow in Rust
Explore Suki, a Rust DSL for implementing streaming dataflow with explicit compute placement, enabling fine-grained control and global optimization in distributed systems.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Polymorphic Type Inference for Dynamic Languages
Explore a novel type system combining polymorphism, intersection types, and subtyping for dynamic languages. Learn about type reconstruction algorithms and their applications in advanced programming.
Capturing Types: A Calculus for Tracking Free Variables in Type Systems
Explore a calculus representing captured variables in types for enhanced safety, enabling effect implementation via scoped capabilities and guiding practical capture checking in programming languages.
Zero-effort Type-safe Parsing of JSON and XML in Go - Zürich Go Meetup
Explore go-jsonstruct and go-xmlstruct for effortless generation of Go structs to parse JSON/XML, enhancing type safety and efficiency in data handling.
@property - One of the Coolest New CSS Features
Explore the revolutionary @property CSS feature, its potential impact, and how to effectively implement it in your web development projects.
Navigation Compose: Type Safety and New APIs
Explore Navigation Compose's new Type Safety feature and type-safe APIs for Android development, covering NavGraphs, arguments, Bottom Nav Bar, and DeepLinks implementation.
Unexpected Monad - Safe Error Handling in JavaScript and TypeScript
Explore safe error handling in JS/TS beyond try/catch, featuring typed errors, documentation, and logging without disrupting flow. Learn implementation techniques for robust code.
Type Safe GraphQL with TypeScript
Explore type-safe GraphQL with TypeScript, from schema generation to backend implementation and frontend integration, for a robust end-to-end development model.
Python Type Hints - 5 Ways to Supercharge Your Code
Discover how Python Type Hints enhance code quality through 5 powerful techniques, from basic foundations to advanced patterns and best practices for safer, more maintainable applications.
How TypeScript Improves Developer Experience Through Type Safety and Data Integrity
Discover how TypeScript enhances developer productivity through practical examples, from type definitions and data integrity to managing complex application structures and preventing runtime errors.
TypeScript's Magic - Achieving End-to-End Type Safety Across Full Stack
Master end-to-end type safety in full-stack development using TypeScript, exploring utility types, Zod validation, Drizzle ORM, Hono framework, and Redis OM with practical implementations.
A History of Subtyping
Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.
Asynchronous and Synchronous Mixed Sessions in Session Types - Lecture 30
Explore the expressive power of mixed session types in distributed processes, examining their impact on type safety and communication in asynchronous and synchronous contexts.
Strongly-Typed Multi-View Stack-Based Computations
Explore a Domain-Specific Language for stack-based computations, ensuring type correctness and supporting multiple views and mutually recursive functions of arbitrary arities.