New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Declare universe polymorphic types #11

Open

gmalecha opened this issue Oct 13, 2015 · 0 comments

Labels

enhancement Stale

Collaborator

gmalecha commented Oct 13, 2015

There should be universe polymorphic versions of, e.g. [list], [option], etc.

There should be a convention about this, e.g.

Prefix with [p], e.g. plist, poption.
Prefix with [_], e.g. _list, _option.

Everything else should be essentially the same.

Note there are still useful reasons to have monomorphic definitions, e.g. performance.

gmalecha added the enhancement label

github-actions bot added the Stale label

# for free to join this conversation on GitHub. Already have an account? # to comment