اس‌آی‌ال‌کیو

اس‌آی‌ال‌کیو (به انگلیسی: Silq)[۴] یک زبان برنامه‌نویسی سطح بالا جدید برای رایانش کوانتومی با سیستم نوع ایستایی قوی و پشتیبانی از عدم محاسبه امن است که در مؤسسه فناوری فدرال زوریخ توسعه یافته‌است.[۵][۶]

اس‌آی‌ال‌کیو
نشان‌واره اس‌آی‌ال‌کیو
پارادایم برنامه‌نویسیدستوری،
تابعی،
Circuit design language
طراحی شده توسطبنجامین بیچسل،
ماکسیمیلیان بادر،
تیمون گهر،
مارتین وچف[۱]
توسعه‌دهندهSRI-مؤسسه فناوری فدرال زوریخ
ظهوریافته در۲۰۲۰ (۲۰۲۰)
Strong Static Type System
زبان پیاده‌سازی
دی (زبان برنامه‌نویسی)
سیستم‌عاملمک‌اواس، لینوکس،
مایکروسافت ویندوز،
فری‌بی‌اس‌دی[۲]
پروانهBSL 1.0[۳]
وبگاه

جستارهای وابسته

ویرایش

منابع

ویرایش
  1. 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.
  2. "Silq". GitHub.
  3. "BSL 1.O Licensed".
  4. "Silq (ETH Zürich)".
  5. "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".
  6. "Silq is a new high-level programming language for quantum computers".