cucapra / styleguide

rules for writing and typesetting
https://capra.cs.cornell.edu/styleguide/
MIT License
23 stars 5 forks source link

typecheck vs type-check vs type check #2

Open wilbowma opened 3 years ago

wilbowma commented 3 years ago

Was having this debate during a submission today. Do y'all have opinions?

My reasoning was to apply the same rationale as runtime vs run-time vs run time: type check when type is modifying the verb check, type-check when acting as a phrase modifying something else such as type-checking algorithm, and never typecheck.

sampsyo commented 3 years ago

Happy PLDying, @wilbowma!

Here is my feeling on this: one first has to make a judgment call about whether the verb is type-check or typecheck. I don't know the answer to this; it depends on how far down the road of language drift we are. This style guide should probably stake an opinion one way or another but we haven't yet. But after that:

So I guess this answer is not much more useful than, like, 🤷‍♀️.