importantSYS.SOURCE: crumbles.blog• 2026-09-18T16:15:52Z

Subtyping Challenges Between Mutable and Immutable Data Structures

#immutability #subtyping #type-theory

The article explains why mutable and immutable data structures cannot be subtypes of each other due to differences in their contractual guarantees, violating Liskov's Substitution Principle. It proposes type classes and ad hoc polymorphism as solutions to handle shared operations without subtyping.

Read original article

*** END OF TRANSMISSION ***

> KDE'S 30TH ANNIVERSARY CONFERENCE FEATURES AI-NATIVE DESKTOP PROPOSAL > SPAIN IMPLEMENTS WEBSITE BLOCKS ON ARCHIVE.TODAY AND MIRROR SITES > CHIEF OF STAFF PATTERN FOR COORDINATING CLAUDE CODE AGENTS > UTF-8000: A PROPOSAL FOR ARBITRARILY LARGE UTF-8 CODE UNITS > MASTERING SHELL SCRIPTING FOR COMMAND-LINE AUTOMATION > STEP 5 PREVIEW: ADVANCING THE PARETO FRONTIER > FACTORIZATION OF RSA-896 BY STEPHEN A. WEIS AND CLAUDE IN 2026 > EXFILTRATION OF MODEL WEIGHTS VIA JAVASCRIPT-DEPENDENT APPLICATION > DUNGEON CRAWL STONE SOUP: OPEN-SOURCE ROGUELIKE DUNGEON ADVENTURE GAME > EXPLOITING INTEGER OVERFLOW TO DEFEAT THE DREAM DEVOURER IN CHRONO TRIGGER> KDE'S 30TH ANNIVERSARY CONFERENCE FEATURES AI-NATIVE DESKTOP PROPOSAL > SPAIN IMPLEMENTS WEBSITE BLOCKS ON ARCHIVE.TODAY AND MIRROR SITES > CHIEF OF STAFF PATTERN FOR COORDINATING CLAUDE CODE AGENTS > UTF-8000: A PROPOSAL FOR ARBITRARILY LARGE UTF-8 CODE UNITS > MASTERING SHELL SCRIPTING FOR COMMAND-LINE AUTOMATION > STEP 5 PREVIEW: ADVANCING THE PARETO FRONTIER > FACTORIZATION OF RSA-896 BY STEPHEN A. WEIS AND CLAUDE IN 2026 > EXFILTRATION OF MODEL WEIGHTS VIA JAVASCRIPT-DEPENDENT APPLICATION > DUNGEON CRAWL STONE SOUP: OPEN-SOURCE ROGUELIKE DUNGEON ADVENTURE GAME > EXPLOITING INTEGER OVERFLOW TO DEFEAT THE DREAM DEVOURER IN CHRONO TRIGGER