Protocols

[bryanjos]

I don't have any solid ideas right now on how to implement protocols. Looking for any suggestions.

[bryanjos]

I think something can be built off of the idea here https://github.com/airportyh/protomorphism

That could be the actual runtime implementation. I'm thinking we can make things a bit better by handling some things in the compiler. The first thing on my my is to go through all of the modules and collect protocols along with implementations of those protocols. From there we can make a module for the protocol with all of it's implementations right along with it.

The other thing to consider would be the Protocols within the Standard Library. I don't know exactly how to handle it right now, but the outcome should be the same as above including any user defined implementations.

[bryanjos]

I'll add I'm not saying use protomorphism directly, but the general idea. Consolidating the implementations as mentioned above may make it we can do something else.

Also, having protocols makes me think that maybe the pattern matching library could be redone via protocols as well.