3 ms·
Haskell purity and now linear types (since GHC 9.0) are better suited for the consequences of quantum effects for computation. For example, the "no-clone" princ
by xvilka 6y ago
Haskell purity and now linear types (since GHC 9.0) are better suited for the consequences of quantum effects for computation. For example, the "no-clone" principle. Thus, languages like Quipper[1] are better positioned for such modelling.
[1] https://www.mathstat.dal.ca/~selinger/quipper/ https://www.mathstat.dal.ca/~selinger/quipper/
- tsimionescu 6y agoI would think that linear algebra and matrix operations as a first class concept would be more useful than modelling the linearity of types.