OPAをご存じでしょうか？ OPAはMLstateという会社が開発したweb開発用の言語です。 わたしはこのOPAがかなり気に入ってしまったので、これから数回にわたり、ちまちまと紹介記事を書こうかと思います。 といっても、わたしはあまりwebページの作成経験がないので、どちらかというとWeb 1.0的なテーマをネタに、サンプルを作ることになりそうですが。 わたしの思う、OPAの良いところリストは以下の通りです。 ・パターンマッチ ・パターンマッチ ・パターンマッチ（大事なことなので３回言いました） ・代数型と、それと親和性の良いDB ・型検査（＋推論） ・サーバー側とクライアント側を同一の言語で書ける これからのシリーズで、この特徴をいくつか見ていければ良いかなと思います。よろしくお願いします。 Hello, OPAHello, counterHello, transactionHello
The OPA type system, part 1
