Haskell Track: Executable Specification
Haskell is the specification language of MāyāPramāṇa. If the Python track asks “what happens?”, the Haskell track asks “what must happen?” Types encode physical units, function signatures encode signal flow, and QuickCheck properties encode the laws of physics. Why Haskell for Physics? Signal processing is inherently compositional. A lock-in amplifier is: demodulate . lowpass . mix_with_reference . sample Each stage is a pure function; the pipeline is their composition. Haskell makes this composition explicit and type-safe. A Kalman filter is a state monad; a PID controller is a feedback arrow. The language’s abstractions map directly onto the physics. ...