数値処理などに適した言語に関数型言語のような仕組みを導入することを目的として開発されたプログラミングパラダイム．