[obsidian] vault backup: 2025-09-20 13:42:31[

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

.github/dependabot.yml

@@ -1,11 +1,20 @@
-# To get started with Dependabot version updates, you'll need to specify which
-# package ecosystems to update and where the package manifests are located.
-# Please see the documentation for all configuration options:
-# https://docs.github.com/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
-
 version: 2
 updates:
   - package-ecosystem: "npm"
     directory: "/"
     schedule:
       interval: "weekly"
+    groups:
+      production-dependencies:
+        applies-to: "version-updates"
+        patterns:
+          - "*"
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "weekly"
+    groups:
+      ci-dependencies:
+        applies-to: "version-updates"
+        patterns:
+          - "*"

.github/workflows/build-preview.yaml

@@ -0,0 +1,43 @@
+name: Build Preview Deployment
+
+on:
+  pull_request:
+    types: [opened, synchronize]
+  workflow_dispatch:
+
+jobs:
+  build-preview:
+    if: ${{ github.repository == 'jackyzha0/quartz' }}
+    runs-on: ubuntu-latest
+    name: Build Preview
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Setup Node
+        uses: actions/setup-node@v4
+        with:
+          node-version: 22
+
+      - name: Cache dependencies
+        uses: actions/cache@v4
+        with:
+          path: ~/.npm
+          key: ${{ runner.os }}-node-${{ hashFiles('**/package-lock.json') }}
+          restore-keys: |
+            ${{ runner.os }}-node-
+
+      - run: npm ci
+
+      - name: Check types and style
+        run: npm run check
+
+      - name: Build Quartz
+        run: npx quartz build -d docs -v
+
+      - name: Upload build artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: preview-build
+          path: public

.github/workflows/ci.yaml

@@ -31,7 +31,7 @@ jobs:
       - name: Setup Node
         uses: actions/setup-node@v4
         with:
-          node-version: 20
+          node-version: 22
 
       - name: Cache dependencies
         uses: actions/cache@v4

.github/workflows/deploy-preview.yaml

@@ -0,0 +1,37 @@
+name: Upload Preview Deployment
+on:
+  workflow_run:
+    workflows: ["Build Preview Deployment"]
+    types:
+      - completed
+
+permissions:
+  actions: read
+  deployments: write
+  contents: read
+  pull-requests: write
+
+jobs:
+  deploy-preview:
+    if: ${{ github.repository == 'jackyzha0/quartz' && github.event.workflow_run.conclusion == 'success' }}
+    runs-on: ubuntu-latest
+    name: Deploy Preview to Cloudflare Pages
+    steps:
+      - name: Download build artifact
+        uses: actions/download-artifact@v4
+        id: preview-build-artifact
+        with:
+          name: preview-build
+          path: build
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          run-id: ${{ github.event.workflow_run.id }}
+
+      - name: Deploy to Cloudflare Pages
+        uses: AdrianGonz97/refined-cf-pages-action@v1
+        with:
+          apiToken: ${{ secrets.CLOUDFLARE_API_TOKEN }}
+          accountId: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }}
+          githubToken: ${{ secrets.GITHUB_TOKEN }}
+          projectName: quartz
+          deploymentName: Branch Preview
+          directory: ${{ steps.preview-build-artifact.outputs.download-path }}

.github/workflows/docker-build-push.yaml

