Silq

Silq — язык высокоуровневого программирования для квантовых вычислений с сильной системой статических типов.

Перейти на официальный сайт Silq

Особенности:

• Интуитивная семантика.
• Упрощенный код меньшего размера.
• Предотвращение ошибок.

Silq — первый квантовый язык, поддерживающий безопасную автоматическую расшифровку. Благодаря этому семантика кода становится более интуитивно понятной и отбрасывает временные значения, как и в классических вычислениях. Чтобы гарантировать физичность семантики Silq, его система типов использует новые аннотации для отклонения нефизических программ.

Экспериментальная оценка показывает, что на языке Silq не только легче читать и писать, но и делать это короче, чем на других квантовых языках (в среднем на 46% для Q # и на 38% для Quipper), при этом в процессе разработки используется только половина квантовых примитивов.

Статьи

---