procはprocfs (Process File System)といい、Linuxのプロセスを操作したりシステム情報を処理するための手段を提供する擬似ファイルシステムのこと。 CentOSで /procをlsした時の図。 ls -F /proc 1/ 13/ 15/ 17448/ 1870/ 2062/ 2165/ 2186/ 23/ 2580/ 2828…

F#のファイル実行について。 $ fsharpi hoge.fsx みたいな感じで実行すると結構時間がかかる。 インタラクティブモードに入ったあとに、#loadってやると より早くファイルを実行することができる。 $ fsharpi > #load "hoge.fsx";;