@@ -0,0 +1,88 @@
+name: Docker build & push image
+
+on:
+  push:
+    branches: [v4]
+    tags: ["v*"]
+  pull_request:
+    branches: [v4]
+    paths:
+      - .github/workflows/docker-build-push.yaml
+      - quartz/**
+  workflow_dispatch:
+
+jobs:
+  build:
+    if: ${{ github.repository == 'jackyzha0/quartz' }} # Comment this out if you want to publish your own images on a fork!
+    runs-on: ubuntu-latest
+    steps:
+      - name: Set lowercase repository owner environment variable
+        run: |
+          echo "OWNER_LOWERCASE=${OWNER,,}" >> ${GITHUB_ENV}
+        env:
+          OWNER: "${{ github.repository_owner }}"
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+      - name: Inject slug/short variables
+        uses: rlespinasse/github-slug-action@v5.1.0
+      - name: Set up QEMU
+        uses: docker/setup-qemu-action@v3
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+        with:
+          install: true
+          driver-opts: |
+            image=moby/buildkit:master
+            network=host
+      - name: Install cosign
+        if: github.event_name != 'pull_request'
+        uses: sigstore/cosign-installer@v3.8.2
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v3
+        if: github.event_name != 'pull_request'
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Extract metadata tags and labels on PRs
+        if: github.event_name == 'pull_request'
+        id: meta-pr
+        uses: docker/metadata-action@v5
+        with:
+          images: ghcr.io/${{ env.OWNER_LOWERCASE }}/quartz
+          tags: |
+            type=raw,value=sha-${{ env.GITHUB_SHA_SHORT }}
+          labels: |
+            org.opencontainers.image.source="https://github.com/${{ github.repository_owner }}/quartz"
+      - name: Extract metadata tags and labels for main, release or tag
+        if: github.event_name != 'pull_request'
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          flavor: |
+            latest=auto
+          images: ghcr.io/${{ env.OWNER_LOWERCASE }}/quartz
+          tags: |
+            type=semver,pattern={{version}}
+            type=semver,pattern={{major}}.{{minor}}
+            type=semver,pattern={{major}}.{{minor}}.{{patch}}
+            type=raw,value=latest,enable=${{ github.ref == format('refs/heads/{0}', github.event.repository.default_branch) }}
+            type=raw,value=sha-${{ env.GITHUB_SHA_SHORT }}
+          labels: |
+            maintainer=${{ github.repository_owner }}
+            org.opencontainers.image.source="https://github.com/${{ github.repository_owner }}/quartz"
+
+      - name: Build and push Docker image
+        id: build-and-push
+        uses: docker/build-push-action@v6
+        with:
+          push: ${{ github.event_name != 'pull_request' }}
+          build-args: |
+            GIT_SHA=${{ env.GITHUB_SHA }}
+            DOCKER_LABEL=sha-${{ env.GITHUB_SHA_SHORT }}
+          tags: ${{ steps.meta.outputs.tags || steps.meta-pr.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels || steps.meta-pr.outputs.labels }}
+          cache-from: type=gha
+          cache-to: type=gha

.node-version

@@ -1 +1 @@
-v20.9.0
+v22.16.0

Dockerfile

@@ -1,10 +1,10 @@
-FROM node:20-slim as builder
+FROM node:22-slim AS builder
 WORKDIR /usr/src/app
 COPY package.json .
 COPY package-lock.json* .
 RUN npm ci
 
-FROM node:20-slim
+FROM node:22-slim
 WORKDIR /usr/src/app
 COPY --from=builder /usr/src/app/ /usr/src/app/
 COPY . .

content/.obsidian/core-plugins.json

@@ -27,5 +27,7 @@
   "publish": false,
   "sync": false,
   "properties": true,
-  "webviewer": false
+  "webviewer": false,
+  "footnotes": false,
+  "bases": true
 }

content/.obsidian/graph.json

@@ -60,6 +60,6 @@
   "repelStrength": 15.1642583672965,
   "linkStrength": 0.975453871804372,
   "linkDistance": 42,
-  "scale": 0.31674920955833996,
+  "scale": 0.25087828132711953,
   "close": true
 }

content/.obsidian/plugins/obsidian-git/data.json

@@ -1,5 +1,6 @@
 {
   "commitMessage": "[obsidian] vault backup: {{date}}",
+  "autoCommitMessage": "[obsidian] vault backup: {{date}}[",
   "commitDateFormat": "YYYY-MM-DD HH:mm:ss",
   "autoSaveInterval": 60,
   "autoPushInterval": 0,
@@ -8,6 +9,7 @@
   "disablePush": false,
   "pullBeforePush": true,
   "disablePopups": false,
+  "showErrorNotices": true,
   "disablePopupsForNoChanges": false,
   "listChangedFilesInMessageBody": false,
   "showStatusBar": true,
@@ -29,30 +31,30 @@
   "showFileMenu": true,
   "authorInHistoryView": "hide",
   "dateInHistoryView": false,
+  "diffStyle": "split",
   "lineAuthor": {
-    "show": false,
+    "show": true,
     "followMovement": "inactive",
-    "authorDisplay": "initials",
+    "authorDisplay": "hide",
     "showCommitHash": false,
-    "dateTimeFormatOptions": "date",
+    "dateTimeFormatOptions": "hide",
     "dateTimeFormatCustomString": "YYYY-MM-DD HH:mm",
     "dateTimeTimezone": "viewer-local",
     "coloringMaxAge": "1y",
     "colorNew": {
-      "r": 255,
+      "r": 0,
-      "g": 150,
+      "g": 128,
-      "b": 150
+      "b": 0
     },
     "colorOld": {
-      "r": 120,
+      "r": 255,
-      "g": 160,
+      "g": 255,
       "b": 255
     },
     "textColorCss": "var(--text-muted)",
-    "ignoreWhitespace": false,
+    "ignoreWhitespace": true,
-    "gutterSpacingFallbackLength": 15,
+    "gutterSpacingFallbackLength": 0,
     "lastShownAuthorDisplay": "initials",
     "lastShownDateTimeFormatOptions": "date"
-  },
+  }
-  "autoCommitMessage": "[obsidian] vault backup: {{date}}["
 }

content/2hop-link.md

@@ -0,0 +1,10 @@
+---
+date: 2025-08-20 16:38
+---
+#stub
+
+[[Scrapbox]]で使われている仕組み
+
+
+
+[2 hop linkを理解してなかった - 井戸端](https://scrapbox.io/villagepump/2_hop_link%E3%82%92%E7%90%86%E8%A7%A3%E3%81%97%E3%81%A6%E3%81%AA%E3%81%8B%E3%81%A3%E3%81%9F)

content/Ad-Astra.md

@@ -0,0 +1,8 @@
+---
+date: 2025-09-20 11:59
+---
+#programming-language 
+
+[[Lady Deirdre]]を作ってる人のスクリプティングプログラミング言語。[[Rust]]で実装されてる
+
+[Introduction - The Ad Astra Book](https://ad-astra.lakhin.com/)

content/Befunge.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-20 16:18
+---
+#esolang 

content/BrainSynth.md

@@ -0,0 +1,8 @@
+---
+date: 2025-08-20 16:19
+---
+#programming #music #esolang 
+
+[[BrainFuck]]で音楽を記述しようという試み
+
+[Brainsynth](https://nexuist.github.io/brainsynth/)

content/Caddy.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-20 18:45
+---
+#stub

content/ChucK.md

@@ -9,13 +9,16 @@ Strongly-Timedというコンセプトの音楽プログラミング言語。[[G
 
 C言語っぽいシンタックスでサンプル単位での正確なスケジューリングができるのが特徴。
 
-命令型＋クラスを作ったりのオブジェクト指向（継承もあり）。
+命令型＋クラスを作ったりのオブジェクト指向（継承もあり）。`=>`でUGenの接続を表したり、代入したりと複数の機能を持つChucK演算子が存在するのがユニーク。
 
-shredという論理時間ベースの計量スレッドみたいなものを言語内からスポーン、もしくはコマンドから立ち上げることができる。1つのファイルをスレッド単位で立ち上げたり殺したりをリアルタイムで切り替えることで、ライブコーディングを実現している（ただし更新のタイミングでディレイやリバーブのテールは切れる）。
+`now`に対してChucK演算子で`1::second => now;`みたいな命令をすることが、1秒スリープするという動作に相当する、独特の時間操作を持つ。
+
+
+shredという論理時間ベースの計量スレッドみたいなものを言語内からスポーン、もしくはコマンドから立ち上げることができる。1つのファイルをスレッド単位で立ち上げたり殺したりをリアルタイムで切り替えることで、[[ライブコーディング]]を実現している（ただし更新のタイミングでディレイやリバーブのテールは切れる）。
 
 最近も活発に更新が進んでいて、モジュール機能などが導入された。
 
-もともとはオーディオビジュアル的なライブコーディング環境Audicleというのがあり、それを簡略化したminiAudicleというのがメインのIDEとして使われている。
+もともとはオーディオビジュアル的なライブコーディング環境Audicleというのがあり、それを簡略化した[[miniAudicle]]というのがメインのIDEとして使われている。
 
 最近は[[Emscripten]]でWeb経由でも動くようになってきた。
 
@@ -24,3 +27,5 @@ shredという論理時間ベースの計量スレッドみたいなものを言
 また、Chugin(チャグイン)というC++で書かれたネイティブな拡張を読み込むこともでき、[[Faust]]や[[TouchDesigner]]、[[Unity]]のような他の環境との連携も多く実現しているほか、AI系などのプラグインも開発されている。
 
 Chugenという独自[[Unit Generator|UGen]]をChucK言語上で定義するための機能もある（[[Csound]]におけるUser-Defined OpCode）。
+
+パッケージマネージャが2025年ぐらいになって導入された。

content/Critical Engineering Manifesto.md

@@ -0,0 +1,8 @@
+---
+date: 2025-09-16 16:36
+---
+#aesthetics 
+
+日本語訳は[[牛込陽介]]さんが書いている
+
+[The Critical Engineering Manifesto \| jp](https://criticalengineering.org/jp)

content/DAWのプロジェクトというデータ構造.md

@@ -0,0 +1,64 @@
+---
+date: 2025-09-05 11:37
+---
+#memo 
+
+[[DAW]]について
+
+[[otopoiesis]]に行き詰まったので
+
+## プロジェクトデータ
+
+- 複数のトラックを含む
+- グローバルなパラメーター（テンポとか）
+
+## トラック
+
+[[Temporal Type Constructor]]で表現されうる時間軸に沿って変化するデータ
+
+データを持つトラック
+
+ - 入出力を持つ
+	 - MIDI
+	 - OSC
+	 - オーディオ
+ - 入出力の型が一致すれば、他のトラックが別のトラックの入力になることもある
+ - 大きく分けて以下のタイプ
+	 - プロトタイプ：時間に紐付けされたイベントの集合`[Event<a>]`
+	 - ストリーム： 一定間隔で表現されるデータ列
+		 - この際Control/Audioの2タイプでもいい
+	
+`時間に紐付けされたイベントの集合Event<a>`に関しては、トラックの出力に接続する際にストリームに変換される必要がある
+
+- オーディオクリップも広い意味では`[Event<AudioClip>]`的なデータ
+	- だが、レコーディング、再生の際のストリームデータへの変換は暗黙的に行われている
+
+```
+struct Clip<a>{
+	dur:Number
+	data:a
+}
+type MonoAudioClip = Event<Clip<Vec<Number>>>
+
+type AudioTrackProto = [MonoAudioClip]
+
+```
+
+MIDIトラックの場合はもっと複雑。タイムスタンプが一つ一つに付属したデータの集合になるけど、記録時にはそれをさらにタイムスタンプ付きClipとしてグループ化、クリップスタートの相対時間として記録している
+
+入出力のデータ型がジェネリックになるとすると、その読み書きはなんかジェネリックなシリアライズ・デシリアライズができる必要あり
+
+## エフェクター的なもの
+
+- あるトラックの出力を受け取って、値->値変換をするだけ
+- ただしパラメーターはグループ化されていて欲しい
+
+
+
+## どうやってジェネラティブ性を組み込むか
+
+- 録音の代わりに、クリップデータの生成
+- クリップ→クリップのノンリニアな変換
+- 
+
+

content/Dick Raaijmakers.md

@@ -0,0 +1,12 @@
+---
+date: 2025-08-29 10:29
+---
+#person 
+
+オランダの電子音楽の作曲家で、[[STEIM]]創設者の一人。
+
+Drie Ideophonenシリーズ好き
+
+[p. 20 Drie Ideofonen by Dick Raaijmakers - Between Air and Electricity](https://microphonesandloudspeakers.com/2017/01/31/p-20-drie-ideofonen-dick-raaijmakers/)
+
+

content/Dioxus.md

@@ -0,0 +1,17 @@
+
+
+
+まだ開発中だけど[[Blitz]]というRustで書かれた独自のネイティブHTMLレンダラの統合予定もあり
+
+アニメーションライブラリ
+
+[GitHub - wheregmis/dioxus-motion: A lightweight, cross-platform animation library for Dioxus, designed to bring smooth, flexible animations to your Rust web, desktop, and mobile applications.](https://github.com/wheregmis/dioxus-motion?tab=readme-ov-file)
+
+グラフ描画ライブラリ（愚直にSVG生成で実装されてる）
+
+[GitHub - dioxus-community/dioxus-charts: A simple chart components library for Dioxus](https://github.com/dioxus-community/dioxus-charts)
+
+
+Rustで書かれたUIでも高速ホットリロードができるとか（どうやってるんだ）
+
+[\[media\] Dioxus Subsecond Rust Hotpatch Engine + Ratatui ❤️ : r/rust](https://www.reddit.com/r/rust/comments/1j8z3yb/media_dioxus_subsecond_rust_hotpatch_engine/)

content/Dynamic Macro.md

@@ -0,0 +1,33 @@
+---
+date: 2025-08-21 11:55
+---
+[[増井俊之]]が考案した、キーボード入力の履歴の中から繰り返し動作を自動で検出して再実行できるようにする仕組み
+
+[Dynamic Macro - 増井俊之](https://scrapbox.io/masui/Dynamic_Macro)
+
+実装が非常にシンプル。[[Atom]]用拡張機能の実装がわかりやすい
+
+[atom-dynamic-macro/lib/atom-dynamic-macro.coffee at f050cac0d19eaac20ef2e5ff8092a9f5242cf481 · masui/atom-dynamic-macro · GitHub](https://github.com/masui/atom-dynamic-macro/blob/f050cac0d19eaac20ef2e5ff8092a9f5242cf481/lib/atom-dynamic-macro.coffee#L30C1-L47C8)
+
+```coffeescript
+  #
+  # Detect repeated elements at the end of an array
+  #
+  # findRep [1,2,3]                     # => []
+  # findRep [1,2,3,3]                   # => [3]
+  # findRep [1,2,3,1,2,3]               # => [1,2,3]
+  # findRep [1,2,3,3,1,2,3,3]           # => [1,2,3,3]
+  # findRep [1,2,3], (x,y) -> x+1 == y  # => [3]
+  #
+  findRep: (a,compare) ->
+    compare = compare ? (x,y) -> x == y
+    len = a.length
+    res = []
+    for i in [0...len/2]
+      for j in [0..i]
+        break unless compare(a[len-2-i-j], a[len-1-j])
+      res = a[len-j..len-1] if i == j-1
+    res
+```
+
+配列を二分探索して、一番長い要素を検出？

content/Elm.md

@@ -0,0 +1 @@
+#programming-language 

content/Erg.md

@@ -1,7 +1,15 @@
 ---
 date: "2024-02-06T02:00:06+0900"
 ---
-#programming-language #stub 
+#programming-language 
+
 
 [Erg Programming Language](https://erg-lang.org/)
 
+[[Shibayama Shunsuke]]
+
+[erg/README\_JA.md at main · erg-lang/erg · GitHub](https://github.com/erg-lang/erg/blob/main/README_JA.md)
+
+- 型システムがめちゃくちゃ高度。[[構造的部分型]]や[[篩型]]、[[依存型]]を含む高階多相など非常に強力な抽象化が使える
+
+- その一方で[[Python]]との連携をめちゃくちゃ強化している。

content/Erlang.md

@@ -0,0 +1,2 @@
+#programming-language 
+

content/Gitea Actionsとrsync、Caddyで静的サイトをホストする.md

@@ -3,11 +3,13 @@ date: "2024-02-05T12:26:59+0900"
 ---
 #self-hosted #server #tips
 
-Giteaは最近Actionが使えるようになった。Dockerで別にランナーマシンを立ち上げる必要があるほか、GitHub Actionsと比べると、Concurrencyなどちゃんと効かなかったり色々まだ機能が足りてない所はある。
+[[Gitea]]は最近Actionが使えるようになった。Dockerで別にランナーマシンを立ち上げる必要があるほか、GitHub Actionsと比べると、Concurrencyなどちゃんと効かなかったり色々まだ機能が足りてない所はある。
 
 ただ、公開されてるGithubs Actionはそのままuseできるのが強い。`actions/cache@v3`の代わりに`https://github.com/actions/cache@v3`のようにURLで指定できる。よく使うアクションはgitea側にもミラーされていることもあるが、なんか放置されてるやつも多々あるので注意。
 
-Pagesの機能がないため、別途サーバーを立ち上げてrsyncで同期するくらいしか方法がない。そこそこ設定は面倒くさいが、nginxよりさらに簡易的に動かせるgo製のWebサーバーCaddyを使ってなんとかすることにした。
+Pagesの機能がないため、別途サーバーを立ち上げてrsyncで同期するくらいしか方法がない。そこそこ設定は面倒くさいが、nginxよりさらに簡易的に動かせるgo製のWebサーバー[[Caddy]]を使ってなんとかすることにした。
+
+[[Cloudflare Pages]]でいいならそっちの方がBranch Previewもできるので多分圧倒的に楽。
 
 ## 下準備
 
@@ -20,7 +22,6 @@ ssh-keygen -t ed25519
 ファイル名は`rsync_webserver`と`rsync_webserver.pub`とかにしておく
 
 
-
 ## Caddyサーバー側の構成
 
 [tomoyanonymous/Caddy\_rsync\_webserver - Caddy\_rsync\_webserver - Tomoya Matsuura Gitea](https://git.matsuuratomoya.com/tomoyanonymous/Caddy_rsync_webserver)
@@ -120,7 +121,10 @@ Action RunnerつきでGiteaを立ち上げるところまでは省略。
 - WEBSERVER_PORT （Caddyが立ち上がっているサーバーのSSH用ポート、上の例では25222）
 - WEBSERVER_USER ：root（これあんまり良くないのかな）
 
-で、リポジトリに`/.gitea/workflows/ci.yaml`を作る。[Gitea Actionsの`ubuntu-latest`ラベルのランナーはデフォルトでDebianベースの`node:16-bullseye`のDockerイメージのエイリアス](https://docs.gitea.com/usage/actions/act-runner#labels)で（これまじでややこしい）、QuartzはNode18以降でないと動かない。またGoも入ってないので入れる。
+で、リポジトリに`/.gitea/workflows/ci.yaml`を作る。[Gitea Actionsの`ubuntu-latest`ラベルのランナーはデフォルトでDebianベースの`node:16-bullseye`のDockerイメージのエイリアス](https://docs.gitea.com/usage/actions/act-runner#labels)で（これまじでややこしい）、QuartzはNode18以降でないと動かない。
+
+GIteaの難点として、Github Actionsではデフォルトで使える`hashFiles()`関数が使えない。代わりに、`go-hashfiles`というアクションを使う必要がある。QuartzはGo非依存になったのだが、これがあるのでビルド側でもまだgoをインストールする必要がある。
+
 
 ```yml
 name: Build

content/Gitea.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-20 18:36
+---
+#software

content/Glicol.md

@@ -4,6 +4,6 @@ date: 2025-01-15 15:29
 #programming-language #computermusic #livecoding
 
 
-[[Rust]]製のライブコーディング環境。
+[[Rust]]製の[[ライブコーディング]]環境。[[VST]]プラグインのエンジンとしてや、[[Bela]]に乗せたりもできるらしい
 
 [GitHub - chaosprint/glicol: Graph-oriented live coding language and music/audio DSP library written in Rust](https://github.com/chaosprint/glicol)

content/Gream.md

@@ -0,0 +1,28 @@
+#programming-language 
+
+[[Rust]]っぽいシンタックスだが、[[Erlang]]の[[BEAM VM]]もしくは[[JavaScript]]をターゲットとして　コンパイルされるスクリプティング言語。
+
+
+Use構文が面白い。ちょっと[[Computation Expression]]でSeqを使った時とか、[[Koka]]のWith構文と似た仕組みと見える
+[Use - The Gleam Language Tour](https://tour.gleam.run/advanced-features/use/)
+
+```rust
+pub fn with_use() -> Result(String, Nil) {
+  use username <- result.try(get_username())
+  use password <- result.try(get_password())
+  use greeting <- result.map(log_in(username, password))
+  greeting <> ", " <> username
+}
+
+pub fn without_use() -> Result(String, Nil) {
+  result.try(get_username(), fn(username) {
+    result.try(get_password(), fn(password) {
+      result.map(log_in(username, password), fn(greeting) {
+        greeting <> ", " <> username
+      })
+    })
+  })
+}
+```
+
+ 

content/Gwion.md

@@ -3,7 +3,7 @@ date: 2025-01-15 15:30
 ---
 #programming-language #computermusic 
 
-[[ChucK]]に影響を受けた言語。サンプル精度のスケジューリングに加えてtagged unionとかテンプレートとかラムダ式とか使える
+[[ChucK]]に影響を受けた[[音楽プログラミング言語]]。サンプル精度のスケジューリングに加えてtagged unionとかテンプレートとかラムダ式とか使える。ChucKオペレータも健在
 
 [Welcome to Gwion - Gwion](https://gwion.github.io/Gwion/)
 

content/HundredRabbits.md

@@ -1,4 +1,4 @@
 ---
 date: 2025-01-15 16:52
 ---
-#stub
+#person

content/Incremental Functional Reactive Programming.md

@@ -0,0 +1,30 @@
+---
+date: 2025-08-20 15:12
+---
+#programming-language #research 
+
+[[Caleb Reach]]による、信号処理エンジンの[[ライブコーディング]]のための手法の提案。
+
+[49.dafx2013\_submission\_60.pdf](https://www.dafx.de/paper-archive/2013/papers/49.dafx2013_submission_60.pdf)
+
+[[ChucK]]や[[Faust]]など、ライブコーディングでシグナルグラフを丸ごと作り直すタイプの言語では、ディレイやリバーブのテールがコードの再コンパイル時に状態が吹き飛ぶためぶった切れる問題がある。
+
+[[Functional Reactive Programming]]の手法で、各項（状態を持つプリミティブ）毎のユニークなラベルをつけて、再コンパイル時に状態を持ち越せるところでは持ち越せるというやり方を提案している
+
+ただ、単純なテキスト同士の差分比較ではユニークなラベルの増分更新は意外と難しく、例えば
+
+`(define x (+ (f 2) (f 3) 2))`
+
+が
+
+`(define x (+ (f 5) (f 2) (f 3) 2))`
+
+に更新されたとき、ぱっと見は「`(f 2) (f 3)`の手前に新たに`(f 5)`が挿入された」と考えることができるが、原理的には「`(f 2) (f 3)`をまず`(f 5) (f 2)`へ書き換え、後ろに`(f 3)`を挿入した」と区別することはできない。そうなると新たに挿入された項だけ0で初期化して新たにアロケートする、となった時に、どこを0初期化すべきか決定できない。
+
+きちんと文脈を持ち越すためにはエディタレベルでの編集履歴と突き合わせる連携が必要となる（論文中では[[Emacs]]の拡張として実装しているらしい）
+
+この言語における関数定義と適用はあくまでコンパイル時計算（+や`*`は状態を持たないランタイム時に実行される計算ノード）
+
+
+
+

content/JavaScript.md

@@ -0,0 +1,4 @@
+---
+date: 2025-09-17 09:55
+---
+#stub

content/Koka.md

@@ -0,0 +1,19 @@
+#programming-language 
+
+[The Koka Programming Language](https://koka-lang.github.io/koka/doc/index.html)
+
+[[MicroSoft]]のチームが研究しているプログラミング言語。
+
+名前（KOKA＝効果）のとおり、[[代数的エフェクト]]が明示的な組み込みシンタックスで扱える。
+
+中括弧の囲みをインデントで代用できて、JSっぽくもPythonっぽくも書ける。シンタックス的に推測できれば無名関数を省略して書けたりと、かなり構文糖衣が積極的に使われている。
+
+
+With構文が面白い。[[Haskell]]のIOモナドで`<-`をチェーンしていくようなやつが、単に高階関数を受け取る関数の順番を入れ替える構文として実装されてるので、ネストが深くなっていくのを避けられる。
+
+```koka
+with x <- f(e1,...,eN)
+<body>
+//equal to 
+f(e1,...,eN, fn(){ <body> })
+```

content/Lady Deirdre.md

@@ -0,0 +1,10 @@
+---
+date: 2025-09-17 09:51
+---
+#programming 
+
+インクリメンタル、並列対応の[[パーサジェネレータ]]。[[Rust]]のマクロで型安全に文法の定義をできる。
+
+[Introduction - The Lady Deirdre Guide](https://lady-deirdre.lakhin.com/)
+
+ただ、オープンソースだがプロプライエタリなライセンス

content/Lua.md

@@ -9,7 +9,7 @@ date: "2023-09-12T15:40:18+0900"
 
 JITコンパイラで超高速に動く別の処理系[[LuaJIT]]もある
 
-Luaでオーディオビジュアルライブコーディングをするための[[LuaAV]]などがある（更新されてないけど）
+Luaでオーディオビジュアル[[ライブコーディング]]をするための[[LuaAV]]などがある（更新されてないけど）
 
 動的型付けで手続き型っぽいが、関数を第一級オブジェクトとして扱える。そのためクロージャを使用できるが、この実装にupvalueという方式を採用していることで有名（？）
 

content/LuaAV.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-20 16:09
+---
+#stub

content/LΛMPLIGHT.md

@@ -0,0 +1,10 @@
+---
+date: 2025-08-18 10:59
+---
+#person 
+
+[LΛMPLIGHT ホーム](https://lamplight0.sakura.ne.jp/a/)
+
+[[人工言語]]と[[微分音]]などの独自の音楽理論でポップミュージックを作っている人
+
+フォントや動画、微分音用の和音ダイアグラムなども一人で作っているらしい、、、

content/MML.md

@@ -0,0 +1,6 @@
+---
+date: 2025-08-20 16:12
+---
+#programming-language #music 
+
+[[Music Macro Language]]

content/Moonbit.md

@@ -0,0 +1,18 @@
+#programming-language 
+
+[[Rust]]っぽい構文とシステムから、メモリ管理だけはGCに任せて[[WebAssembly]]ファーストな言語を設計してみましたみたいなやつ
+
+[MoonBit](https://www.moonbitlang.com/)
+
+
+現状のコンパイラは[[OCaml]]で書かれてるっぽい。
+
+[GitHub - moonbitlang/moonbit-compiler](https://github.com/moonbitlang/moonbit-compiler)
+
+
+> 元 Meta で BuckleScript | [[ReScript]] を開発していた [[Hongbo Zhang]] 氏がチーフアーキテクト。
+
+[自分が Moonbit 言語について知っていること](https://zenn.dev/mizchi/articles/practical-moonbit)
+
+あ、そうなんだ
+

content/Music Macro Language.md

@@ -1,4 +1,4 @@
 ---
 date: 2025-01-15 18:39
 ---
-#stub
+#programming-language #music

content/NoiseFunge.md

@@ -0,0 +1,10 @@
+---
+date: 2025-08-20 16:20
+---
+#programming-language #music 
+
+[[Befunge]]をベースにした音楽[[ライブコーディング]]環境。
+
+[[ORCA]]よりももっとBefungeに近い仕組みっぽい？
+
+[GitHub - revnull/noisefunge.rs: A reimplementation of noisefunge in rust.](https://github.com/revnull/noisefunge.rs)

content/ORCA.md

@@ -0,0 +1,12 @@
+---
+date: 2025-08-20 16:17
+---
+#programming-language #music
+
+[[HundredRabbits]]が作ったインタラクティブ音楽環境。
+
+[GitHub - hundredrabbits/Orca: Esoteric Programming Language](https://github.com/hundredrabbits/Orca)
+
+[[Befunge]]を参考にした、二次元グリッド状にそれぞれの機能を持つ文字を割り当てて音楽(というかMIDIや[[OSC]]のシーケンス)を生成する。
+
+

content/OSC.md

@@ -0,0 +1,7 @@
+---
+date: 2025-08-20 16:02
+---
+#redirect
+
+
+[[Open Sound Control]]

content/Obsidian.md

@@ -30,7 +30,7 @@ vaultというコンテンツフォルダの中に環境設定も丸ごと含め
 - obsidian-git
 	- 30分間隔＋作業停止から30分後にバックアップ
 - [GitHub - L7Cy/obsidian-2hop-links-plus: Related links up to 2 hops away are displayed in a card format.](https://github.com/L7Cy/obsidian-2hop-links-plus)
-	- Scrapbox風に2hop先のリンクと未作成のリンクを表示してくれる
+	- Scrapbox風に[[2hop-link]]と未作成のリンクを表示してくれる
 - [GitHub - zolrath/obsidian-auto-link-title: Automatically fetch the titles of pasted links](https://github.com/zolrath/obsidian-auto-link-title)
 	- OGPから自動でタイトル取得してくれる。
 

content/Obsidianのグラフは役に立つのか.md

@@ -0,0 +1,17 @@
+---
+date: 2025-08-20 16:30
+---
+#memo 
+
+[[Obsidian]]や[[Quartz]]ではいい感じの記事同士のつながりが可視化されたグラフが見られるけど、そこから新しい発見が得られた試しがない
+
+[[ハイパーリンクでは関係性に名前をつけられない]]
+
+[綺麗に並んでいて、綺麗ですね - 橋本商会](https://scrapbox.io/shokai/%E7%B6%BA%E9%BA%97%E3%81%AB%E4%B8%A6%E3%82%93%E3%81%A7%E3%81%84%E3%81%A6%E3%80%81%E7%B6%BA%E9%BA%97%E3%81%A7%E3%81%99%E3%81%AD)
+
+[死んだテキストを置いておく倉庫にしない - 橋本商会](https://scrapbox.io/shokai/%E6%AD%BB%E3%82%93%E3%81%A0%E3%83%86%E3%82%AD%E3%82%B9%E3%83%88%E3%82%92%E7%BD%AE%E3%81%84%E3%81%A6%E3%81%8A%E3%81%8F%E5%80%89%E5%BA%AB%E3%81%AB%E3%81%97%E3%81%AA%E3%81%84#5969b92897c2910000f323c1)
+
+
+---
+
+Imcoming/Outgoing Linkの代用になりそうなビューなら悪くないのかも（[[2hop-link]]）的な機能も含め

content/Open Sound Control.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-20 16:02
+---
+#protocol

content/PAW.md

@@ -0,0 +1,31 @@
+---
+date: 2025-08-21 15:04
+---
+#software 
+
+[[Xavier Lambein]]による、[[双方向プログラミング]]の考え方を[[DAW]]に導入したソフトウェア。
+
+[PAW: a programmable and visual audio workstation (submission to LIVE  2023) — Xavier Lambein's website](https://lambein.xyz/paw-live2023/)
+
+
+[[Sketch-n-Sketch]]や、[[Hazel]]の[[Live Literal]]、[[Typed Hole]]という編集機能から影響を受けている。
+
+[\[LIVE23\] PAW: a programmable and visual audio workstation - YouTube](https://www.youtube.com/watch?v=X6m3NoPNzy4)
+
+
+ソースコード https://codeberg.org/xlambein/futile/src/branch/main/paw/src
+
+
+
+## Macで ビルドしてみる
+Homebrewインストールしたものを使うなら
+
+`LLVM_SYS_170_PREFIX=$(llvm-config--prefix) cargo run`で走らせる。
+
+ビルドには[[LLVM]]と[[ripgrep]]、[[JACK]]のインストールが必要
+
+`build.rs`で`ld`に`--dynamic-list=xxx.txt`というのを渡しているのだが（futileのJITコンパイルされたシンボル？）、macOS標準の(XCode CLI toolsの)ldはこれを受け取らない。
+
+そもそもELFでないとあんまり意味のないオプションらしいので、build.rsのmainを全部コメントアウトしてみたらビルドはできた。
+
+が、最初のjackのdlopenに失敗している、、、

content/PMML.md

@@ -0,0 +1,6 @@
+---
+date: 2025-08-20 16:14
+---
+#programming-language #research #computermusic 
+
+[PMML: A Music Description Language Supporting Algorithmic Representation of Musical Expression \| Semantic Scholar](https://www.semanticscholar.org/paper/PMML%3A-A-Music-Description-Language-Supporting-of-Nishimura/d73590abc307ea5e1f4e0444968ea3f7ae075389)

content/Quartz.md

@@ -55,4 +55,5 @@ https://quartz.jzhao.xyz/migrating-from-Quartz-3
 beforeBody: [Component.ArticleTitle(), Component.ContentMeta(),/*Component.TagList()*/],
 ```
 
-このレイアウトの仕組みよくできてんなー
+- v4.5でOGPイメージの自動生成機能がついた。
+	- 今はデフォルトでオンになっているが、[[Satori]]というJSでHTMLをSVGに変換しWebPまで変換してくれるモジュールを使うみたい。これがまだキャッシングの仕組みなどないみたいで結構重い。

content/Red Green Syntax Tree.md

@@ -11,3 +11,27 @@
 ながいけどこれがわかりやすい
 
 [Ruby Parser開発日誌 (19) - 最高の構文木の設計 2024年版 - かねこにっき](https://yui-knk.hatenablog.com/entry/2024/08/23/113543)
+
+[[C#]]のRoslynで提案されたもので、[[rust-analyzer]]とかでも使われている
+
+- Green Treeが構文的に意味のある単位でのツリーで、Childrenを持ち、Spanの絶対位置ではなく幅を持つ
+- Red Treeは必要に応じて構築される木で、Green Nodeへの参照と親への参照、ドキュメントトップからのSpanの先頭位置を持つ
+
+これで、SpanはRed-GreenTreeの組み合わせでアドホックに生成できるから、部分的な木の差し替えとかにも対応しやすくてうれしい
+
+## これってRustでもうちょっとシンプルに作れんのか
+
+
+[[Rust]]で普通にSyntax Tree作ってると、Recursiveなenumを経由して作るのが普通なわけだが、適当なid-arena的仕組みで管理している限りは、普通のSyntax TreeがGreen Tree
+
+
+愚直に参考にされているやつを使うと、Tagged Unionをゼロから再実装するみたいなことになるので、Rustのenum as Tagged Unionの構造を有効活用したくね？
+
+
+Rust Analyzerだと文字列だけじゃなくSyntax TreeまでInterningされてるらしい（Rust規模のコードベースなら確かに有効かも）
+
+[rust-analyzer/docs/dev/syntax.md at c9109f23de57359df39db6fa36b5ca4c64b671e1 · rust-lang/rust-analyzer · GitHub](https://github.com/rust-lang/rust-analyzer/blob/c9109f23de57359df39db6fa36b5ca4c64b671e1/docs/dev/syntax.md)
+
+というかrowanそのままつかえばいいのかな
+
+[GitHub - rust-analyzer/rowan](https://github.com/rust-analyzer/rowan)

content/Rhai.md

@@ -0,0 +1,6 @@
+#programming-language 
+
+[[Rust]]で、かつRust言語のいいところを取り込んだ[[Lua]]みたいな埋め込みやすい言語を作ってみたらこうなる、みたいなやつ
+
+
+[Rhai – Embedded Scripting for Rust](https://rhai.rs/)

content/Row Polymorphism.md

@@ -0,0 +1,21 @@
+#programming 
+
+
+[[構造的部分型]]と似ているけどちょっと違う
+
+[Row Polymorphism Isn't Subtyping - BAM Weblog](https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping)
+
+[[OCaml]]のレコード型で導入されている
+
+[[PureScript]]では明示的なシンタックスで導入されている
+
+[documentation/language/Records.md at master · purescript/documentation · GitHub](https://github.com/purescript/documentation/blob/master/language/Records.md#extending-records)
+
+[documentation/language/Types.md at master · purescript/documentation · GitHub](https://github.com/purescript/documentation/blob/master/language/Types.md#row-polymorphism)
+
+レコード型のコンストラクタが‘`Row Type -> Type`(Rowはカインド変数)になる
+
+
+[[SATySFi]]ではオプション付き引数の型システムに使ってる
+
+[SATySFi v0.1.0に向けたラベルつきオプション引数の型システム - gfnweb](https://gfngfn.github.io/ja/posts/2022-05-22-a-type-system-of-labeled-optional-parameters-for-satysfi/)

content/Rust.md

@@ -2,3 +2,15 @@
 date: "2023-09-01T19:08:25+0900"
 ---
 #tools #software 
+
+
+## Rustから影響受けたっぽいスクリプティング言語
+
+- [[Gluon]]
+- [[Rune]]
+- [[Rhai]]
+- [[Moonbit]]
+- [[Gream]]
+- [[Ad-Astra]]
+
+[[RustでGUIを作る選択肢]]

content/RustでGUIを作る選択肢.md

@@ -0,0 +1,26 @@
+
+## [[egui]]
+
+[[otopoiesis]]で使ってる。[[ImGui]]から影響を受けたimmediate GUI。WebAssemblyでもきちんと動作する（全部を一つのcanvasにレンダリングする。DOMの扱いは無理）
+
+
+## [[iced]]
+
+[[Elm]] のアーキテクチャに影響を受けたライブラリ。
+
+マルチバイト文字非対応
+
+
+## [[Tauri]]
+
+Webviewベースで、フロントエンドはJSやTypeScriptで書くという、[[Electron]]のような構成のデスクトップアプリを作れるフレームワーク
+
+生のCanvasを触ることもできる
+
+## [[Dioxus]]
+
+フロントエンドも含めてRustで完結するWebviewベースのライブラリ。
+
+こちらは生Canvas触れないのがつらい
+
+Dioxusでつくっていって、サムネイルとか必要ならWeb-sysでCanvas動かせばそれでいいのかな

content/Scrapbox.md

@@ -12,7 +12,7 @@ https://scrapbox.io/
 - Wikiリンク記法でページ間をシームレスに接続
 - 箇条書きベースのシンプルな記法
 - ページの存在に関わらず自由にリンク作成が可能
-- 2ホップリンクによる関連情報の発見
+- [[2hop-link]]による関連情報の発見
 - 非同期のリアルタイム編集
 
 ## 活用例

content/Shibayama Shunsuke.md

@@ -0,0 +1,3 @@
+#person 
+
+[mtshiba (Shunsuke Shibayama) · GitHub](https://github.com/mtshiba)

content/Smalltalk.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-20 16:02
+---
+#programming-language 

content/Sonic Pi.md

@@ -9,7 +9,7 @@ date: "2024-02-06T02:00:06+0900"
 
 言語のフロントエンドは[[Ruby]]、オーディオ合成エンジンは[[SuperCollider]]、イベントスケジューリングには[[Erlang]]のバックエンドになっている[[BEAM VM]]を使ってる。
 
-最近新バージョン（というか別プロジェクト）で[[Luerl]]というErlang上で実装された[[Lua]]と、独自のDSLであるTau5Langというのをサポート予定らしい。
+最近新バージョン（というか別プロジェクト）の[[Tau5]]という言語では、[[Luerl]]というErlang上で実装された[[Lua]]と、独自のDSLであるTau5Langというのをサポート予定らしい。
 
 [GitHub - samaaron/tau5: Code. Music. Live.](https://github.com/samaaron/tau5)
 

content/SuperCollider.md

@@ -7,8 +7,8 @@ date: "2024-02-06T02:00:06+0900"
 
 [index | SuperCollider](https://supercollider.github.io/)
 
-もともとMax上で動くPyriteというスクリプティング言語と、Synth-O-Maticというソフトウェアシンセサイザーがあって、それを合体させる形で作られた。
+もともと[[Max]]上で動くPyriteというスクリプティング言語と、Synth-O-Maticというソフトウェアシンセサイザーがあって、それを合体させる形で作られた。
 
-Smalltalkベースのシンタックスを持つオブジェクト指向言語で、演算子の優先順位がなく全てが左結合だったりと文法が独特。バージョン3からは言語インタプリタ部分(sclang)とシンセサイザー部分(scsynth)が別プロセスとして動いており、[[OSC]]フォーマットで通信して動いている。[[TidalCycles]]や[[Sonic Pi]]、[[FoxDot]]や[[Overtone]]などは、音声合成エンジンとしてscsynthを利用している。
+[[Smalltalk]]ベースのシンタックスを持つオブジェクト指向言語で、演算子の優先順位がなく全てが左結合だったりと文法が独特。バージョン3からは言語インタプリタ部分(sclang)とシンセサイザー部分(scsynth)が別プロセスとして動いており、[[OSC]]フォーマットで通信して動いている。[[TidalCycles]]や[[Sonic Pi]]、[[FoxDot]]や[[Overtone]]などは、音声合成エンジンとしてscsynthを利用している。
 
 言語はコンカレントGCが走っていたりとかなり複雑な内部実装。実装している中の人にBoostの開発者の中の人が混ざってたりするのでめっちゃ高度なことをやっている。その分Webに移植とかは今後もハードルが高そう。

content/Takt.md

@@ -0,0 +1,13 @@
+---
+date: 2025-08-20 16:13
+---
+#programming-language #music 
+
+
+[[西村憲]]が開発した[[MML]]ベースの[[音楽プログラミング言語]]。
+
+[音楽記述言語「Takt」と生成音楽](http://fkeizai.in.arena.ne.jp/wordpress/wp-content/uploads/2016/01/kenkyu_2016_06_1.pdf)
+
+[高機能な音楽プログラミング言語Takt - 丸井綜研](https://marui.hatenablog.com/entry/2014/09/14/150337)
+
+[Takt download \| SourceForge.net](https://sourceforge.net/projects/takt/)

content/Tree-Sitter.md

@@ -0,0 +1,29 @@
+---
+date: 2025-09-17 09:53
+---
+#programming-language 
+
+[Introduction - Tree-sitter](https://tree-sitter.github.io/tree-sitter/)
+
+モダンな[[パーサジェネレータ]]。
+
+[[Rust]]で実装されているが、Cライブラリを経由して様々な言語のバインディングが用意されている。
+
+ただ、言語の文法定義は[[JavaScript]]で行うなどちょっと複雑な作りをしている。
+
+インクリメンタルな構文解析に対応していることが特徴。
+
+---
+
+### 実際に使おうとしてみての感想
+
+カスタムの構文解析エラーメッセージの定義とかが難しい。これは長年問題になっているみたい
+
+[Helpful parser error messages · Issue #255 · tree-sitter/tree-sitter · GitHub](https://github.com/tree-sitter/tree-sitter/issues/255)
+
+---
+
+Rustのバインディングの問題。
+
+`kind_id`など多くのAPIがu16でのIDを返す
+

content/UGenの生成をスクリプトから命令列に変換する.md

@@ -18,7 +18,7 @@ sine1 = nil
 ```
 
 
