Shit. Also. This has actually been attempted. Urbit "infers" types from functions by executing them with type objects so the relevant bindings themselves retur

Shit. Also. This has actually been attempted. Urbit "infers" types from functions by executing them with type objects so the relevant bindings themselves return type objects. If you can skip over both the syntax and the creator, there are some intesting things to be found in there.