If I can teach you one thing, it’s not to put a hyphen between an adverb and the adjective it refines. But it turns out I can’t teach you anything. I’m massively-irritated.
Conversation
Reviewed two papers this week that use dependently-typed languages
2
5
Either I'm missing a joke, or I'm very confused. ESL, this seems like the case where you make an adjective out of an (adverb, adjective) pair, thus warranting the hyphen. Am I being wooshed? 🤔
2
1
Tbh I’m not the right person to ask
Quote Tweet
Replying to @wilbowma and @PTOOP
Ok I'm gonna argue for for this one
Dependent-typed languages, because it's now an adjective to languages, but the language is dependently typed
1
I'm still not really sure whether type checking should have a hyphen. I'm thinking maybe yes when as an adjective, like "type-checking algorithm", but at the same time I wouldn't hyphenize "type inference algorithm"
Maybe it has to do with "checking" being a gerund
1
1
I've also seen typechecking and this all confuses me very much
now I'm off to learn what a ‘gerund’ is…