海野秀之(うんのひでゆき)の外部記憶
Twitter (twilog) / RSS / アンテナ / ぶくま
SML/NJ 110.65 Distribution File より、SML/NJ をインストール。 config.tgz をもってきて、設定ファイルはなにも触らずに、だまって config/install.sh だ。
SML には、irb のようなインタラクティブモードがあるんだけど、 GNU Readline 風の編集機能がないので、M-x run-sml が欲しい。そこで、 Emacs support for SML より sml-mode をゲット。
sml-mode の実装はこの世にひとつなのか、とか、どこからもらってくるのが「普通」なのかとか、 ぜんぜんわからないんだけど。
明日は、ぼくが言い出しっぺの輪講初日なので、泥縄作業だったりする。 (さすがに、今から担当分を読みますとかいう状況ではないけど)
(ぼくにとっての) はげみは多い方がいいので、 作った資料とかはここに載せていくことにしようかと思っている。 作るつもりの「俺言語」とかも。
また、たーげっと(仮想)ましんの一つになるはずのアレも。いずれ近いうちに。
日本語のチュートリアルがほしくて探し当てたのが: http://yk.i.hosei.ac.jp/smlbook/smlbook.pdf
お気楽 SML/NJ もいいですね。タイトルが(なかみは未だ読んでない)。