Exceptions and Panics Were a Mistake: Better Error Handling
Exceptions and panics turn ordinary control flow into hidden exits. Osprey makes expected failure explicit with Result types and algebraic effect handlers.
Osprey Blog
Language design and implementation notes.
SemVer Is All Lies. Please Stop
Semantic versioning records maintainer intent, not compatibility proof. Osprey's package plan proposes exact identity, compatibility epochs, and downstream testing.
Perceus ARC in Osprey: Functional Memory Management
Osprey ships opt-in Perceus automatic reference counting. The compiler inserts ownership operations, and the runtime reclaims values as owner counts reach zero.
Osprey Flavors: Two Syntaxes, One Language
Default and ML syntax lower to the same Osprey program representation.
Persistent Collections in Osprey: Immutable List and Map with Structural Sharing
Osprey now ships persistent List<T> and Map<K,V> backed by a 32-way bitmapped vector trie and a HAMT — the same data structures that power Clojure and Scala. Append, set and remove are O(log32 n); old versions of a collection stay valid in O(1) extra space.
Memory Safety and Osprey's Runtime Boundary
Osprey-managed values are memory-safe; C calls cross that boundary.
Modeling Web API Results with Pattern Matching
Use union variants to represent API outcomes and match each case explicitly.