Hiraq Citra MinlifefunkRust NewType & ADT PatternsAs a software engineer, it’s our job to analyze the business model and translate it into our software codebase, it means our software…Jul 191
alex_berJava’s record and sealed classes as categorical product and sum types. Part IIIWhy they where added so late to JavaApr 5
İbrahim KozHow to model sum types in Go?Although Go doesn’t have built-in support for sum types, we can simulate them to some extent using interfaces and type assertions. Here’s…Apr 18Apr 18
Tomas PerezinBetter ProgrammingAlgebraic Data Types for Python. A Lesson From Rust.May 24, 20231May 24, 20231
alex_berJava’s record and sealed classes as categorical product and sum types. Part IIWhy they where added so late to JavaMar 302Mar 302
Hiraq Citra MinlifefunkRust NewType & ADT PatternsAs a software engineer, it’s our job to analyze the business model and translate it into our software codebase, it means our software…Jul 191
alex_berJava’s record and sealed classes as categorical product and sum types. Part IIIWhy they where added so late to JavaApr 5
İbrahim KozHow to model sum types in Go?Although Go doesn’t have built-in support for sum types, we can simulate them to some extent using interfaces and type assertions. Here’s…Apr 18
alex_berJava’s record and sealed classes as categorical product and sum types. Part IIWhy they where added so late to JavaMar 302
Marcin BaranieckiinSoftwareMill Tech BlogAlgebraic Data Types in four languagesHow to model the data in a concise way using Haskell, Scala, Rust and TypeScript.Oct 24, 20189
PhilipsinPhilips Technology BlogThe Unanticipated Powers of Total Program CardinalityAuthor: Rodolfo Hansen, Philips Software Competency LeadMar 26
alex_berImplementation of Categorical Sum and Product types using struct tagged union in CImplementation detailsMar 4