У мс  подход включает специфические типы и операции https://docs.microsoft.com/en-us/azure/quantum/user-guide/

Я как-то интересовался темой, был удивлен, что столько наработок уже.

Да у многих квантовых языков специфические типы и операции. Я бы ещё отдельно рассмотрел машинные языки для квантовых процессоров, там ведь тоже типы и операции (аппаратные, хотя там наверняка многоуровневая архитектура с микропрограммами, а в последнее время есть реализации и с использованием нейросетей, управляющих квантовой электроникой/спинтроникой/фотоникой/ионикой или как там оно в разных квантовых компьютерах называется).

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

так тема древняя, у нас еще в начале нулевых в универе был спецкурс по квантовым вычислениям

даже будучи школьником про них в компьютерной газете читал, в 90е

Ну, одно дело теория, а другое целый фреймворк с возможностью юзать уже рабочий "аппаратный бекенд", как они пишут.

ну так аппаратный бекенд под ту же теорию делался

Аппаратных бэкендов в мире сейчас множество квантовых и оптических (которые про чуть другое), и там физика разная, операции разные (ибо кубиты это всё-таки не биты, а в случае оптики так и вообще другие понятия).

https://xtclang.blogspot.com/2021/06/what-is-type.html

Занятная попытка. Правда,
> Not having any real background in type theory...
что как бы намекает. 😊

Ну, человек переизобрёл гошные интерфейсы.

Не совсем. Он пошёл дальше, и всё определил через структурные интерфейсы.

Одно непонятно, почему для определения поведения он операется на имена (функций), а не типы? 🤔

Человек изобрёл duck typing

Ну есть две причины.

Одна — у человека нет математического бекгрануда. Вторая — чтобы выражать поведение, нужны достаточно выразительные типы.

Непонятно, как в этой схеме описывать данные

Ну это как раз понятно: универсальные свойства произведений и сумм.

Вычислимый проперти тут неотличим от поля

А нужно ли его отличать?

Как реализовать геттер поля, если нельзя описать хранение?