Functional Programming Language for Switching Description and Its Hardware Architecture