├── LICENSE
├── README.org
├── rules.xml
└── wordlist.txt
/LICENSE:
--------------------------------------------------------------------------------
1 | BSD 3-Clause License
2 |
3 | Copyright (c) 2022, Joey Eremondi
4 | All rights reserved.
5 |
6 | Redistribution and use in source and binary forms, with or without
7 | modification, are permitted provided that the following conditions are met:
8 |
9 | 1. Redistributions of source code must retain the above copyright notice, this
10 | list of conditions and the following disclaimer.
11 |
12 | 2. Redistributions in binary form must reproduce the above copyright notice,
13 | this list of conditions and the following disclaimer in the documentation
14 | and/or other materials provided with the distribution.
15 |
16 | 3. Neither the name of the copyright holder nor the names of its
17 | contributors may be used to endorse or promote products derived from
18 | this software without specific prior written permission.
19 |
20 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
21 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
23 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
24 | FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25 | DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
26 | SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
27 | CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
28 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 |
--------------------------------------------------------------------------------
/README.org:
--------------------------------------------------------------------------------
1 | Migrated to https://codeberg.org/JoeyEremondi/pl-lt-rules
2 |
--------------------------------------------------------------------------------
/rules.xml:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 | 'm|'re|'ve|'d|'ll|'t
6 |
7 | Do not use contractions in formal writing
8 | No contractions
9 | let's
10 | let us
11 |
12 |
13 |
14 |
15 |
16 |
17 |
18 | 's
19 |
20 | In formal writing, 's should only be used for possessives, not as a contraction for "is".
21 | Don't use 's as a contraction.
22 | That's the problem, so let's look at the car's engine. Let's look at the car's engine. That's the problem with the car's engine.
23 | That is the problem, so let us look at the car's engine.
24 | Let's look at the car's engine.
25 | Let us look at the car's engine.
26 | That's the problem with the car's engine.
27 | That is the problem with the car's engine.
28 |
29 |
30 |
31 |
32 |
33 |
34 |
35 | he|she|his|her
36 |
37 | There are very few cases where gendered pronouns are appropriate in a formal paper. You can never go wrong with "they"
38 | "they"
39 | He proves this She proves this It is her proof It is his proof The proof is hers The proof is his
40 | They prove this
41 | She proves this
42 | They prove this
43 | It is her proof
44 | It is their proof
45 | It is his proof
46 | It is their proof
47 | The proof is hers
48 | The proof is theirs
49 | The proof is his
50 | The proof is theirs
51 |
52 |
53 |
54 |
55 |
56 |
57 |
58 | we
59 | have
60 |
61 |
62 | Joey uses "we have" too much in his writing
63 | Don't say "we have"
64 | We have a problem.
65 | There is a problem.
66 | We have seen it.
67 |
68 |
69 |
70 |
71 |
72 |
73 | our
74 | language
75 |
76 |
77 | Joey writes
78 | our language
79 | too much
80 |
81 |
82 | our language
83 |
84 | \lang
85 |
86 |
87 |
88 |
89 |
90 |
91 |
92 | runtime
93 |
94 | Unless you are talking about how long a program takes to run, use "run-time" as an adjective or run time as a noun.
95 |
96 | runtime
97 |
98 | run-time or run time
99 |
100 |
101 |
102 |
103 |
104 |
105 |
106 | run
107 | time
108 |
109 |
110 | Use run-time as as a description of a noun.
111 | Use run-time for adjective
112 | There was a run time error.
113 | There was a run-time error.
114 | There was an error at run time.
115 |
116 |
117 |
118 |
119 |
120 |
121 |
122 | run-time
123 |
124 | Use "run time" for the noun form
125 | Noun form is "run time"
126 | There was an error at run-time in the program This will cause problems at run-time.
127 | There was an error at run time in the program
128 | There was a run-time error in the program
129 | This is a problem during run-time checks
130 | This will cause problems at run-time.
131 | This will cause problems during run-time analysis.
132 |
133 |
134 |
135 |
136 |
137 |
138 |
139 | run-time
140 |
141 | Use "run time" for the noun
142 | Noun form is "run time"
143 | There was an error at run-time
144 | There was an error at run time
145 | There was a run-time error
146 |
147 |
148 |
149 |
150 |
151 |
152 |
153 | type-?check(er|ers|ing|s|ed)?
154 |
155 | Use "type check" for consistency
156 |
157 | typecheck
158 | typechecking type-check type-checking type-checks type-checker typechecks typechecker
159 |
160 | type check
161 | typechecking
162 | type checking
163 | type-check
164 | type-checking
165 | type-checks
166 | type-checker
167 | typechecks
168 | typechecker
169 |
170 |
171 |
172 |
173 |
174 |
175 |
176 | cast
177 | calculus
178 |
179 | "cast calculus" should have a hyphen
180 |
181 | cast calculus
182 |
183 | cast-calculus
184 |
185 |
186 |
187 |
188 |
189 |
190 |
191 | tradeoff
192 |
193 | use "trade-off" for consistency
194 | "trade-off"
195 | tradeoff tradeoffs
196 | trade-off
197 | tradeoffs
198 | trade-offs
199 |
200 |
201 |
202 |
203 |
204 |
205 |
206 | judgement(al)?
207 |
208 | For consistency, use "judgment"
209 | "judgment"
210 | judgement judgements judgemental
211 | judgment
212 | judgements
213 | judgments
214 | judgemental
215 | judgmental
216 |
217 |
218 |
219 |
220 |
221 |
222 |
223 | dependent(ly)?-type[sd]?
224 |
225 | No hyphen in "dependent type"
226 | No hyphen
227 | The constructor builds a dependent-type The language supports dependent-types This is hard in dependently-typed programming languages
228 | The constructor builds a dependent type
229 | The language supports dependent-types
230 | The language supports dependent types
231 | This is hard in dependently-typed programming languages
232 | This is hard in dependently typed programming languages
233 |
234 |
235 |
236 |
237 |
238 |
239 |
240 | dependent
241 | language
242 |
243 | Use the full "dependently typed"
244 | "dependently typed language"
245 | This is a dependent language
246 | This is a dependently typed language
247 |
248 |
249 |
250 |
251 |
252 |
253 |
254 | this|these
255 |
256 |
257 | Be specific: don't use "this" as the subject of a sentence
258 | Don't use this as the subject of a sentence
259 | This is problematic. These are problematic These are problematic
260 | The problem is problematic.
261 | This problem is problematic.
262 | These are problematic
263 | These problems are problematic
264 | They are problematic
265 | In this section we see the problem
266 |
267 |
268 |
269 |
270 |
271 |
272 |
273 | we
274 | can
275 | see
276 | that
277 |
278 | "we can see that" adds nothing and eats your precious page budget
279 | redundant
280 | we can see that this happens we see that this happens
281 | this happens
282 | we see that this happens
283 |
284 |
285 |
286 |
287 |
288 |
289 |
290 | clearly|obviously
291 |
292 | Just eliminate these words, don't assume what is easy to the reader
293 | redundant
294 | Clearly this is true Obviously this is true
295 | this is true
296 | Obviously this is true
297 |
298 |
299 |
300 |
301 |
302 |
303 |
304 | it
305 | is
306 | easy
307 | to
308 | see
309 |
310 | Dont assume whats easy to the reader
311 | redundant
312 | it is easy to see that this is true it is easy to see this is true
313 | this is true
314 | it is easy to see this is true
315 | this is true
316 |
317 |
318 |
319 |
320 |
321 |
322 |
323 | simply
324 | typed
325 |
326 | You should only use simply to refer to the STLC
327 | redundant
328 | the result is simply three
329 | the result is three
330 | this is the simply typed lambda calculus
331 |
332 |
333 |
334 |
335 |
336 |
337 |
338 | note|notice
339 | that
340 |
341 | "Note that" or "notice that" adds nothing
342 | Don't say "note that"
343 | note that this happens notice that this happens
344 | this happens
345 | notice that this happens
346 |
347 |
348 |
349 |
350 |
351 |
352 |
353 | see
354 | how
355 |
356 | "see how" is redundant and adds nothing
357 | Don't use "see how"
358 | see how it happens
359 | it happens
360 |
361 |
362 |
363 |
364 |
365 |
366 |
367 | it
368 | is
369 | worth
370 | noting
371 | that
372 |
373 | "it is worth nothing that" takes up your valuable space budget and adds nothing
374 | redundant
375 | it is worth noting that this happens
376 | this happens
377 |
378 |
379 |
380 |
381 |
382 |
383 |
384 | firstly|secondly|thirdly
385 | ,
386 |
387 | Use (1) and (2) instead of firstly, secondly, etc.
388 | Don's use firstly, secondly, thirdly
389 | Firstly, this is the problem.
390 | (1)
391 | Secondly,
392 | (2)
393 | Thirdly,
394 | (3)
395 |
396 |
397 |
398 |
399 |
400 |
401 |
402 | allow
403 |
404 |
405 |
406 | to
407 |
408 | Use "lets" instead
409 | Use "lets"
410 | This allows the program to run
411 | This lets the program run
412 | The check allows our gradual language to execute safely.
413 | The check lets our gradual language execute safely.
414 | The check allows it to run safely.
415 | The check lets it run safely.
416 | These allow the program to run
417 | These let the program run
418 | These check allow our gradual language to execute safely.
419 | These checks let our gradual language execute safely.
420 | The checks allows them to run safely.
421 | The check let them run safely.
422 | This allows all the programs to run
423 | This lets all the programs run
424 |
425 |
426 |
427 |
428 |
429 |
430 |
431 | give
432 |
433 |
434 |
435 | the
436 | ability
437 | to
438 |
439 | Use "lets" instead
440 | Use "lets"
441 | This gives the program the ability to run
442 | This lets the program language run
443 | The check gives our gradual language the ability to execute safely.
444 | The check lets our gradual language execute safely.
445 | The check gives it the ability to run safely.
446 | The check lets it run safely.
447 |
448 |
449 | These give them the ability to run
450 | This lets them ruin
451 | These give it the ability to run
452 | These let it run
453 |
454 |
455 |
456 |
457 |
458 |
459 |
460 | in
461 | order
462 | to
463 |
464 | Use the simpler "to"
465 | Use "to"
466 | in order to
467 | to
468 |
469 |
470 |
471 |
472 |
473 |
474 |
475 | so
476 | as
477 | to
478 |
479 | Use the simpler "to"
480 | "to"
481 | so as to
482 | to
483 |
484 |
485 |
486 |
487 |
488 |
489 |
490 | be
491 | built
492 | on
493 |
494 | Use "builds on" instead of "is built on" when describing systems/languages
495 | "builds on"
496 | is built on are built on was built on were built on
497 | builds on
498 | are built on
499 | build on
500 | was built on
501 | built on
502 | were built on
503 | built on
504 |
505 |
506 |
507 |
508 |
509 |
510 |
511 | have
512 | the
513 | potential
514 | to
515 |
516 | Use the simpler "could"
517 | "could"
518 | has the potential to have the potential to
519 | could
520 | have the potential to
521 | could
522 |
523 |
524 |
525 |
526 |
527 |
528 |
529 | a
530 | sufficient
531 | amount
532 | of
533 |
534 | Use the simpler "enough"
535 | "enough"
536 | a sufficient amount of
537 | enough
538 |
539 |
540 |
541 |
542 |
543 |
544 |
545 | utilize
546 |
547 | Use the simpler "use"
548 | "use"
549 | utilize utilized utilizes
550 | use
551 | utilized
552 | used
553 | utilizes
554 | uses
555 |
556 |
557 |
558 |
559 |
560 |
561 |
562 | make
563 | use
564 | of
565 |
566 | Use the simpler "use"
567 | "use"
568 | make use of made use of makes use of making use of
569 | use
570 | made use of
571 | used
572 | makes use of
573 | uses
574 | making use of
575 | using
576 |
577 |
578 |
579 |
580 |
581 |
582 |
583 | which
584 | means
585 | that
586 |
587 | Use "so" instead
588 | Use "so" instead
589 | which means that
590 | so
591 |
592 |
593 |
594 |
595 |
596 |
597 |
598 | desideratum
599 |
600 | Use "goals", "criteria" or something similar
601 | Overused
602 | desideratum desiderata
603 | goal
604 | desiderata
605 | goals
606 |
607 |
608 |
609 |
610 |
611 |
612 |
613 | there
614 | is|are|were
615 |
616 | Might be correct, but often it's stronger to use a more direct verb.
617 | Use a direct verb?
618 | There is a cat There are some cats
619 | A cat is sitting there
620 | There are some cats
621 | Some cats are sitting there
622 |
623 |
624 |
625 |
626 |
627 |
628 |
629 | will
630 |
631 | In academic writing, you very seldom want the future tense.
632 | Use present tense
633 | The term will reduce It will be a problem It will be a problem Will the term reduce?
634 | The term reduces
635 | I have a strong will.
636 | I tried to will them to arrive.
637 | It will be a problem
638 | It is a problem
639 | Will the term reduce?
640 | Does the term reduce?
641 |
642 |
643 |
--------------------------------------------------------------------------------
/wordlist.txt:
--------------------------------------------------------------------------------
1 | GADT
2 |
--------------------------------------------------------------------------------