Hacker News Reader

The Fo compiler parses and type-checks Fo source code and then generates and outputs Go code. It generates a unique concrete type for each usage of a generic type. You can look at the examples directory of the repo to see what this output looks like: https://github.com/albrow/fo/tree/master/examples/box.

Generic interfaces are pretty fundamental IMO. It's something I plan to add to the language before the v1 release.

Here are a couple diffs that leave out the copied code:

https://github.com/albrow/fo/compare/faf3c9f96a8ecd9d17ca968...

https://github.com/albrow/fo/compare/f76c531f839e5e76e5f6b7f...

It's very likely monomorphizing the types, i.e. creating a unique type for each generic invocation.