Silq - Silq

Silq
Язык программирования Silq Logo.svg
Логотип Silq
ПарадигмаИмператив,
Функциональный,
Язык схемотехники
РазработаноБенджамин Биксель,
Максимилиан Баадер,
Тимон Гер,
Мартин Вечев
Gokul G и другие участники[1][2]
РазработчикSRI-ETH Цюрих
Впервые появился2020 (2020)
Печатная дисциплинаСильная система статического типа
Язык реализацииD (язык программирования)
Операционные системыOSX, Linux,
Майкрософт Виндоус,
FreeBSD[3]
ЛицензияBSL 1.0[4]
Интернет сайтшелк.ethz.ch

Silq[5][6] это новый язык программирования высокого уровня для квантовых вычислений с сильной системой статических типов, разработанный в ETH Zürich[7][8][9][циркулярная ссылка ].

Ссылка

  1. ^ "ЛИЦЕНЗИЯ". GitHub.
  2. ^ «Авторы Silq». GitHub.
  3. ^ "Слик". GitHub.
  4. ^ "Лицензия BSL 1.O".
  5. ^ Биксель, Бенджамин; Баадер, Максимилиан; Гер, Тимон; Вечев, Мартин (2020). «Silq: квантовый язык высокого уровня с безопасным невычислением и интуитивной семантикой». Материалы 41-й конференции ACM SIGPLAN по проектированию и реализации языков программирования. С. 286–300. Дои:10.1145/3385412.3386007. ISBN  9781450376136. S2CID  219397029.
  6. ^ "Silq (ETH Zürich)".
  7. ^ «Silq: квантовый язык высокого уровня с безопасным невычислением и интуитивной семантикой».
  8. ^ «Silq - новый язык программирования высокого уровня для квантовых компьютеров».
  9. ^ «Квантовое программирование».