Physicists Prove Anyons Exist, a Third Type of Particle in the Universe

Quasiparticles. We haven't discovered dark matter, for anyone else who got excited at the title.

> Other strongly typed functional languages such as OCaml exist, but many aspects are not nearly as mature.

Did he mean "statically typed"?

IIUC, this could be as important for quantum computers as p-n junctions are for semiconductors.