Caprine arthritis encephalitis or milk from infected goats. Separating goat kids from infected goats, and feeding the kids with cow's milk, or pasteurized goat milk, will prevent infection. The disease can be spread from goat to goat via direct contact and body fluids, such as saliva. Blood testing goats for CAE virus before moving them into a new herd will prevent the spread of the disease. There is no known cure. To prevent spread of the disease, infected animals are separated from non-infected goats, or culled. Caprine arthritis encephalitis Caprine arthritis encephalitis (CAE) is a viral disease of goats caused by a lentivirus
Type erasure Type erasure In programming languages, type erasure refers to the load-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called "type-erasure semantics", to be contrasted with "type-passing semantics". The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information. In the context of generic programming, the opposite of type erasure is called reification. The reverse operation is called type inference. Though type erasure