2025年11月2日日曜日

Shenは、Lisp系の関数型言語で、パターンマッチ、マクロ、遅延評価、型系(シーケント計算に基づく)、組込みProlog、コンパイラコンパイラなどを単一環境で提供する“多段”言語です。

 Shenは、Lisp系の関数型言語で、パターンマッチ、マクロ、遅延評価、型系(シーケント計算に基づく)、組込みProlog、コンパイラコンパイラなどを単一環境で提供する“多段”言語です。2021年以降はSシリーズの軽量カーネルに集約され、部分適用ベースの実装、型付きYACC、GC付きProlog、パッケージ/入出力/ハッシュ表など基盤が刷新。学習は「Shen in 15 minutes」と『The Book of Shen』が入口。配布は最新S系カーネル、標準ライブラリ2系、Shen/tk(Tcl/Tk連携GUI)、Yggdrasil(スタンドアロン生成)。2025年はOpen Shenとして大規模な無料資料を公開予定。Shenは多くのホスト言語上で動作し、同一ソースで移植性を確保。REPLと型推論、パターン指向の関数定義、例外/ストリーム/マップ等の抽象を備え、小さな核+豊富な標準で、DSL設計や定理証明的型検査、ロジック/関数/命令の横断が容易。Yggdrasilで単一バイナリ化、Shen/tkで簡易GUI、サンプルとチュートリアルも整備。研究から実務まで、短いコードで強い表現力を狙う人に適した言語です。