#c
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...
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...
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....
