| 词汇 | checker |
| 释义 | checker noun[ C ] USuk /ˈtʃek.ər/ us /-ɚ/ a cashier收银员，出纳员 People who help or serve people professionally aid worker attendant au pair buddy busboy caregiver concierge demonstrator equerry FAE family liaison officer FLO odd-job man personal care assistant right-hand man roadie social worker steward stylist valet checker | Business Englishchecker noun[ C ] uk /ˈtʃekər/us IT a computer program that checks something: a grammar/spell checker An interactive salary checker tells you what you should be earning. They spent billions on computer firewalls, private networks, and virus checkers. PRODUCTION someone whose job is to check that goods are made correctly or that something is correct: Ticket checkers identify people using the wrong ski pass. He found himself a job as a fact checker for 'The New Yorker'. US someone who works on a till (= a machine which records sales and in which money is kept) in a large store, such as a supermarket: At the store, the checkers double-bagged nearly every item. Examples of checkerchecker Misspellings are harder to correct for spelling checkers, since they can distort the intended word in a more dramatic way than mis-typings. We see no reason, in principle, why this would not be possible, but clearly much depends on the proof checker involved. If not, the type checker will issue type checking errors when the functor is analyzed. These rules are used to generate errors automatically, and to test spelling checkers' error coverage and suggestion adequacy for the relevant error types. A second improvement could be obtained by running a spell checker that proposes automatic corrections on the labels. The implemented equivalence checker is an optimized version of the one presented above. The checker does not attempt to parse sentences fully. As in the real final verifier of our case study, this is a type-based checker. Most spelling checkers on the market nowadays also provide suggestions to replace a detected error. Hence, they confirm the usefulness of the attributes and sub-attributes defined by the project as benchmarks for evaluating the functionality of spelling checkers. Ultimately, one would like to present them in the form of proof scripts for some automated proof checker. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。