Перейти к навигации Перейти к поиску
 Логотип Silq | |
| Парадигма | Императивный , функциональный , язык схемотехнического проектирования |
|---|---|
| Разработано | Бенджамин Биксель, Максимилиан Баадер, Тимон Гер, Мартин Вечев [1] |
| Разработчик | SRI- ETH Цюрих |
| Впервые появился | 2020 г. |
| Печатная дисциплина | Сильная система статического типа |
| Язык реализации | D (язык программирования) |
| Операционные системы | macOS , Linux , Microsoft Windows , FreeBSD [2] |
| Лицензия | BSL 1.0 [3] |
| Веб-сайт | silq |
Silq [1] [4] - новый язык программирования высокого уровня для квантовых вычислений с сильной системой статических типов и поддержкой безопасного невычисления , разработанный в ETH Zürich. [5] [6]
См. Также [ править ]
Ссылка [ править ]
- ^ a b Биксель, Бенджамин; Баадер, Максимилиан; Гер, Тимон; Вечев, Мартин (2020). «Silq: квантовый язык высокого уровня с безопасной невычислительной и интуитивно понятной семантикой» . Труды 41-й конференции ACM SIGPLAN по проектированию и реализации языков программирования . С. 286–300. DOI : 10.1145 / 3385412.3386007 . ISBN 9781450376136. S2CID 219397029 .
- ^ "Silq" . GitHub .
- ^ "Лицензия BSL 1.O" .
- ^ "Silq (ETH Zürich)" .
- ^ «Silq: квантовый язык высокого уровня с безопасным невычислением и интуитивной семантикой» .
- ^ «Silq - новый язык программирования высокого уровня для квантовых компьютеров» .