mikesol

/**
 * Spike: end-to-end phantom kind propagation with branded Interpreter.
 * Validates the approach described in #233 on a small scale.
 *
 * Run: npx tsc --noEmit (uses tsconfig.json)
 */

// ============================================================
// Typed node interfaces
// ============================================================

mikesol

// =============================================================
// ASYNC SPIKE: typed async generators + trampoline +
//              WeakMap memoization + taint tracking
// =============================================================

// --- Foundation types ----------------------------------------

interface Expr<T> {
  readonly kind: string;
  readonly __T?: T;

mikesol

<
  [psr:3 bd [notes:2,hh*2] [notes:3,chin*4]]
  [bd bd [notes:4,hh*2] [notes:5,chin*4]]
  [psr:3 bd [notes:6,hh*2] [notes:7,chin*4]]
  [bd bd [notes:8,hh*2] [notes:9,chin*4]]
  [[psr:3 psr:3] bd [notes:2,hh*2] [notes:3,chin*4]]
  [bd bd [notes:8,hh*2] [notes:9,chin*4]]
  [psr:3 bd [notes:9,hh*2] [notes:8,chin*4]]
  [bd bd [notes:10,hh*2] [notes:6,chin*4]]
  [psr:3 bd [notes:9,hh*2] [notes:7,chin*4]]

mikesol

module Main where

import Prelude

import Effect (Effect)
import WAGS.Lib.Learn (play)
import WAGS.Lib.Tidal (AFuture, tdl)
import Prelude

import Data.Array ((..))

mikesol

module Main where

import Prelude

import Effect (Effect)
import WAGS.Lib.Learn (play)
import WAGS.Lib.Tidal (AFuture, tdl)
import Data.Lens (_Just, set, traversed)
import Data.Profunctor (lcmap)
import WAGS.Math (calcSlope)

mikesol

module Main where

import Prelude

import Data.Lens (_Just, set, traversed)
import Data.Newtype (unwrap)
import Data.Profunctor (lcmap)
import Effect (Effect)
import Math ((%))
import WAGS.Create.Optionals (highpass, pan)

mikesol

module Main where

import Prelude

import Data.Maybe (Maybe, maybe)
import Data.Traversable (traverse)
import Debug (spy)
import Effect (Effect)
import Effect.Exception (throw)
import Web.DOM.Element (getAttribute, toNode)

mikesol

module Main where

import Prelude

import Data.NonEmpty ((:|))
import Effect (Effect)
import Data.Function (on)
import WAGS.Lib.Learn (play)
import WAGS.Lib.Learn.Note (accelerando, noteFromPitch_, repeat, seq)
import WAGS.Lib.Learn.Pitch (at, fuse, c4, d4, e4, fSharp4, gSharp4, bFlat4, c5, wholeTone)

mikesol

module Main where

import Prelude

import Data.NonEmpty ((:|))
import Effect (Effect)
import WAGS.Lib.Learn (play)
import WAGS.Lib.Learn.Note (accelerando, noteFromPitch_, repeat, seq)
import WAGS.Lib.Learn.Pitch (fot2, c4, d4, e4, fSharp4, gSharp4, bFlat4, c5)
import Wags.Learn.Oscillator (lfo)

mikesol

module Main where

import Prelude hiding (between)

import Control.Alt ((<|>))
import Control.Comonad (extract)
import Control.Comonad.Cofree ((:<))
import Control.Comonad.Cofree.Class (unwrapCofree)
import Data.Array as A
import Data.Either (Either(..), hush)