^ Наверх

Silq

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

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

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

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

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

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

sliq program

Статьи

За последние несколько лет в сфере разработки специализированных компьютеров произошел стремительный технический скачок. Инженеры компании ETH Zurich сумели совершить весомый прорыв в области использования средств программирования. В конечном итоге это привело к разработке квантового программного языка, который является первым в своем роде, не имеющим аналогов в мире. Он отличается простотой в изучении и обладает повышенными показателями безопасности.


Поделиться в соц. сетях:    

Оставить заявку

Владислав
Ухов
   
Александра
Богуславская