Skip to content

Conversation

mwcraig
Copy link
Member

@mwcraig mwcraig commented Jul 19, 2021

The intent of this is not to be merged. The intent was to do two things:

This is intended for making the discussion of the API separate from
particular implementations of the API
@mwcraig mwcraig marked this pull request as draft July 19, 2021 16:06
@mwcraig mwcraig added API Issues that relate to the API itself rather than implementations question Further information is requested labels Jul 19, 2021
@pllim
Copy link
Member

pllim commented Jul 19, 2021

But... but... our code is self-documenting...

@mwcraig
Copy link
Member Author

mwcraig commented Jul 19, 2021

Agreed -- that is why this isn't intended to land in the repository ever. I thought it would be helpful to talk about any remaining API issues/questions before deciding how we move forward with that API (ABC or protocol or...).

Put differently, I wasn't sure whether to update #126 or #142 so I copy-pasted into a separate doc 😬

@pllim
Copy link
Member

pllim commented Jul 19, 2021

Both @gpdf and @astrofrog did not like my approach with #126 , so maybe #142 is the better way to go. 🤷

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

API Issues that relate to the API itself rather than implementations question Further information is requested

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants