Silq: High-level strong static typed programming language for quantum computing | Heykuki News