https://mayalucia.dev/tags/haskell/ Recent content in Haskell on MayaLucIA Hugo -- 0.156.0 en-us Wed, 25 Feb 2026 12:00:00 +0100 https://mayalucia.dev/modules/mayapramana/haskell/ Wed, 25 Feb 2026 12:00:00 +0100 https://mayalucia.dev/modules/mayapramana/haskell/ <p>Haskell is the specification language of MāyāPramāṇa. If the Python track asks &ldquo;what happens?&rdquo;, the Haskell track asks &ldquo;what <em>must</em> happen?&rdquo; Types encode physical units, function signatures encode signal flow, and QuickCheck properties encode the laws of physics.</p> <h2 id="why-haskell-for-physics">Why Haskell for Physics?</h2> <p>Signal processing is inherently compositional. A lock-in amplifier is:</p> <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-fallback" data-lang="fallback"><span class="line"><span class="cl">demodulate . lowpass . mix_with_reference . sample </span></span></code></pre></div><p>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&rsquo;s abstractions map directly onto the physics.</p>