Nothing here yet.
Nothing here yet.
Mar 11, 2024 · 16 min read · In 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...
Join discussion
Feb 15, 2024 · 8 min read · It'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...
Join discussion
Jul 18, 2022 · 3 min read · When 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...
Join discussionJul 8, 2022 · 12 min read · Strongly-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...
Join discussionApr 5, 2022 · 16 min read · So 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...
Join discussion