🦍🔥🪨
DungLang
v 0 . 7 p a t c h e d — 外 交 · 記 憶 · 責 任 転 嫁

臭気駆動プログラミング言語

因果を疑い、副作用を刻み、すべての責任を型で逃がさない。
臭気安全性は型安全性を上回りました。
石器時代の関数型言語 — prototype / patched demo

🪨 GitHubで見るウホ 📜 言語仕様書 ⬇ ファイルを落とす
COMING SOON pip install dunglang 🍌🔥 v1.0 予定 — 石を磨く中ウホ
§ 0

なぜ DungLang か

CORE
💨
臭気モナド
すべての副作用は臭気<T>で包まれる。例外は throw されない。漂ってくる。
🌍
外交モジュール
越境臭気を越境臭気<発生源, 到達部族, 濃度>型で追跡。条約超過でバナナ賠償。
🍌
認知ガベージコレクション
バナナ3本以上の受領で過去の臭気事件を完全忘却。真実は副作用とバナナにより完全に曲がる。
⚖️
責任転嫁エンジン
try: 臭気事件 / catch: バナナ三本 / result: なかったことになる
💨 💨 💨
§ 1

クイックスタート — 30秒で洞窟へ

START
実行
# リポジトリを石板に刻む
git clone https://github.com/Riku-Tono/dunglang
cd dunglang

# 火を起こしてデモを走らせるウホ
python dunglang_v0_7_patched.py
Hello, World — DungLang流
石値 世界 = "ウホ"

焼き芋
  |> 食べる
  |> 消化する
  |> 解放する    // 💨 Hello, World

// 臭気レベル: 1  副作用: 観測済み

詳細な型システム・構文・バグ修正サマリは 言語仕様書（spec.html） をウホ参照。

🪨 🪨 🪨
THEOREM — 排出保存則
Conservation of Dung
入力された焼き芋は、いずれ何らかの形で世界へ返る。
∀ 焼き芋 ∈ 世界  ⟹  ∃ t > 0 : 解放(焼き芋, t) = 真
🔥 🔥 🔥
§ 2

ファイル & リンク — 石板をダウンロードするウホ

PATCHED
🪨
Riku-Tono / dunglang
ソースコード・イシュー・全バージョン履歴はGitHubで。v1.0に向けて石を磨く中ウホ。
GitHub ↗ 🐍
実装
dunglang_v0_7_patched.py
外交モジュール・認知GC・責任転嫁エンジン・バグ#001​#002修正済みのメイン実装。
.py — 実行可能 📄
README
README_v0_7_patched.md
バグ修正解説・実行方法・ファイル構成・実行結果サマリをMarkdownで。
.md — 解説書 📋
実行ログ
run.log → run.txt
patched版の実行済み出力ログ。公理破壊→外交処理→認知GC→責任転嫁の全セクション収録。
.log — 証拠

仕様書の完全版は dunglang_v0_7_patched_spec.html へ。型システム・臭気モナド・パターンマッチ・排出保存則など全§を収録ウホ。

💨 🔥 💨
§ 3

バージョンロードマップ

v0.001
石器時代版
型システム・臭気モナド・パターンマッチ・排出保存則
v0.6
Claude実装版
字句解析・構文解析・公理一覧・哲学ゴリラ例外
v0.7 patched  🔥 NOW
外交・記憶・責任転嫁モジュール（安定版）
越境臭気型 / 部族間条約 / バナナ賠償 / 認知GC / 責任転嫁エンジン / 公理破壊 / バグ#001・#002修正済み
v0.8（予定）
マンモス分散トランザクション
2相コミット / 洞窟間合意プロトコル
v0.9（予定）
洞窟WebSocket
臭気のリアルタイム伝搬 / プッシュ通知（風向き変化）
v1.0（予定）
pip install dunglang 🍌🔥
PyPI公開 / 洞窟ドキュメント / チュートリアル