A 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...Mar 11, 2024 · 16 min readmhammons.hashnode.dev
Our 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...Feb 15, 2024 · 8 min readmhammons.hashnode.dev
ContainersWhen 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...Jul 18, 2022 · 3 min readmhammons.hashnode.dev
Metadata 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...Jul 8, 2022 · 12 min readmhammons.hashnode.dev
Functions 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...Apr 5, 2022 · 16 min readmhammons.hashnode.dev
