اس‌آی‌ال‌کیو
اس‌آی‌ال‌کیو (به انگلیسی: Silq)[۴] یک زبان برنامه‌نویسی سطح بالا جدید برای رایانش کوانتومی با سیستم نوع ایستایی قوی و پشتیبانی از عدم محاسبه امن است که در مؤسسه فناوری فدرال زوریخ توسعه یافته‌است.[۵][۶]
 نشان‌واره اس‌آی‌ال‌کیو | |
| پارادایم برنامه‌نویسی | دستوری، تابعی، Circuit design language |
|---|---|
| طراحی شده توسط | بنجامین بیچسل، ماکسیمیلیان بادر، تیمون گهر، مارتین وچف[۱] |
| توسعه‌دهنده | SRI-مؤسسه فناوری فدرال زوریخ |
| ظهوریافته در | ۲۰۲۰ |
| Strong Static Type System | |
زبان پیاده‌سازی | دی (زبان برنامه‌نویسی) |
| سیستم‌عامل | مک‌اواس، لینوکس، مایکروسافت ویندوز، فری‌بی‌اس‌دی[۲] |
| پروانه | BSL 1.0[۳] |
| وبگاه | |
جستارهای وابسته
ویرایشمنابع
ویرایش- ↑ Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (2020). "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 978-1-4503-7613-6. S2CID 219397029.
- ↑ "Silq". GitHub.
- ↑ "BSL 1.O Licensed".
- ↑ "Silq (ETH Zürich)".
- ↑ "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".
- ↑ "Silq is a new high-level programming language for quantum computers".