-[[SuperCollider]]でも似たような話だけど、ライブコーディング的なシステムを作ろうと思うとこういう制御構造→命令列への変換を定式化するのが重要なのでは
+[[SuperCollider]]でも似たような話だけど、[[ライブコーディング]]的なシステムを作ろうと思うとこういう制御構造→命令列への変換を定式化するのが重要なのでは
 
 ジェネラティブUGenネットワークグラフの生成もここに含まれる
 

content/f3.js.md

@@ -0,0 +1,10 @@
+---
+date: 2025-09-05 12:23
+---
+#research 
+
+[[加藤淳]]による研究。
+
+[f3.js \| IoTコンテンツを作ろう！ \| f3js.org](https://f3js.org/)
+
+Node.jsでIoTデバイスの動作設計コードと筐体設計用のビジュアルデザインを並行して一緒に作れる

content/facet.md

@@ -3,6 +3,6 @@ date: 2025-06-12 10:32
 ---
 #programming-language 
 
-[[Max]]上で動作するJSベースのライブコーディング用スクリプティング言語
+[[Max]]上で動作するJSベースの[[ライブコーディング]]用スクリプティング言語
 
 [GitHub - nnirror/facet: Live coding and synthesis with NodeJS and a browser](https://github.com/nnirror/facet)

content/mimium.md

@@ -22,7 +22,7 @@ https://github.com/mimium-org/mimium-rs
 
 - [[mimiumの部分的DSP更新とFaustのondemand]]
 - [[mimiumでのIOパラメーター]]
-
+- [[mimiumの型推論]]
 ### 中間表現について
 
 - [[mimium新内部表現の構想]]
@@ -35,7 +35,7 @@ https://github.com/mimium-org/mimium-rs
 
 ## マクロ
 
-- [[mimiumと多段階計算]]
+- [[mimiumの多段階計算]]
 	
 
 ### ランタイム周りについて
@@ -75,4 +75,4 @@ https://github.com/mimium-org/mimium-rs
 - [[mimiumでのバリアント]]：やっぱり必要、だが分割コンパイルを先にやらないとダメかも
 - モジュールシステム：名前空間のCライブラリレベルでのマングリングとか考える必要ありそう。
 - 配列型の実装：GC問題片付けばなんとか？固定長と可変長の切り替えをどうするかを考えたい。
-- OSCの実装
+- [[OSC]]の実装

content/mimiumでMIDIインプットを実装.md

@@ -180,3 +180,7 @@ fn alloc_midi_voice_4(channel){
 }
 
 ```
+
+
+[[Computation Expression]]使ってIOの値を`let!`でバインドしていく、とかの方がわかりやすいかも
+

content/mimiumでのIOパラメーター.md

@@ -77,46 +77,20 @@ channel = 1000;//
 最後の行のように、普通にAssign書き込むのもできるようにしておきたい。これできるようにするには、Assignをオーバーロードできるような型システムが必要なのかな`param(コンストラクタ)`と`get_param_name`、`get_param`、`set_param`の4種類があれば十分か
 
 
+## ParamよりControllerの方が良くないか
 
-[[mimiumのレコード型]]のデフォルト実装、関数のデフォルト引数の組み合わせに対して自動でパラメーターが作られるようにしたい
+Parameterは単に関数の引数という意味合いにもとれてしまう
 
-```rust
+Inputだとプログラムの入力という意味は伝わりやすいが、オーディオインプットとの区別がつきづらくなってしまう
-fn gen_synthesizer(){
-	let s = |gate = 0,freq=1000,gain = 1.0|{
-		...
-	}
-	s({..})
-}
-let mysynth = gen_synthesizer();
 
-fn dsp(){
+ので、Controllerがわかりやすいかもしれない
-	mysynth()
+## [[mimiumのレコード型]]の実装と組み合わせる
-}
 
-```
+デフォルト実装、関数のデフォルト引数の組み合わせに対して自動でパラメーターが作られるようにしたい
-
-これを実行すると、隠れレコード構造体定義とグローバルなデフォルト引数が作られる
-
-```rust
-...
-type defaultarg = {
- "gate":number = 0,
- "freq":number = 1000,
- "gain":number = 1.0
-}
-let default_arg_for_mysynth = param("mysynth",defaultarg::default());
-fn dsp(){
-	mysynth()
-}
-```
-
-dsp内で`mysynth({..})`と実行してしまうと、これがグローバルなコンテキストで作られない可能性がある・・のか？いや、でも基本的に書き換えられる心配はないからいいのかな
-
-デフォルト引数構造体のインスタンスは必ずグローバル評価で行う、だとパラメトリックな生成はできないし問題起きそう
 
 ```rust
 //自動キャストとジェネリクスの組み合わせさえうまくいけばこのくらいのことはできそう
-let p = param({..});
+let p = controller({..});
 fn dsp(){
 	p |>
 	|gate = 0,freq = 1000,gain = 1.0|{
@@ -125,4 +99,44 @@ fn dsp(){
 }
 ```
 
-ということは、とりあえず雑にParamを実装して
+これを実行すると、隠れレコード構造体定義とグローバルなデフォルト引数が作られる
+
+```rust
+...
+type defaultarg = {
+ gate:number = 0,
+ freq:number = 1000,
+ gain:number = 1.0
+}
+let p = param(defaultarg::default());//p is higher order function
+fn dsp(){
+	mysynth(p())
+}
+```
+
+dsp内で`mysynth({..})`と実行してしまうと、これがグローバルなコンテキストで作られない可能性がある・・のか？いや、でも基本的に書き換えられる心配はないからいいのかな
+
+デフォルト引数構造体のインスタンスは必ずグローバル評価で行う、だとパラメトリックな生成はできないし問題起きそう
+
+
+## [[mimiumの多段階計算]]と組み合わせる
+
+`controller`関数がジェネリックな`Code`型を返す関数であれば、関数内に直接埋め込むこともできそう
+
+```rust
+//これが
+fn dsp(){
+	controller!({..}) 
+	|>　|gate = 0,freq = 1000,gain = 1.0|{
+		...//do something
+	}
+}
+//こう展開される(本当にジェネリックにできるかは要検討)
+fn dsp(){
+	__get_generated_controller_value(uuid)
+	|>　|gate = 0,freq = 1000,gain = 1.0|{
+		...//do something
+	}
+}
+```
+

content/mimiumでのライブコーディングエンジン.md

@@ -3,6 +3,8 @@ date: 2025-06-27 16:54
 ---
 #mimium #livecoding 
 
+mimiumでも[[ライブコーディング]]がやりたいよね
+
 一般化するとこういうモデルにならんだろうか
 
 ![[img/general-livecoding-model.png]]
@@ -22,3 +24,60 @@ ChucKではエフェクトのテールが更新時にぶちぎれる問題があ
 ...これ、結局[[SuperCollider]]のJITLibと同じことかもな
 
 [jitlib\_basic\_concepts\_01 \| SuperCollider 3.14.0-dev Help](https://doc.sccode.org/Tutorials/JITLib/jitlib_basic_concepts_01.html)
+
+## 信号処理の状態持ち越し
+
+[[Incremental Functional Reactive Programming]]の仕組みを用いることはできるだろうか
+
+```rust
+//これが
+fn dsp(){
+  delay(100,100,input)+ delay(200,200,input)
+}
+//こう更新されるとする
+fn dsp(){
+  delay(300,300,input) + delay(100,100,input)+ delay(200,200,input)
+}
+```
+
+`delay(100)`にはID(delay_1)が、`delay(200)`にはID(delay_2)がそれぞれつけられる
+
+（どう増分検出してID割り振るかの仕組みは置いといて）、再コンパイル時に100と200はそのまま、新しく増えたdelay(300)にID`(delay_3)`を挿入する
+
+そうすると、StateStackのためのメモリは完全にリニアにはしないほうが良くて、ツリー状のデータ構造に戻した方が良さそう
+
+[[Red Green Syntax Tree]]のGreen Node→状態メモリのマップだと考えるとわかりやすいのか？
+
+```
+dsp
+|       \
+delay(1) delay(2)
+```
+
+から
+
+```
+          dsp
+    /      |       \
+delay(3)delay(1) delay(2)
+```
+
+に更新される
+
+```rust
+enum StateLeaf{
+   Nested(Box<StateTree>),
+   Delay(usize),
+   Feedback(usize),
+}
+struct StateTree{
+  children: Vec<StateLeaf>
+}
+```
+
+
+クロージャの呼び出しの時は？
+
+コンパイル時ではなく、Closure命令でクロージャが作られる際にアロケートとIDの振り分けが起きる
+
+クロージャ

content/mimiumのモジュールシステム.md

@@ -10,7 +10,12 @@
 - 操作的意味論的にもある程度一貫性がある
 - モジュール内ではシンボルの相互参照が可能（後から定義されるシンボルでも参照可能）
 
-で、デザインチョイスのトレードオフとしては意味論を楽にしようと思うと分割コンパイルがめんどくさくなる
+分割コンパイルができるということは、依存するファイルを毎回コンパイルしないでも、型情報のキャッシュが残ってれば再利用できるということ
+
+バラバラのMIRとしてコンパイルできて、関数や定数はmonomorphizeされたユニークな名前：値の対応関係が1:1で付く
+
+
+デザインチョイスのトレードオフとしては意味論を楽にしようと思うと分割コンパイルがめんどくさくなる
 
 複数のコードを合体させるときに、流用されるコードの複製が増える問題
 
@@ -33,25 +38,35 @@ pub type alias Hoge = ()->float //エイリアス宣言
 
 ```
 
-#### モジュールの宣言
+#### シンタックス：モジュールの宣言
 
 ```rust
-mod(macro) modname{
+mod modname{//ソースファイルと同じ宣言
    //toplevel_decls
 }
 ```
+
+```rust
+mod modname{//ステージの変更
+@stage = macro
+   //
+}
+```
+
 - モジュール単位でMIRとバイトコードを生成して、あとからリンクできるようにする
 - ただし、ステージ0マクロの展開もしないといけないので、ASTも出力して保持していないといけない
 
 モジュールを値としてレコード型に型付けできると話が早いんだけど、それ一級モジュールの機能だよな
 
+
+
 #### 意味論
 
 ```rust
 stage(1)
 mod(0) modname{
    //toplevel_decls
-   fn foo(){
+   fn foo()-> `float {
     ...
    }
 }
@@ -138,6 +153,9 @@ Rustの場合はグローバルな宣言が基本的に型推論しなくて済
 	- とりあえずmodAの型はすべて不明なレコード型として解釈して型付け開始
 - Proigram→Exprへの変換の中でuse宣言をextern modA:{...}に変換し、名前空間参照をレコードへのアクセスに変換
 
+両方が推論終わってから再度Unificationしないといけないか？これも再帰を禁止しておけばそれでいいのか
+
+
 
 
 ---

content/mimiumのレコード型.md

@@ -13,16 +13,24 @@ date: 2025-07-02 11:40
 
 ## 基本構文
 
-構文のベースは [Elm](https://elm-lang.org/docs/records) である。小竹は Rust 風にはしない。
+構文のベースは [[Elm]] である。この部分だけは Rust 風にはしない。
 
 匿名レコード型を正の文脈で使う。
 
 
 ```rust
-let myadsr_param = {     attack = 100.0,    decay = 200.0,    sustain:float = 0.6, // let 式同様に型注釈は省略可能だ    release = 2000.0,     // 末尾のカンマも許可されるべきだ } let singlerecord = {   value = 100, // フィールドが1つだけのレコードは、ブロックや代入構文と区別するために末尾カンマが必須だ }
+let myadsr_param = {     
+　　　　attack = 100.0,    
+　　　　decay = 200.0,    
+　　　　sustain:float = 0.6, // let 式同様に型注釈は省略可能だ    
+　　　　release = 2000.0,     // 末尾のカンマも許可されるべきだ 
+}
+let singlerecord = {   
+　　　　value = 100, // フィールドが1つだけのレコードは、ブロックや代入構文と区別するために末尾カンマが必須だ 
+}
 ```
 
-後で実装予定だが、型エイリアス／新規型宣言の中でもデフォルト値を設定できる。宣言内のデフォルト値はリテラルである必要がある。
+後で実装予定だが、型エイリアス／新規型宣言の中でもデフォルト値を設定できる。宣言内のデフォルト値はリテラルである必要がある(のか？)。
 
 
 ```rust
@@ -50,7 +58,8 @@ Elm 由来の「update」構文も加える。ただし区切りにはパイプ
 
 
 ```rust
-let newadsr = { myadsr_param <- attack = 4000.0, decay = 2000.0 }  // attack フィールドのみ上書きして新しいレコードを生成
+let newadsr = { myadsr_param <- attack = 4000.0, decay = 2000.0 }  
+// attack,decay フィールドのみ上書きして新しいレコードを生成
 ```
 
 これは以下のような構文糖衣として実装できる。
@@ -163,10 +172,10 @@ fn mysynth(freq,amp,gate){
 
 ```rust
 let param = {
-   freq:1000,
+   freq = 1000,
-   amp:1.0,
+   amp = 1.0,
-   gate: 1.0,
+   gate = 1.0,
-   phase: 0.0, //余計なパラメーター
+   phase = 0.0, //余計なパラメーター
 }
 param |> mysynth //でも、部分型になるのでOK
 ```
@@ -177,7 +186,7 @@ param |> mysynth //でも、部分型になるのでOK
 
 例えばデフォルト値が次の型クラスの実装となっているとすると
 
-```
+```rust
 type ADSR = {
 	attack:float,
 	decay: float,

content/mimiumの型推論.md

@@ -0,0 +1,88 @@
+
+[[型推論]]
+
+[[Erg]]のドキュメントが参考になる
+
+[[構造的部分型]]と[[単一化]]の組み合わせ方の参考になる
+
+[erg/doc/JA/compiler/inference.md at main · erg-lang/erg · GitHub](https://github.com/erg-lang/erg/blob/main/doc/JA/compiler/inference.md)
+
+
+## デフォルト型パラメーターの推論
+
+[[mimiumのレコード型#レコード型を使った自動パラメータパック]]
+
+これをちゃんと推論したい
+
+```rust
+fn foo(a,b=1.0,c=2.0){
+  a+b+c
+}
+fn dsp(){
+  { a = 4.0 .. } |> foo // should be 7.0
+}
+```
+
+試しにオプション型`Option<T> = Some(T) | None`を`T?`と書くことにする
+
+`foo:{a:float,b:float?,c:float?}->float`
+
+関数内でランタイムチェックしてOKならこういう感じに展開できる
+
+```rust
+fn foo(a:float,b:float?,c:float?){
+   let b = b.unwrap_or(1.0);
+   let c = c.unwrap_or(2.0);
+   a+b+c
+}
+//bだけがunwrapされ、cはdefault値になる
+fn dsp(){
+  foo({ a = 4.0 , b = 3.0 }) // should be 9.0
+}
+```
+
+そもそもSubtypingがきちんと働けばImcompleteRecord(`{..}`)とか書く必要ないっぽい
+
+ランタイムチェックをなくそうと思うと、結局静的ポリモーフィズムになる
+
+`{a:float, b:float}` と `{a:float, b:float?, c:float?}`
+
+float?はfloatとNoneいずれも受け入れられる。float?はfloatのサブタイプである。
+
+`float? <: float`
+
+`U' <: U`ならば`{a:T,b:U,c:V}` <: `{a:T,b:U'}` 
+
+
+
+でも構造的部分型だと[[mimiumでのIOパラメーター#mimiumの多段階計算 と組み合わせる]]の話とコンフリクトする
+
+```rust
+//この場合、aとbだけがuiに現れることになる？
+fn dsp(){
+  foo(control!({ a = 4.0 , b = 3.0 })) 
+}
+```
+
+
+
+```rust
+//この場合ならRow Polymorphismになるとかすればいいのか
+fn dsp(){
+  foo(control!({ a = 4.0 , b = 3.0 .. })) 
+}
+```
+
+この時、
+
+- control関数は`forall T. (T)->'T `
+- 実引数の型`forall r. {a:float,b:float ..r }`(rは列多相のカインド変数)
+- fooの引数の要求 `{a:float,b:float?,c:float?}`
+
+これを単一化するとTは`{a:float,b:float,c:float?}`に・・・なる？
+
+ImcompleteRecordリテラルが実行されてコンストラクタが呼ばれた時どうなるか
+
+
+
+

content/mimiumの多段階計算.md

@@ -68,4 +68,60 @@ Param型はinvokeでuiからの値を取れる、サンクをアンラップす
 
 結局、読み込んで返す値として次元数の値を持つ配列を返すしかないのかも
 
+ただ、よく考えると[[Max]]のsfplayとかだって、ファイルのチャンネル数とは別に出力のチャンネル数先に指定するしな（入ってるファイルの中身のCh数に応じて処理を分岐させるというユースケースがあんまり思いつかない）
+
+## シンタックス
+
+```rust
+let x = `{1+2} //コード型のシンタックス
+${x} //エスケープ/スプライスのシンタックス
+//or
+$x
+
+```
+
+### シンタックスシュガー
+
+ファイル内でステージを変えたブロックを作りたい場合、ブロックがどんどんネストされていって面倒なので
+
+```rust
+//ステージ1からスタート
+
+stage(-1){
+//ここはステージ0
+let x = {...}
+}
+//一度ステージ1へ
+
+stage(-1){
+//ここはステージ0
+let y = (x+...)
+}
+```
+
+これをこういう形でネストした式へ変形
+```rust
+//コンパイラはステージ0からスタートするためにCodeを追加
+`{
+//ステージ1からスタート
+${
+	//ステージ0
+   let x = {...}
+ `{
+ //一度ステージ1へ
+ }
+　${
+　//再度ステージ0へ
+　let y = (x+...)
+　}
+
+}
+}
+```
+
+この、最後に閉じ括弧が溜まっていく形にしない限り、yはxを参照できなくなってしまう
+
+→ステージは[[mimiumのモジュールシステム|モジュール]]単位で変更していくほうが都合がよさそう。
+
+
 

content/mimiumの配列実装.md

@@ -77,3 +77,46 @@ impl Machine{
 }
 
 ```
+
+
+## 用途
+
+例えばcatさんに作ってもらったこの辺の再帰を用いたコードがあるとする
+
+```rust
+fn gen_metalic_rec(times,freq,oscproto){
+  if(times>0){
+    let next = gen_metalic_rec(times-1,freq*1.176,oscproto)
+    let osc = oscproto();
+    | | { osc(freq) + next() }
+  }else{
+    | | 0.0
+  }
+}
+fn gen_metalic(times,freq){
+  let gen = gen_metalic_rec(times,freq,| | square_0);
+  | | gen() / times
+}
+let lowest_freq = 200.0
+let myoscbank = gen_metalic(6,lowest_freq)
+```
+
+こういう組み込み関数を与えて、
+
+```rust
+extern enumerate_by: (times,init:float,(x:float,acc:float)->float)->[float]
+```
+
+```rust
+
+fn metalic(times,lowest_freq){
+  let freqs =  enumerate_by(times,lowest_freq, |_x,acc| acc*1.167)
+  let res = map(freqs,|f| `square_0(liftf(f)))
+	        |> foldl(_, |x,acc| `{ $x + $acc } )
+  `{$res / liftf(times)}
+}
+fn dsp(){
+  metalic!(6,200)
+}
+
+```

content/otopoiesis.md

@@ -64,8 +64,8 @@ type Generator<T> = iVec<T>
 
 ```
 //Freq440Hz,Gain1.0,Phase0.0
