Prism: 型付きエフェクトを備えた非純粋関数型言語
Prismは、型付きエフェクトシステムを中核に据えた非純粋関数型言語である。この言語は、IOや状態、例外などの副作用を型レベルで明示的に管理することで、純粋関数型言語の安全性と命令型言語の実用性を両立する。Prismの型システムは、どのようなエフェクトが発生するかをコンパイル時に検証し、プログラムの正しさを高めることを目的としている。
背景メモ
Stephen Diehl（スティーブン・ディール）はHaskellコミュニティで知られる著名な関数型プログラミングの論客。Haskellの学習リソース「What I Wish I Knew When Learning Haskell」などで知られ、静的型付けや純粋関数型言語の理論と実践を発信している。
本記事で発表された「Prism」はDiehlが設計・実装した新しいプログラミング言語で、Haskellの純粋関数型の基盤を引き継ぎつつ、型レベルで副作用（効果）を明示的に扱う「代数効果」（Algebraic Effects）の仕組みを持つ点が特徴。従来のHaskellではIOモナドなどで副作用を隠蔽していたが、Prismでは関数の型に直接「読む」「書く」「例外を投げる」といった効果を宣言でき、より細かい制御が可能になる。
この研究は、関数型言語の「純粋性」を保ちつつ実用的なプログラミングを可能にするという長年の課題に対する一つの回答。近年はOCamlやUnisonなど他言語でも鋭敏な型効果システムの採用が進んでおり、この分野の最前線の動きとして注目される。