実験ノート：Claude Code on the webで、静的型付き関数型プログラミング言語をvibe coding

ミトKeY(MeatKey)

2025年11月9日 22:58

白状しよう、もうClaude Code on the webに与えられた、$250クレジットを11/18までに使い切れる気がしない。もう様々なものを流すことにする。

お題は静的型付き関数型言語処理系

Xで、ネクストビートの水島さんが、Codex CLIで静的型付き関数型言語を作らせるという記事

Zennの投稿はこちら、

Claude Codeにこれを読んでもらって、再現できるかトライ。

いつものようにコンテンツをspecifications.mdに放り込んで、以下のinstructions.mdをつくる。TreePの処理系を作るだけだとつまらないので、木とくれば、トランスデューサーなので、これもアプリとして作ってもらうことにした。

spec/specifications.md を余で、TreePの言語処理系を設計し、これを実装してほしい。

また応用として、ある木構造を別の木構造に変換するトランスデューサーを、TreePを活用した宣言的な変換ルールから生成するような仕組みも追加してほしい。

そのために木構造を変換するルール記述言語も作ること。

instructions.md

Claude Code on the webでvibe coding開始

出だしは快調。

Lexerつくり、Parser作り、型システムをつくってから、インタプリタを作る、最後にトランスディユーサーを実装、順番としてはそうだろう。

なんか、今回は順調で、１０分もしないうちに完成。。

トランスディユーサーは、

ついでに、ドキュメントも作ってもらった。

このTreePおよびトランスディユーサーの説明資料をdocの下に作ってほしい。

追加のお願い

なんか、立派なものができたぞ。

doc/overviewによると、

マクロ、、衛生的なマクロなんじゃ？

当然関数型プログラミングであり、糖被構文も、

設計思想について、解説してくれる。

doc/tutorial.mdにあるように、インストールして npm testを実行すると

lexer,parser,transduderのテストが全部通ったことになっている。

まずはhello world、

def main() returns: Int {
  println("Hello, TreeP!")
  return 0
}

これを、typescriptに埋め込んで実行するらしい。

import { TreeP } from '../src/index';

// Example 1: Simple TreeP program
const source1 = `
def main() returns: Int {
  println("Hello, TreeP!")
  return 0
}
`;

console.log('=== Example 1: Hello World ===');
const treep1 = new TreeP(source1);
const result1 = treep1.run();
console.log('Result:', result1);

// Example 2: Function with parameters
const source2 = `
def add(x, y) {
  return x + y
}

def main() returns: Int {
  let result = add(10, 20)
  println(result)
  return 0
}
`;

console.log('\n=== Example 2: Function with Parameters ===');
const treep2 = new TreeP(source2);
const result2 = treep2.run();
console.log('Result:', result2);

// Example 3: Using built-in macros
const source3 = `
def main() returns: Int {
  let x = 10

  when(x > 0) {
    println("x is positive")
  }

  debug(x)

  return 0
}
`;

console.log('\n=== Example 3: Using Macros ===');
const treep3 = new TreeP(source3);
const result3 = treep3.run();
console.log('Result:', result3);

しかし出力は、