Silq is an innovative high-level programming language designed specifically for quantum computing, featuring a robust static type system, and it was created at ETH Zürich. This language made its debut in the publication at PLDI'20, highlighting its significance in the field.