#programming-blogs
Read more stories on Hashnode
Articles with this tag
In the last post, a type class named TypeRelation was added to the implementation of platform-dependent types, enabling the creation of mappings...
https://www.youtube.com/watch?v=UC3DU4pFjFo Last time, we looked at two potential encodings of C's platform dependent type long. Today we'll renew our...
Associating items by Type Class ยท When learning Scala you'll eventually encounter two forms of polymorphism. If you come from a Java or C++ then you'll...
Think of your daily routine. You wake up, you go to work, you go back home, and you go back to sleep. Your activities are looping, with them changing...
Scala has had the concept of Path Dependent Types for a long time, and in Scala 3 this concept has been used to formalize the type system (see: DOT...
Over the past month I've been developing SLinC, a library to generate bindings to C functions from pure Scala code using Java 17's foreign incubator....