🦉 Swift Generics

Protocol-Oriented Programming, Associated Types, Type Erasure, Functional Swift

Golang runtime type dispatch to generics
reddit.com·5h·
Discuss: r/golang
🔗Go Generics
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·14h
📞Session Types
Polymorphism for Beginners
roscidus.com·3d·
Discuss: Hacker News
🎭Polymorphic Variants
The Compiler's Magic Trick That Makes Your Code Crash-Proof
dev.to·2h·
Discuss: DEV
🚂Error Propagation
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·13h·
Discuss: Hacker News
🏗️Calculus of Constructions
User Defined Types and Custom Metadata in DataFusion
datafusion.apache.org·1h·
Discuss: Hacker News
📊DataFrame Types
Explicit Memory Reclamation in Scala
systemf.epfl.ch·20h
🗑️Garbage Collection
Apple is quietly rewriting iOS and it's not in Swift or Objective-C
freedium.cfd·8h
🌈Gradual Languages
Swift for C++ Practitioners: Flexible Array Members
douggregor.net·11h·
Discuss: Hacker News
🏷️Memory Tagging
Adhesive category theory for graph rewriting in Rocq
arxiv.org·14h
🔗Category Theory
Advanced Debugging in Elixir with IO.inspect
blog.appsignal.com·5h·
Discuss: Hacker News
✨Code Formatters
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·12h·
Discuss: Hacker News
🪆Embedded DSLs
Blueprints for Flutter Development: Building Reliable Foundations
hutouch.com·22h·
Discuss: DEV
🎮Language Ergonomics
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News
🎯Type Theory
Typename syntax and resolution in ClojureCLR
dmiller.github.io·2d
🔮Type Inference Visualization
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·6h
🎯Bit-Vector Algorithms
Wordify Numbers — Privacy, Support & Terms
1kbapps.com·1d
🔗Hash Functions
Building a Query-Based Incremental Compilation Engine in Rust
dev.to·1h·
Discuss: DEV
🗃️Query Compilation
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·14h
🚂Error Propagation