Haskell purity and now linear types (since GHC 9.0) are better suited for the co... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

xvilka on Dec 31, 2020 | parent | context | favorite | on: Learn Quantum Computation

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/

tsimionescu on Dec 31, 2020 [–]

I would think that linear algebra and matrix operations as a first class concept would be more useful than modelling the linearity of types.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact