Physicists Prove Anyons Exist, a Third Type of Particle in the Universe (discovermagazine.com)

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

Did he mean "statically typed"?

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

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