-let Track1 = Generator::SineWave(Constant(440),Constant(1.0),Constant(0.0));
+let t1 = Track(Generator::SineWave(Constant(440),Constant(1.0),Constant(0.0)));
-let Track2 = Generator::SineWave(Track1,Constant(1.0),Constant(0.0));
+let t2 = Track(Generator::SineWave(t1,Constant(1.0),Constant(0.0)));
 ```
 これをあんまり動的ディスパッチじゃない感じで実装したい。そしてこの辺までは別にMaxとかと同じレベルの話
 
@@ -76,39 +76,210 @@ CubaseにおけるインストゥルメントトラックとかはMIDIトラッ
 
 ## 考えうるユースケース
 
+```rust
+type Region = {
+ start:float,
+ dur:float,
+ content: [float],
+} 
+
+fn region(start,dur,content:(({start,dur})->float))->Region{
+	let wave = render_mono(||content(start,dur)) |> probe_array 
+	{
+		start = start_p,
+		dur = dur_p,
+		content = wave
+	}
+}
+
+```
+
+### 一般的なリージョンエフェクト
+
+```rust
+type alias FX = ({s:float,start:float,dur:float})->float
+fn region_transformer(origin:Region,fx:FX) -> 'Region{
+	let start = origin.start
+	let dur = origin.dur
+	 `region({
+		start:$start,
+		dur:$dur,
+		content: |start,dur| {s:$origin.content(),start:$start,dur:$dur} |> $fx
+	})
+}
+```
+
 ### リージョンに対するFadeInOut
 
 ```rust
-fn fade_inout(origin:Region)->Region{
+fn apply_fadeinout(s,start,tin,dur,tout){
-	let time_in = Param(0.0,"fade_in",0..=f64::MAX);
+	let end = start+dur
-	let time_out = Param(0.0,"fade_out",0..=f64::MAX);
+	if now < start | now > end | tin<=0 | tout <= 0{
-	//クロージャとして値を閉じ込める
+		0
-	let new_generator = |s| apply_fadeinout(s,time_in,time_out);
+	}else{
-	Region{
+		let gain_s = min(max(now - start,0)/tin ,1)
-		start:origin.start,
+		let gain_e = min(max(end - now,0)/tout,1)
-		dur:origin.dur,
+		s*gain_s*gain_e // gain_sとgain_eはどちらから0~1の区間もう片方が1
-		content: compose(origin.content,new_generator)//この辺がよくわからん
 	}
 }
+fn finout_generator(s,start,dur){
+	//パラメーターはステージ１では単なる変数参照になる
+	let time_in = Param!(0.0,"fade_in",0..=f64::MAX);
+	let time_out = Param!(0.0,"fade_out",0..=f64::MAX);
+	apply_fadeinout(s,start,time_in,dur, time_out)
+}
+fn fade_inout(origin:Region)-> 'Region{
+	region_transformer(origin,finout_generator)
+}
+...
+fade_inout!(some_region)
 ```
 
 ### リージョンに対するリバース
 
 ```rust
 fn reverse(origin:Region)->Region{
-	//クロージャとして値を閉じ込める
+	let new_cache = origin |> render
-	let mut new_cache = vec![0;origin.get_dur_in_samples()*origin.channeks];
+	//クロージャとして値new_cacheを閉じ込める
-	origin.render(new_cache);
+	let new_generator = |s,start,dur| {//実際にはsは使わない
-	let new_generator = |s| ;
+	//s is not used
-	Region{
+		let index =  dur - start - now
-		start:origin.start,
+		new_cache[index]
-		dur:origin.dur,
-		content: compose(origin.content,new_generator)//この辺がよくわからん
 	}
+	region_transformer(origin,new_generator)
 }
+...
+some_region |> reverse!(_) |> fade_inout!(_)
+```
+
+## トラックの中で別のトラックの信号を参照する
+
+```rust
+fn phasor(freq){
+  self+freq/samplerate % 1.0
+}
+fn sinosc(freq,amp){
+  phase*TWOPI |> sin
+}
+// --ここから上はstage 1 value
+
+//track_1はstage0として参照する
+let track1:`()->float = Track(|| phasor(1.0)|> scale(_,0.0,1.0,100,4000))
+
+//track1をfrequencyとして参照することにする
+
+let r1 = LiveRegion({
+   start: 100ms,
+   dur: 1000ms,
+   content: || sinosc($track1(), 1.0)
+})
+
+let regions = [r1,r2,...]//regionの列はstage0のvalue
+
+let track3 = track_regions(regions)
 
 ```
 
+- リージョンの移動に応じて生成される波形が変わるみたいなこともできるようになる
+- ただ実行時のトラックのサンプルに依存すると、
+	- サムネイルの生成のために全てのトラックを一度走査するみたいな必要は出てくる
+	- これに対するリバースとか定義できなくない？
+- リージョンの書き込み＝ステージ0評価ということにするならば、ステージ0でもselfなど状態関数使える必要あり
+- リージョンを、他のトラックを参照するLiveRegionとそうでないものに分けるとか？
+- あるステージ0関数を評価するとステージ1配列を返すrender_lift関数のようなものを考える
+
+```rust
+fn render_lift(content:()->float,time:float)->`[float]{
+	...
+}
+```
+
+
+## トラックのランタイム構造
+
+```rust
+let content = `{ phasor(Param!("freq",20,20000)) } 
+
+
+fn Track(name:string, content:()->`float)->`float{
+	`{
+		//stack is cleared and new track ui is placed on top of the stack	
+		 $content() |> probe_to_track!(name,_)
+	 }
+}
+
+fn master(tracks:[`float])->`float{
+	Track!("master", `{  lift_array(map(tracks,|t| $t ) ) |> sum })
+}
+let dsp = master([t1,t2,t3...])
+
+```
+
+Trackの中でSliderとかが呼び出されると、そのスライダーはトラック内のパラメーターに属していて欲しいが、引数は内側から評価されてしまう=sliderの評価の方が先に来てしまう
+
+UIツリー系の評価は、
+
+- 個別のパラメーターを評価時Stackに積むような処理
+- TrackやリージョンではStackを消費しグループ化して自分のデータを構築(data::Trackの方)、トラックのUIを配置してStackに積む
+- トップレベルでスタックを全て消費しUIをプロジェクト全体のUI構築
+
+UI系の関数は全てサンク（レベル0）を受けて遅延評価するようなものでないとNG
+
+
+## 最低限必要になるUI類
+
+```
+Project
+Track
+Clip
+Slider
+Checkbox
+```
+
+Trackの直下でTrackが呼ばれた場合、フォルダトラックとしてネストされることになる、、、とか
+
+これ、たとえばClipはTrackの下かClipの下かのいずれかでしか使えないっつーことになるのでなんか新たに型システムで縛れる気がしてきたなあ
+
+Sliderが呼び出された時、初期値を変数参照にするのはあんまり意味がないことになる（リテラルで固定して、それを双方向プログラムしたい）
+
+一個ずつ順番に考えていこう
+
+```rust
+`{
+let phasor = | | (self+1.0)% 44100 
+let dsp:()->float = Project!("test project ",`| | {
+        let gain = Slider!("gain",`0.5,0.0,1.0)
+        sin(440*3.1415 * 2*phasor() /samplerate) *gain
+    })
+}
+```
+
+これがコンパイル通るところまではいける
+
+ExprNodeIdをオーディオスレッドで直接参照してはいけない（session_globalsがスレッドローカルなので参照ができない）
+
+リテラルの値を`Arc<atomic::F64>`でパースして、それを引き回す
+
+Sliderの値はProbeIdのようにインデックス参照したいので、そのストレージを何処で保持するか問題
+
+SystemPluginは本来スレッドを超えて共有できない状態を共有できてしまう（vmが走っているオーディオスレッドからメインスレッドの値にアクセスしてしまっている）
+
+そうすると状態共有でArcを使用する意味があんまりない
+
+
+
+## トラックの追加やリージョンの追加のアクション
+
+要するにUndo可能なアクション
+
+- 最悪、テキストに関してはdiff取って保存しておけば良いんでは
+- 「新規トラックの追加」みたいなアクションをどうするか
+- GUIのViewモデルからシンタックスツリーに戻すことはできない（マクロ展開後の結果だから）
+- Projectに与える配列に対してNodeの参照を持っていればなんとかなるか？
+- 
+
+
+
 ### 他
 
 - ドラッグしてるオブジェクトのスナップ対象は例えばCubaseなら固定のグリッドor既存のイベントorその両方とかだけど、例えばグリッドをジェネラティブに生成できる
@@ -123,9 +294,10 @@ fn reverse(origin:Region)->Region{
 	- 再生前（prepareToPlay)
 	- 信号再生時（process）
 
+
 ## 多段階計算と組み合わせる
 
-[[mimiumと多段階計算]]で、それなりに多段階計算の実装が間に合ってきた。
+[[mimiumの多段階計算]]で、それなりに多段階計算の実装が間に合ってきた。
 
 FadeinOutのようなリージョン→リージョンの関数はステージ0の計算と考えることができる。
 
@@ -140,7 +312,13 @@ fn gen_component(){
  Param{..} |> sinosc
 }
 ```
-`Param`はジェネリックな
+
+`Param`はジェネリックな関数とする
+
+まあこれつまり、Temporal Type Constuctorだけだとパラメーター周りのIOのライブ入出力について十分に考慮されていないということになるのかな
+
+フェードイン/アウトを掛けた状態のものを、複製とかも含めて考えるとどうなるんだろ
+
 
 
 ---
@@ -201,3 +379,14 @@ id_arenaのIDが128bitである限りちょっと厳しそう
 
 コンパイラのContextをアプリ中で引き回さなくちゃいけなくなるのがやだなー
 少なくともこれやるとマルチスレッドはめっちゃ難しくなるな
+
+名前があんまり気に入ってない
+
+mimeme(MInimal Musical Environment for Manual Editing)
+
+---
+
+[[PureData]]なみのミニマルな部分からの作り込みというのができない（静的型付けだからか？）
+
+
+

content/この研究ノートについて.md

@@ -69,7 +69,7 @@ Webサイトとの運用方針の違い。
 
 v4以降不要。obsidianで表示できるものは基本全て表示できる
 
-### 階層分けについて
+### 階層分け
 
 ~~相対リンクがHugo-Obsidianでうまく動かないこともあるため、ファイル単位ではなるべくしない方針。つまり基本全部ルートフォルダに置く。~~
 

content/コードとデザイン 授業設計の覚書.md

@@ -0,0 +1,89 @@
+#writings 
+
+※この文章は、AMC JOURNAL（東京藝術大学芸術情報センター紀要）2025への掲載を目的として執筆する草稿である。
+
+## Abstract
+
+本稿は、2023年度から2025にかけて実施されたAMC開設授業「コードとデザイン」（前期金曜4・5限）の授業設計および実施記録である。本授業は、美術・音楽を専門とする学生を対象とした電子工作とプログラミングの知識習得を中心とした演習授業である。本授業ではその知識習得過程自体をパーソナル・パーソナルコンピューティング：誰もがコンピューターをただ使うだけでなく、自分（たち）のための計算機を自らの手で作れる技術環境づくりのひとつと位置づけ、電子計算機の原理や歴史的発展にも時間を割いている。
+本稿では、その授業設計の背景や、カリキュラムの具体的な内容を記述した上で、改善しうる点について述べる。
+
+## はじめに
+
+本稿では、2023年度から2025年度にかけて筆者が担当したAMC開設授業「コードとデザイン」の授業設計とその反省について記述する。
+
+本稿の第一の目的は、近しい領域における授業の実施を検討している教員への参照点を示すことだ。
+
+本授業の設計でも大きな参考とした"Code as Creative Medium"においても、デザイナーやアーティストがプログラミングやコンピューティングを学ぶためのリソースはあっても、それを教える人のための指針やドキュメントは多くない。
+
+- 授業の設計の参考資料が存在しないこと
+	- アメリカとかでは人文系、芸術系でも教員個人のWebサイトにシラバスや参考資料がまとめてあることが少なくない
+
+## 背景
+
+2022年度以前から芸術情報センターで「コードとデザイン」はデザイン科共催授業を基にして継続的に実施されてきた。内容としてはArduinoの使用方法やレーザーカッターを用いた造形のような、アーティストとして役に立つプログラミング、電子工作、デジタルファブリケーションの知識の習得を目指すものであった。2022年度後半に、それ以前授業を担当していたデザイン科の鈴木太朗教授との相談の上、基本的な目的は維持したうえで新たにゼロから授業を設計することになった。
+
+授業設計上の制約としては、まずあらかじめ決まっている時間の長さ（90分×2コマx15回）がある。また、他のAMC開設授業の中には映像表現、音楽等を取り扱う授業はあるものの、電子工作のようなハードウェア要素の強い授業は他にないため、全体のバランスとしてハードウェアの取り扱いを中心に据える必要もある。
+
+さらに特徴的な制約としては、想定される対象履修者の幅広さがある。芸術情報センターには直接学生が所属せず、美術、音楽、映像問わず全学科の学生が任意で芸術情報センター開設授業を履修できる。学部1年生から大学院博士課程まで履修する可能性がある。それゆえ全くプログラミングをしたこともない学生、Arduinoだけは軽く触ったことのある人、既にモーターなどを使用した工作の経験まである人など、前提知識には例年大きなばらつきがある。また技術的な知識の差ほかにも、芸術学科、楽理科や音楽環境創造科の学生のように、必ずしも作品制作を主軸に置かない学生も存在するため、それぞれの目的意識にも広がりがある。
+
+### 授業設計の指針
+
+授業全体の副題を「パーソナル・パーソナルコンピューターをつくる」と設定した。
+
+授業を設計するにあたって意識的に行ったことの一つが、既存の授業資料やワークショップを積極的に活用することである。特に、前半の授業は筆者が2018年に参加したニューヨークのアーティスト・ラン・スクールであるSchool for Poetic Computation（SFPC）のカリキュラムである。
+
+
+## 到達目標の設定
+
+パーソナル・パーソナルコンピューターをつくる
+
+最終課題の自由度
+
+- 完全自由制作
+	- 他の授業における前期の課題制作に、授業で学んだ要素が生かされているならば重複してもよい
+- 授業内小課題（後述）の発展
+
+全員が作品制作を最終ゴールとしていないこと。作品そのものではなく自分の製作に役に立つツールを制作する
+
+AMC解説の演習授業は必ずしも卒業要件に関わらない自由科目として選択されることも少なくないため、最終課題制作期間に自分の専攻の課題制作が重なることで忙しくなり、履修を継続できなくなることが往々にしてあることへの配慮である。
+
+
+## カリキュラム
+
+シラバスより転用
+
+1. Conditional Design Workshop
+2. Victorian Synthesizer/ Tympanic Alley
+3. インバーターの製作
+4. 2進数カードゲーム（浦川通）
+5. NAND回路と全加算器
+6. Arduino基礎
+7. 秋葉原に買い物
+8. 雑マウス
+9. Processingとの連携/ピンポンゲーム
+10. サウンド
+11. モーター
+12. 課題制作打ち合わせ
+13. デジタルファブリケーション（手作り電子部品）
+14. 課題制作打ち合わせ2
+15. 最終課題発表
+
+## 前半
+
+デザインとは？：Conditional Design Workshop
+
+脱電子工作入門：Victorian Synthesizer/ Tympanic Alley
+
+Handmade Computer(3,5回)
+
+バイナリーカードゲーム
+
+## 後半：Arduinoの実用
+
+Arduinoの選定
+
+Leronardoか、Arduino Uno R4
+
+これらだとUSB HIDエミュレートができる
+
+ただし、ADCToucｈなど普通のライブラリで使えるものが使えなくなる

content/テロメア.md

@@ -0,0 +1,14 @@
+---
+date: 2025-08-20 16:48
+---
+[テロメア - 橋本商会](https://scrapbox.io/shokai/%E3%83%86%E3%83%AD%E3%83%A1%E3%82%A2)
+
+[[Scrapbox]]に入っている、行毎の更新履歴を視覚化する仕組み
+
+[[Obsidian]]と[[Quartz]]にも入れたい
+
+Obsidianに関してはGit Pluginの[Line Authoring](https://publish.obsidian.md/git-doc/Line+Authoring)機能でなんとなく似た感じにはできるんだけど、1年以上前かそれ以外ぐらいでの色分けしかできない、デフォルトだと文字がうるさい（日付も文字も消してしまうと多少快適）
+
+
+
+

content/パーサジェネレータ.md

@@ -0,0 +1,4 @@
+---
+date: 2025-09-17 09:55
+---
+#stub

content/加藤淳.md

@@ -0,0 +1,4 @@
+---
+date: 2025-09-05 12:23
+---
+#stub

content/双方向プログラミング.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-21 15:05
+---
+#stub

content/型推論.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-18 11:26
+---
+#stub

content/増井俊之.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-21 11:55
+---
+#stub

content/太陽電池ピックアップ.md

@@ -0,0 +1,11 @@
+---
+date: 2025-08-29 10:33
+---
+#memo 
+
+[[關於]]のYoutubeのチュートリアルより。
+
+[DIY Electronic Sounds｜Ep.5 – 化光為聲：太陽能板拾音器 - YouTube](https://www.youtube.com/watch?v=Q3qb_d3XKNI)
+
+
+[[色素増感太陽電池]]でもできるかな？

content/文脈様相型理論.md

@@ -0,0 +1,10 @@
+---
+date: 2025-09-09 17:08
+---
+#programming 
+
+[[Contextural Modal Type Theory]]
+
+[[メタプログラミング]]や[[多段階計算]]に近しいやつ（らしい）
+
+[tocl07.pdf](https://www.cs.cmu.edu/~fp/papers/tocl07.pdf)

content/構造的部分型.md

@@ -0,0 +1,4 @@
+---
+date: 2025-08-18 11:04
+---
+#stub

content/色素増感太陽電池実験2.md

@@ -1,7 +1,7 @@
 ---
 date: 2025-04-22 15:39
 ---
-#reseach #dssc #semiconductor 
+#research #dssc #semiconductor 
 
 ## 陰極の作成
 

content/西村憲.md

@@ -0,0 +1,6 @@
+---
+date: 2025-08-20 16:14
+---
+#person 
+
+

content/關於.md

@@ -0,0 +1,5 @@
+---
+date: 2025-08-29 10:32
+---
+#person 
+

content/音楽プログラミング言語.md

@@ -10,39 +10,59 @@ date: "2024-01-05T17:15:38+0900"
 
 ---
 
-## 一覧
+## 一覧(現行で生きているもの)
 
 - [[Max]]
+	- [[facet]]
 - [[PureData]]
 - [[SuperCollider]]
-	-  [[Sonic Pi]]
+	- [[Sonic Pi]]
 	- [[Overtone]]
 	- [[TidalCycles]]
 	- [[FoxDot]]
 - [[sapf]]
 - [[Csound]]
+	- [[MPEG4 Structured Audio]]
 - [[Extempore]]
 - [[ChucK]]
 - [[Faust]]
 - [[Cmajor]]
+	- [[Soul]]
+- [[Kronos]]
+	- [[Veneer]]
 - [[Vult]]
 - [[Gwion]]
 - [[Glicol]]
+- [[ORCA]]
 - [[Omni]]
+- [[Nyquist]]
 - [[Arco]](Serpent)
+- [[Wax]]
+
+## MIDIオンリー、[[MML]]系
+
+- [[ストトン記法]]
+- [[すたどんたん]]
+- [[テキスト音楽サクラ]]
+- [[PMML]]
+- [[Takt]]
 
 ---
 
+## 歴史的なやつ
+
+- [[MUSIC N]]
+	- [[MUSIGOL]]
+	- [[MUS10]]
+- [[GROOVE]]
+- [[4CED]]
+- [[PILE]]
+- [[Chronic]]
+- [[LuaAV]]
+
+
 [[音楽プログラミング言語の形式化]]
 
-[[多段階計算]]
-
-[[Rustでの評価文脈（環境）のRAIIっぽい実装]]
-
-[[Lua]]
-
-[[Cranelift]]
-
 [[竹内関数で音楽]]
 
 [[Bytebeat]]

index.d.ts

@@ -5,8 +5,11 @@ declare module "*.scss" {
 
 // dom custom event
 interface CustomEventMap {
+  prenav: CustomEvent<{}>
   nav: CustomEvent<{ url: FullSlug }>
   themechange: CustomEvent<{ theme: "light" | "dark" }>
+  readermodechange: CustomEvent<{ mode: "on" | "off" }>
 }
 
+type ContentIndex = Record<FullSlug, ContentDetails>
 declare const fetchData: Promise<ContentIndex>

package.json

@@ -2,7 +2,7 @@
   "name": "@jackyzha0/quartz",
   "description": "🌱 publish your digital garden and notes as a website",
   "private": true,
-  "version": "4.3.0",
+  "version": "4.5.1",
   "type": "module",
   "author": "jackyzha0 <j.zhao2k19@gmail.com>",
   "license": "MIT",
@@ -16,12 +16,12 @@
     "docs": "npx quartz build --serve -d docs",
     "check": "tsc --noEmit && npx prettier . --check",
     "format": "npx prettier . --write",
-    "test": "tsx ./quartz/util/path.test.ts && tsx ./quartz/depgraph.test.ts",
+    "test": "tsx --test",
     "profile": "0x -D prof ./quartz/bootstrap-cli.mjs build --concurrency=1"
   },
   "engines": {
-    "npm": ">=9.3.1",
+    "npm": ">=10.9.2",
-    "node": "20 || >=22"
+    "node": ">=22"
   },
   "keywords": [
     "site generator",
@@ -35,76 +35,81 @@
     "quartz": "./quartz/bootstrap-cli.mjs"
   },
   "dependencies": {
-    "@clack/prompts": "^0.7.0",
+    "@clack/prompts": "^0.11.0",
-    "@floating-ui/dom": "^1.6.8",
+    "@floating-ui/dom": "^1.7.0",
-    "@napi-rs/simple-git": "0.1.16",
+    "@myriaddreamin/rehype-typst": "^0.6.0",
+    "@napi-rs/simple-git": "0.1.19",
+    "@tweenjs/tween.js": "^25.0.0",
+    "@webgpu/types": "^0.1.61",
+    "ansi-truncate": "^1.2.0",
     "async-mutex": "^0.5.0",
-    "chalk": "^5.3.0",
+    "chokidar": "^4.0.3",
-    "chokidar": "^3.6.0",
     "cli-spinner": "^0.2.10",
     "d3": "^7.9.0",
-    "esbuild-sass-plugin": "^2.16.1",
+    "esbuild-sass-plugin": "^3.3.1",
     "flexsearch": "0.7.43",
     "github-slugger": "^2.0.0",
-    "globby": "^14.0.2",
+    "globby": "^14.1.0",
     "gray-matter": "^4.0.3",
-    "hast-util-to-html": "^9.0.1",
+    "hast-util-to-html": "^9.0.5",
-    "hast-util-to-jsx-runtime": "^2.3.0",
+    "hast-util-to-jsx-runtime": "^2.3.6",
-    "hast-util-to-string": "^3.0.0",
+    "hast-util-to-string": "^3.0.1",
     "is-absolute-url": "^4.0.1",
     "js-yaml": "^4.1.0",
-    "lightningcss": "^1.25.1",
+    "lightningcss": "^1.30.1",
-    "mdast-util-find-and-replace": "^3.0.1",
+    "mdast-util-find-and-replace": "^3.0.2",
     "mdast-util-to-hast": "^13.2.0",
     "mdast-util-to-string": "^4.0.0",
     "micromorph": "^0.4.5",
-    "preact": "^10.22.1",
+    "minimatch": "^10.0.1",
-    "preact-render-to-string": "^6.5.7",
+    "pixi.js": "^8.9.2",
-    "pretty-bytes": "^6.1.1",
+    "preact": "^10.26.7",
+    "preact-render-to-string": "^6.5.13",
+    "pretty-bytes": "^7.0.0",
     "pretty-time": "^1.1.0",
     "reading-time": "^1.5.0",
     "rehype-autolink-headings": "^7.1.0",
-    "rehype-citation": "^2.0.0",
+    "rehype-citation": "^2.3.1",
-    "rehype-katex": "^7.0.0",
+    "rehype-katex": "^7.0.1",
-    "rehype-mathjax": "^6.0.0",
+    "rehype-mathjax": "^7.1.0",
-    "rehype-pretty-code": "^0.13.2",
+    "rehype-pretty-code": "^0.14.1",
     "rehype-raw": "^7.0.0",
     "rehype-slug": "^6.0.0",
     "remark": "^15.0.1",
     "remark-breaks": "^4.0.0",
     "remark-frontmatter": "^5.0.0",
-    "remark-gfm": "^4.0.0",
+    "remark-gfm": "^4.0.1",
     "remark-math": "^6.0.0",
     "remark-parse": "^11.0.0",
-    "remark-rehype": "^11.1.0",
+    "remark-rehype": "^11.1.2",
     "remark-smartypants": "^3.0.2",
     "rfdc": "^1.4.1",
-    "rimraf": "^6.0.1",
+    "satori": "^0.13.1",
-    "serve-handler": "^6.1.5",
+    "serve-handler": "^6.1.6",
-    "shiki": "^1.10.3",
+    "sharp": "^0.34.2",
+    "shiki": "^1.26.2",
     "source-map-support": "^0.5.21",
     "to-vfile": "^8.0.0",
     "toml": "^3.0.0",
-    "unified": "^11.0.4",
+    "unified": "^11.0.5",
     "unist-util-visit": "^5.0.0",
-    "vfile": "^6.0.2",
+    "vfile": "^6.0.3",
-    "workerpool": "^9.1.3",
+    "workerpool": "^9.2.0",
-    "ws": "^8.18.0",
+    "ws": "^8.18.2",
-    "yargs": "^17.7.2"
+    "yargs": "^18.0.0"
   },
   "devDependencies": {
-    "@types/cli-spinner": "^0.2.3",
     "@types/d3": "^7.4.3",
     "@types/hast": "^3.0.4",
     "@types/js-yaml": "^4.0.9",
-    "@types/node": "^22.1.0",
+    "@types/node": "^22.15.23",
     "@types/pretty-time": "^1.1.5",
     "@types/source-map-support": "^0.5.10",
-    "@types/ws": "^8.5.12",
+    "@types/ws": "^8.18.1",
-    "@types/yargs": "^17.0.32",
+    "@types/yargs": "^17.0.33",
-    "esbuild": "^0.19.9",
+    "esbuild": "^0.25.5",
-    "prettier": "^3.3.3",
+    "prettier": "^3.5.3",
-    "tsx": "^4.16.2",
+    "tsx": "^4.19.4",
-    "typescript": "^5.5.3"
+    "typescript": "^5.8.3"
   }
 }

quartz.config.ts

@@ -2,13 +2,14 @@ import { QuartzConfig } from "./quartz/cfg"
 import * as Plugin from "./quartz/plugins"
 
 /**
- * Quartz 4.0 Configuration
+ * Quartz 4 Configuration
  *
  * See https://quartz.jzhao.xyz/configuration for more information.
  */
 const config: QuartzConfig = {
   configuration: {
     pageTitle: "Matsuura Tomoya Research Note",
+    pageTitleSuffix: "",
     enableSPA: true,
     enablePopovers: true,
     locale: "ja-JP",
@@ -24,8 +25,8 @@ const config: QuartzConfig = {
       fontOrigin: "googleFonts",
       cdnCaching: true,
       typography: {
-        header: "Schibsted Grotesk",
+        header: "Noto Sans JP",
-        body: "Source Sans Pro",
+        body: "Noto Sans JP",
         code: "IBM Plex Mono",
       },
       colors: {
@@ -58,7 +59,7 @@ const config: QuartzConfig = {
     transformers: [
       Plugin.FrontMatter(),
       Plugin.CreatedModifiedDate({
-        priority: ["frontmatter", "git",], // you can add 'git' here for last modified from Git but this makes the build slower
+        priority: ["frontmatter", "git", "filesystem"],
       }),
       Plugin.Latex({ renderEngine: "katex" }),
       Plugin.SyntaxHighlighting({
@@ -88,7 +89,10 @@ const config: QuartzConfig = {
       }),
       Plugin.Assets(),
       Plugin.Static(),
+      Plugin.Favicon(),
       Plugin.NotFoundPage(),
+      // Comment out CustomOgImages to speed up build time
+      Plugin.CustomOgImages(),
     ],
   },
 }

quartz.layout.ts

@@ -8,10 +8,10 @@ export const sharedPageComponents: SharedLayout = {
   afterBody: [],
   footer: Component.Footer({
     links: {
-      "Top": "https://matsuuratomoya.com",
+      Top: "https://matsuuratomoya.com",
-      "Mastodon": "https://social.matsuuratomoya.com/@tomoya",
+      Mastodon: "https://social.matsuuratomoya.com/@tomoya",
-      "Twitter": "https://twitter.com/tomoya_nonymous",
+      Twitter: "https://twitter.com/tomoya_nonymous",
-      "GitHub": "https://github.com/tomoyanonymous",
+      GitHub: "https://github.com/tomoyanonymous",
     },
   }),
 }
@@ -40,18 +40,37 @@ const graph_cfg = {
     fontSize: 0.6,
     opacityScale: 1,
   },
-};
+}
 export const defaultContentPageLayout: PageLayout = {
-  beforeBody: [Component.Breadcrumbs(),
+  beforeBody: [
-  Component.ArticleTitle(), Component.ContentMeta(), /*Component.TagList()*/],
+    Component.ConditionalRender({
+      component: Component.Breadcrumbs(),
+      condition: (page) => page.fileData.slug !== "index",
+    }),
+    Component.ArticleTitle(),
+    Component.ContentMeta() /*Component.TagList()*/,
+  ],
   left: [
     Component.PageTitle(),
     Component.MobileOnly(Component.Spacer()),
-    Component.Search(),
+    Component.Flex({
-    Component.Darkmode(),
+      components: [
+        {
+          Component: Component.Search(),
+          grow: true,
+        },
+        { Component: Component.Darkmode() },
+        { Component: Component.ReaderMode() },
+      ],
+    }),
+    // Component.Explorer(),
     Component.DesktopOnly(Component.TableOfContents()),
   ],
-  right: [Component.Graph(graph_cfg), Component.Backlinks(), Component.RecentNotes({ title: "Recent writing" })],
+  right: [
+    Component.Graph(graph_cfg),
+    Component.Backlinks(),
+    Component.RecentNotes({ title: "Recent writing" }),
+  ],
 }
 
 // components for pages that display lists of pages  (e.g. tags or folders)
@@ -60,9 +79,16 @@ export const defaultListPageLayout: PageLayout = {
   left: [
     Component.PageTitle(),
     Component.MobileOnly(Component.Spacer()),
-    Component.Search(),
+    Component.Flex({
-    Component.Darkmode(),
+      components: [
-    Component.DesktopOnly(Component.Explorer()),
+        {
+          Component: Component.Search(),
+          grow: true,
+        },
+        { Component: Component.Darkmode() },
+      ],
+    }),
+    Component.Explorer(),
   ],
   right: [
     Component.Graph(),

quartz/bootstrap-cli.mjs

@@ -1,4 +1,4 @@
-#!/usr/bin/env node
+#!/usr/bin/env -S node --no-deprecation
 import yargs from "yargs"
 import { hideBin } from "yargs/helpers"
 import {

quartz/bootstrap-worker.mjs

@@ -1,7 +1,8 @@
 #!/usr/bin/env node
 import workerpool from "workerpool"
 const cacheFile = "./.quartz-cache/transpiled-worker.mjs"
-const { parseFiles } = await import(cacheFile)
+const { parseMarkdown, processHtml } = await import(cacheFile)
 workerpool.worker({
-  parseFiles,
+  parseMarkdown,
+  processHtml,
 })

quartz/build.ts

@@ -2,14 +2,14 @@ import sourceMapSupport from "source-map-support"
 sourceMapSupport.install(options)
 import path from "path"
 import { PerfTimer } from "./util/perf"
-import { rimraf } from "rimraf"
+import { rm } from "fs/promises"
 import { GlobbyFilterFunction, isGitIgnored } from "globby"
-import chalk from "chalk"
+import { styleText } from "util"
 import { parseMarkdown } from "./processors/parse"
 import { filterContent } from "./processors/filter"
 import { emitContent } from "./processors/emit"
 import cfg from "../quartz.config"
-import { FilePath, FullSlug, joinSegments, slugifyFilePath } from "./util/path"
+import { FilePath, joinSegments, slugifyFilePath } from "./util/path"
 import chokidar from "chokidar"
 import { ProcessedContent } from "./plugins/vfile"
 import { Argv, BuildCtx } from "./util/ctx"
@@ -17,32 +17,39 @@ import { glob, toPosixPath } from "./util/glob"
 import { trace } from "./util/trace"
 import { options } from "./util/sourcemap"
 import { Mutex } from "async-mutex"
-import DepGraph from "./depgraph"
 import { getStaticResourcesFromPlugins } from "./plugins"
+import { randomIdNonSecure } from "./util/random"
+import { ChangeEvent } from "./plugins/types"
+import { minimatch } from "minimatch"
 
-type Dependencies = Record<string, DepGraph<FilePath> | null>
+type ContentMap = Map<
+  FilePath,
+  | {
+      type: "markdown"
+      content: ProcessedContent
+    }
+  | {
+      type: "other"
+    }
+>
 
 type BuildData = {
   ctx: BuildCtx
   ignored: GlobbyFilterFunction
   mut: Mutex
-  initialSlugs: FullSlug[]
+  contentMap: ContentMap
-  // TODO merge contentMap and trackedAssets
+  changesSinceLastBuild: Record<FilePath, ChangeEvent["type"]>
-  contentMap: Map<FilePath, ProcessedContent>
-  trackedAssets: Set<FilePath>
-  toRebuild: Set<FilePath>
-  toRemove: Set<FilePath>
   lastBuildMs: number
-  dependencies: Dependencies
 }
 
-type FileEvent = "add" | "change" | "delete"
-
 async function buildQuartz(argv: Argv, mut: Mutex, clientRefresh: () => void) {
   const ctx: BuildCtx = {
+    buildId: randomIdNonSecure(),
     argv,
     cfg,
     allSlugs: [],
+    allFiles: [],
+    incremental: false,
   }
 
   const perf = new PerfTimer()
@@ -60,69 +67,77 @@ async function buildQuartz(argv: Argv, mut: Mutex, clientRefresh: () => void) {
 
   const release = await mut.acquire()
   perf.addEvent("clean")
-  await rimraf(path.join(output, "*"), { glob: true })
+  await rm(output, { recursive: true, force: true })
   console.log(`Cleaned output directory \`${output}\` in ${perf.timeSince("clean")}`)
 
   perf.addEvent("glob")
   const allFiles = await glob("**/*.*", argv.directory, cfg.configuration.ignorePatterns)
-  const fps = allFiles.filter((fp) => fp.endsWith(".md")).sort()
+  const markdownPaths = allFiles.filter((fp) => fp.endsWith(".md")).sort()
   console.log(
-    `Found ${fps.length} input files from \`${argv.directory}\` in ${perf.timeSince("glob")}`,
+    `Found ${markdownPaths.length} input files from \`${argv.directory}\` in ${perf.timeSince("glob")}`,
   )
 
-  const filePaths = fps.map((fp) => joinSegments(argv.directory, fp) as FilePath)
+  const filePaths = markdownPaths.map((fp) => joinSegments(argv.directory, fp) as FilePath)
+  ctx.allFiles = allFiles
   ctx.allSlugs = allFiles.map((fp) => slugifyFilePath(fp as FilePath))
 
   const parsedFiles = await parseMarkdown(ctx, filePaths)
   const filteredContent = filterContent(ctx, parsedFiles)
 
-  const dependencies: Record<string, DepGraph<FilePath> | null> = {}
-
-  // Only build dependency graphs if we're doing a fast rebuild
-  if (argv.fastRebuild) {
-    const staticResources = getStaticResourcesFromPlugins(ctx)
-    for (const emitter of cfg.plugins.emitters) {
-      dependencies[emitter.name] =
-        (await emitter.getDependencyGraph?.(ctx, filteredContent, staticResources)) ?? null
-    }
-  }
-
   await emitContent(ctx, filteredContent)
-  console.log(chalk.green(`Done processing ${fps.length} files in ${perf.timeSince()}`))
+  console.log(
+    styleText("green", `Done processing ${markdownPaths.length} files in ${perf.timeSince()}`),
+  )
   release()
 
-  if (argv.serve) {
+  if (argv.watch) {
-    return startServing(ctx, mut, parsedFiles, clientRefresh, dependencies)
+    ctx.incremental = true
+    return startWatching(ctx, mut, parsedFiles, clientRefresh)
   }
 }
 
 // setup watcher for rebuilds
-async function startServing(
+async function startWatching(
   ctx: BuildCtx,
   mut: Mutex,
   initialContent: ProcessedContent[],
   clientRefresh: () => void,
-  dependencies: Dependencies, // emitter name: dep graph
 ) {
-  const { argv } = ctx
+  const { argv, allFiles } = ctx
 
-  // cache file parse results
+  const contentMap: ContentMap = new Map()
-  const contentMap = new Map<FilePath, ProcessedContent>()
+  for (const filePath of allFiles) {
-  for (const content of initialContent) {
+    contentMap.set(filePath, {
-    const [_tree, vfile] = content
+      type: "other",
-    contentMap.set(vfile.data.filePath!, content)
+    })
   }
 
+  for (const content of initialContent) {
+    const [_tree, vfile] = content
+    contentMap.set(vfile.data.relativePath!, {
+      type: "markdown",
+      content,
+    })
+  }
+
+  const gitIgnoredMatcher = await isGitIgnored()
   const buildData: BuildData = {
     ctx,
     mut,
-    dependencies,
     contentMap,
-    ignored: await isGitIgnored(),
+    ignored: (path) => {
-    initialSlugs: ctx.allSlugs,
+      if (gitIgnoredMatcher(path)) return true
-    toRebuild: new Set<FilePath>(),
+      const pathStr = path.toString()
-    toRemove: new Set<FilePath>(),
+      for (const pattern of cfg.configuration.ignorePatterns) {
-    trackedAssets: new Set<FilePath>(),
+        if (minimatch(pathStr, pattern)) {
+          return true
+        }
+      }
+
+      return false
+    },
+
+    changesSinceLastBuild: {},
     lastBuildMs: 0,
   }
 
@@ -132,274 +147,146 @@ async function startServing(
     ignoreInitial: true,
   })
 
-  const buildFromEntry = argv.fastRebuild ? partialRebuildFromEntrypoint : rebuildFromEntrypoint
+  const changes: ChangeEvent[] = []
   watcher
-    .on("add", (fp) => buildFromEntry(fp, "add", clientRefresh, buildData))
+    .on("add", (fp) => {
-    .on("change", (fp) => buildFromEntry(fp, "change", clientRefresh, buildData))
+      if (buildData.ignored(fp)) return
-    .on("unlink", (fp) => buildFromEntry(fp, "delete", clientRefresh, buildData))
+      changes.push({ path: fp as FilePath, type: "add" })
+      void rebuild(changes, clientRefresh, buildData)
+    })
+    .on("change", (fp) => {
+      if (buildData.ignored(fp)) return
+      changes.push({ path: fp as FilePath, type: "change" })
+      void rebuild(changes, clientRefresh, buildData)
+    })
+    .on("unlink", (fp) => {
+      if (buildData.ignored(fp)) return
+      changes.push({ path: fp as FilePath, type: "delete" })
+      void rebuild(changes, clientRefresh, buildData)
+    })
 
   return async () => {
     await watcher.close()
   }
 }
 
-async function partialRebuildFromEntrypoint(
+async function rebuild(changes: ChangeEvent[], clientRefresh: () => void, buildData: BuildData) {
-  filepath: string,
+  const { ctx, contentMap, mut, changesSinceLastBuild } = buildData
-  action: FileEvent,
-  clientRefresh: () => void,
-  buildData: BuildData, // note: this function mutates buildData
-) {
-  const { ctx, ignored, dependencies, contentMap, mut, toRemove } = buildData
   const { argv, cfg } = ctx
 
-  // don't do anything for gitignored files
+  const buildId = randomIdNonSecure()
-  if (ignored(filepath)) {
+  ctx.buildId = buildId
-    return
+  buildData.lastBuildMs = new Date().getTime()
-  }
+  const numChangesInBuild = changes.length
-
-  const buildStart = new Date().getTime()
-  buildData.lastBuildMs = buildStart
   const release = await mut.acquire()
-  if (buildData.lastBuildMs > buildStart) {
+
+  // if there's another build after us, release and let them do it
+  if (ctx.buildId !== buildId) {
     release()
     return
   }
 
   const perf = new PerfTimer()
-  console.log(chalk.yellow("Detected change, rebuilding..."))
+  perf.addEvent("rebuild")
+  console.log(styleText("yellow", "Detected change, rebuilding..."))
 
-  // UPDATE DEP GRAPH
+  // update changesSinceLastBuild
-  const fp = joinSegments(argv.directory, toPosixPath(filepath)) as FilePath
+  for (const change of changes) {
+    changesSinceLastBuild[change.path] = change.type
+  }
 
   const staticResources = getStaticResourcesFromPlugins(ctx)
-  let processedFiles: ProcessedContent[] = []
+  const pathsToParse: FilePath[] = []
-
+  for (const [fp, type] of Object.entries(changesSinceLastBuild)) {
-  switch (action) {
+    if (type === "delete" || path.extname(fp) !== ".md") continue
-    case "add":
+    const fullPath = joinSegments(argv.directory, toPosixPath(fp)) as FilePath
-      // add to cache when new file is added
+    pathsToParse.push(fullPath)
-      processedFiles = await parseMarkdown(ctx, [fp])
-      processedFiles.forEach(([tree, vfile]) => contentMap.set(vfile.data.filePath!, [tree, vfile]))
-
-      // update the dep graph by asking all emitters whether they depend on this file
-      for (const emitter of cfg.plugins.emitters) {
-        const emitterGraph =
-          (await emitter.getDependencyGraph?.(ctx, processedFiles, staticResources)) ?? null
-
-        if (emitterGraph) {
-          const existingGraph = dependencies[emitter.name]
-          if (existingGraph !== null) {
-            existingGraph.mergeGraph(emitterGraph)
-          } else {
-            // might be the first time we're adding a mardown file
-            dependencies[emitter.name] = emitterGraph
-          }
-        }
-      }
-      break
-    case "change":
-      // invalidate cache when file is changed
-      processedFiles = await parseMarkdown(ctx, [fp])
-      processedFiles.forEach(([tree, vfile]) => contentMap.set(vfile.data.filePath!, [tree, vfile]))
-
-      // only content files can have added/removed dependencies because of transclusions
-      if (path.extname(fp) === ".md") {
-        for (const emitter of cfg.plugins.emitters) {
-          // get new dependencies from all emitters for this file
-          const emitterGraph =
-            (await emitter.getDependencyGraph?.(ctx, processedFiles, staticResources)) ?? null
-
-          // only update the graph if the emitter plugin uses the changed file
-          // eg. Assets plugin ignores md files, so we skip updating the graph
-          if (emitterGraph?.hasNode(fp)) {
-            // merge the new dependencies into the dep graph
-            dependencies[emitter.name]?.updateIncomingEdgesForNode(emitterGraph, fp)
-          }
-        }
-      }
-      break
-    case "delete":
-      toRemove.add(fp)
-      break
   }
 
-  if (argv.verbose) {
+  const parsed = await parseMarkdown(ctx, pathsToParse)
-    console.log(`Updated dependency graphs in ${perf.timeSince()}`)
+  for (const content of parsed) {
+    contentMap.set(content[1].data.relativePath!, {
+      type: "markdown",
+      content,
+    })
   }
 
-  // EMIT
+  // update state using changesSinceLastBuild
-  perf.addEvent("rebuild")
+  // we do this weird play of add => compute change events => remove
+  // so that partialEmitters can do appropriate cleanup based on the content of deleted files
+  for (const [file, change] of Object.entries(changesSinceLastBuild)) {
+    if (change === "delete") {
+      // universal delete case
+      contentMap.delete(file as FilePath)
+    }
+
+    // manually track non-markdown files as processed files only
+    // contains markdown files
+    if (change === "add" && path.extname(file) !== ".md") {
+      contentMap.set(file as FilePath, {
+        type: "other",
+      })
+    }
+  }
+
+  const changeEvents: ChangeEvent[] = Object.entries(changesSinceLastBuild).map(([fp, type]) => {
+    const path = fp as FilePath
+    const processedContent = contentMap.get(path)
+    if (processedContent?.type === "markdown") {
+      const [_tree, file] = processedContent.content
+      return {
+        type,
+        path,
+        file,
+      }
+    }
+
+    return {
+      type,
+      path,
+    }
+  })
+
+  // update allFiles and then allSlugs with the consistent view of content map
+  ctx.allFiles = Array.from(contentMap.keys())
+  ctx.allSlugs = ctx.allFiles.map((fp) => slugifyFilePath(fp as FilePath))
+  const processedFiles = Array.from(contentMap.values())
+    .filter((file) => file.type === "markdown")
+    .map((file) => file.content)
+
   let emittedFiles = 0
-
   for (const emitter of cfg.plugins.emitters) {
-    const depGraph = dependencies[emitter.name]
+    // Try to use partialEmit if available, otherwise assume the output is static
-
+    const emitFn = emitter.partialEmit ?? emitter.emit
-    // emitter hasn't defined a dependency graph. call it with all processed files
+    const emitted = await emitFn(ctx, processedFiles, staticResources, changeEvents)
-    if (depGraph === null) {
+    if (emitted === null) {
-      if (argv.verbose) {
-        console.log(
-          `Emitter ${emitter.name} doesn't define a dependency graph. Calling it with all files...`,
-        )
-      }
-
-      const files = [...contentMap.values()].filter(
-        ([_node, vfile]) => !toRemove.has(vfile.data.filePath!),
-      )
-
-      const emittedFps = await emitter.emit(ctx, files, staticResources)
-
-      if (ctx.argv.verbose) {
-        for (const file of emittedFps) {
-          console.log(`[emit:${emitter.name}] ${file}`)
-        }
-      }
-
-      emittedFiles += emittedFps.length
       continue
     }
 
-    // only call the emitter if it uses this file
+    if (Symbol.asyncIterator in emitted) {
-    if (depGraph.hasNode(fp)) {
+      // Async generator case
-      // re-emit using all files that are needed for the downstream of this file
+      for await (const file of emitted) {
-      // eg. for ContentIndex, the dep graph could be:
+        emittedFiles++
-      // a.md --> contentIndex.json
+        if (ctx.argv.verbose) {
-      // b.md ------^
+          console.log(`[emit:${emitter.name}] ${file}`)
-      //
+        }
-      // if a.md changes, we need to re-emit contentIndex.json,
+      }
-      // and supply [a.md, b.md] to the emitter
+    } else {
-      const upstreams = [...depGraph.getLeafNodeAncestors(fp)] as FilePath[]
+      // Array case
-
+      emittedFiles += emitted.length
-      const upstreamContent = upstreams
+      if (ctx.argv.verbose) {
-        // filter out non-markdown files
+        for (const file of emitted) {
-        .filter((file) => contentMap.has(file))
-        // if file was deleted, don't give it to the emitter
-        .filter((file) => !toRemove.has(file))
-        .map((file) => contentMap.get(file)!)
-
-      const emittedFps = await emitter.emit(ctx, upstreamContent, staticResources)
-
-      if (ctx.argv.verbose) {
-        for (const file of emittedFps) {
           console.log(`[emit:${emitter.name}] ${file}`)
         }
       }
-
-      emittedFiles += emittedFps.length
     }
   }
 
   console.log(`Emitted ${emittedFiles} files to \`${argv.output}\` in ${perf.timeSince("rebuild")}`)
-
+  console.log(styleText("green", `Done rebuilding in ${perf.timeSince()}`))
-  // CLEANUP
+  changes.splice(0, numChangesInBuild)
-  const destinationsToDelete = new Set<FilePath>()
-  for (const file of toRemove) {
-    // remove from cache
-    contentMap.delete(file)
-    Object.values(dependencies).forEach((depGraph) => {
-      // remove the node from dependency graphs
-      depGraph?.removeNode(file)
-      // remove any orphan nodes. eg if a.md is deleted, a.html is orphaned and should be removed
-      const orphanNodes = depGraph?.removeOrphanNodes()
-      orphanNodes?.forEach((node) => {
-        // only delete files that are in the output directory
-        if (node.startsWith(argv.output)) {
-          destinationsToDelete.add(node)
-        }
-      })
-    })
-  }
-  await rimraf([...destinationsToDelete])
-
-  console.log(chalk.green(`Done rebuilding in ${perf.timeSince()}`))
-
-  toRemove.clear()
-  release()
   clientRefresh()
-}
-
-async function rebuildFromEntrypoint(
-  fp: string,
-  action: FileEvent,
-  clientRefresh: () => void,
-  buildData: BuildData, // note: this function mutates buildData
-) {
-  const { ctx, ignored, mut, initialSlugs, contentMap, toRebuild, toRemove, trackedAssets } =
-    buildData
-
-  const { argv } = ctx
-
-  // don't do anything for gitignored files
-  if (ignored(fp)) {
-    return
-  }
-
-  // dont bother rebuilding for non-content files, just track and refresh
-  fp = toPosixPath(fp)
-  const filePath = joinSegments(argv.directory, fp) as FilePath
-  if (path.extname(fp) !== ".md") {
-    if (action === "add" || action === "change") {
-      trackedAssets.add(filePath)
-    } else if (action === "delete") {
-      trackedAssets.delete(filePath)
-    }
-    clientRefresh()
-    return
-  }
-
-  if (action === "add" || action === "change") {
-    toRebuild.add(filePath)
-  } else if (action === "delete") {
-    toRemove.add(filePath)
-  }
-
-  const buildStart = new Date().getTime()
-  buildData.lastBuildMs = buildStart
-  const release = await mut.acquire()
-
-  // there's another build after us, release and let them do it
-  if (buildData.lastBuildMs > buildStart) {
-    release()
-    return
-  }
-
-  const perf = new PerfTimer()
-  console.log(chalk.yellow("Detected change, rebuilding..."))
-  try {
-    const filesToRebuild = [...toRebuild].filter((fp) => !toRemove.has(fp))
-
-    const trackedSlugs = [...new Set([...contentMap.keys(), ...toRebuild, ...trackedAssets])]
-      .filter((fp) => !toRemove.has(fp))
-      .map((fp) => slugifyFilePath(path.posix.relative(argv.directory, fp) as FilePath))
-
-    ctx.allSlugs = [...new Set([...initialSlugs, ...trackedSlugs])]
-    const parsedContent = await parseMarkdown(ctx, filesToRebuild)
-    for (const content of parsedContent) {
-      const [_tree, vfile] = content
-      contentMap.set(vfile.data.filePath!, content)
-    }
-
-    for (const fp of toRemove) {
-      contentMap.delete(fp)
-    }
-
-    const parsedFiles = [...contentMap.values()]
-    const filteredContent = filterContent(ctx, parsedFiles)
-
-    // TODO: we can probably traverse the link graph to figure out what's safe to delete here
-    // instead of just deleting everything
-    await rimraf(path.join(argv.output, ".*"), { glob: true })
-    await emitContent(ctx, filteredContent)
-    console.log(chalk.green(`Done rebuilding in ${perf.timeSince()}`))
-  } catch (err) {
-    console.log(chalk.yellow(`Rebuild failed. Waiting on a change to fix the error...`))
-    if (argv.verbose) {
-      console.log(chalk.red(err))
-    }
-  }
-
   release()
-  clientRefresh()
-  toRebuild.clear()
-  toRemove.clear()
 }
 
 export default async (argv: Argv, mut: Mutex, clientRefresh: () => void) => {