PHPer vs モナド by うさみけんた

型安全なコードを書いていますか？ 私は変なプログラミングが好きなのですが、函数プログラミング、その中でもしばしば静的型付きな函数型とセットで語られがちな「モナド」という概念について長年にわたって苦手意識を持っていました。JavaScript、Ruby、Lisp、PHPといくつかの言語に触れてきて一度F#を学んだあと静的型とは仲良くなれなくても動的言語で楽しくやってきましたが、世は大静的検査時代、動的言語においても型の概念からは逃れられなくなってきました。本稿においては「モナド」という、やや哲学的な香りを持つキーワードを切り口に普段のPHPでは使わないかもしれない、でもちょっと発展的に知っておくと楽しめるかもしれない（そして私がいままで仲良くなれなかった…！）概念について和解を経て紹介します。