• 量子プログラミング言語
• Shor in Haskell The Quantum IO Monad
• The QIO package
• The Quantum IO Monad
• IBM Quantum Computing
• BlackBrane/quantum-random
• The Quipper Language
• Peter Sellinger: “Introduction to Quipper”
• qchas: A library for implementing Quantum Algorithms
• 量子コンピューターにはモナドがよく似合う - Qiita
• [quant-ph/0307150] A Lambda Calculus for Quantum Computation
• Picturing Quantum Processes
• A Touch of Topological Quantum Computation in Haskell Pt. I - Hey There Buddo!
• A Touch of Topological Quantum Computation in Haskell Pt. II: Automating Drudgery - Hey There Buddo!
• Scientific Computation and Functional Programming

Formura

• 格子計算プログラム生成言語Formuraを使ってみる その1 - Qiita
• 格子計算プログラム生成言語Formuraを使ってみる その2 - Qiita
• 格子計算プログラム生成言語Formuraを使ってみる その3 - Qiita
• 格子計算プログラム生成言語Formuraを使ってみる その4 - Qiita

物理

• The units package
• Haskellで物理を殴ってレベルが上がった話
• The dimensional package
• 24 days of Hackage, 2015: day 20: dimensional: type-checked computation on physical quantities with units
• Haskell で振動子
• Introducing the Hamilton library
• Type safe dimensional analysis in Haskell | Stephan Boyer
• Hamiltonian Dynamics in Haskell · in Code
• [1611.09471] Learn Quantum Mechanics with Haskell
• physics: dimensions, quantities and constants
• Dimensions and Haskell: Introduction - Serokell
• [Haskell] 40行でPoisson方程式を解く - Qiita