Identity Types
Explores identity and equality types in type theory, contrasting definitional vs. propositional equality and their role in proofs.
Explores identity and equality types in type theory, contrasting definitional vs. propositional equality and their role in proofs.
Analyzes C# struct equality performance, comparing default structs, IEquatable implementations, and C# 10 record structs.
An in-depth look at the NaN (Not a Number) value in JavaScript, covering its nature, how to check for it, and common operations that produce it.
Explains Python's __eq__ and __hash__ methods, their interaction, and the critical rule that an object's hash must never change.
A guide to simplifying the implementation of GetHashCode in C#, covering best practices, common pitfalls, and new .NET Core features.