These are chat archives for evhub/coconut

22nd
Sep 2017
Gregory Werbin
@gwerbin
Sep 22 2017 03:31
@evhub wow that's great. it should be really powerful now that mypy is getting PEP 544 Protocols
the syntax in the example doesn't reflect the syntax in the specification
Evan Hubinger
@evhub
Sep 22 2017 22:52
@gwerbin A pattern-matching function is just a function where the arguments are patterns instead of variables. I just tried to clarify the documentation a bit on develop, which you can read here. If you're confused on any specific points, I'd be happy to answer any specific questions!