Let's get interfaces working

[chewxy]

Hi,

I'm happy to help out wherever I can, but I'd love for interfaces to work. I propose that for an initial iteration, only closed interfaces are supported (i.e. interfaces with unexported methods). This way one can exhaustively find the type switch cases.

[tchajed]

Hi @chewxy! Thanks for the offer.

We have an undergrad (@sharontlin) working on this already so I do want to leave this open for her to work on. In that project we're first going to target just calling interface methods on a struct, then work on supporting type switches and conversions. After that I'm happy to look into any extensions that would help support a use case you have in mind.

[chewxy]

Happy to help in any way. The world is missing Go <-> Coq connections. It'd be so great to be able to check models in Coq.