Fortress with metatraits, v1
(The title of this post is also the link to the file.)
Very first draft of a quick explanation of my extension to Fortress, with examples. For the uninitiated, I’m extending Fortress to support metaclasses in order to express certain structures and operations more like Haskell type classes. Hopefully this serves as a decent solution to the binary method problem (all our binary operations like simple numeric addition are defined like `add(other: T): T`) while also adding new expressivity to the language.