■

おお、そうか objectives の一つに BitC による実装というのが入ってるのか。私が画策してる怪しい言語と共通する部分が結構多いみたいですな、この BitC というのは。目標が全然違うし、それに付随する違いもあるみたいだけど。具体的には

• Scheme みたいな "programs are data" な構文 (私の場合構文じゃない)
• Semantic cleanliness
• Standard ML みたいな静的型付け (Standard ML みたいな、という部分は考えてなかったな、こりゃよさそうだ)

あたりか。BitC の全貌はこちらから。