MHMark Hammonsinmhammons.hashnode.dev·Mar 11, 2024 · 16 min readA false endIn the last post, a type class named TypeRelation was added to the implementation of platform-dependent types, enabling the creation of mappings between platform-dependent types and basic integral types like Long based on the Platform type of the app...00
MHMark Hammonsinmhammons.hashnode.dev·Feb 15, 2024 · 8 min readOur journey beginsIt's been a longstanding dream of mine to make C and Scala play nice. While Scala is one of my favorite languages, it tends to be trapped in the semi-walled garden of the JVM. I want to write apps that benefit the opensource community, like applicati...00
MHMark Hammonsinmhammons.hashnode.dev·Jul 18, 2022 · 3 min readContainersWhen learning Scala you'll eventually encounter two forms of polymorphism. If you come from a Java or C++ then you'll be familiar with parametric and subtype polymorphism. However, Scala also supports ad-hoc polymorphism via type classes. A type clas...00
MHMark Hammonsinmhammons.hashnode.dev·Jul 8, 2022 · 12 min readMetadata types with Scala 3Strongly-typed programming languages allow us to avoid programming errors by lifting important information about data into the type system. By doing this, we can use the compiler to check our programs, and the stronger your types, the more your compi...00
MHMark Hammonsinmhammons.hashnode.dev·Apr 5, 2022 · 16 min readFunctions and Polymorphic MethodsSo far, the methods we've dealt with have had strictly defined types. Parameters for these methods were specified in terms of Int, Double, String, etc. Now we are going to look at what it means for a method to be polymorphic, and what functions are i...00
