普段 SML をツールに使っているものです．ソフトウェアに関する研究をしています．

ちょっとした抽象構文木(AST)を扱うようなプログラムをさっとプロトタイピング
するのにはSML, Haskellは最適ですね．Scheme, Common-Lisp でもいいけど，
静的型付けによるエラーチェックとパターンマッチングは強力．

あと，Isabelle や coq といった証明支援系を使ってちょっとした証明を作った
りしています．

以上のように，私自身の実務（＝研究）に使われています．
では．さようなら．