ディレクトリのリストを出力する。ファイル内容を出力する時と同じ要領で作ることができた。
|
1 2 3 4 5 6 7 8 9 |
import System.Directory import System.IO main::IO() main = do dirs < - getDirectoryContents "." case dirs of [] -> putStrLn "" _ -> mapM_ (\x -> putStrLn x) [ndirs | ndirs < - dirs, ndirs /= ".", ndirs /= ".."] |
dirsから”.”と”..&# …
haskellをはじてみる。まずはファイルを扱えるようになることから。以下のコードでファイルの内容を出力するプログラムができる。
|
1 2 3 4 5 6 7 8 9 |
import System.Environment import System.IO main::IO() main = do args < - getArgs case args of args -> getContents >>= putStr _ -> mapM_(\x -> readFile x >>= putStr) args |
getArgsは引数を[ …
Z3 – guide 興味あってZ3のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。 関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみた …
副作用 副作用とは「ある機能がコンピュータの(論理的な)状態を変化させ、それ以降で得られる結果に影響を与えることをいう。」とある。要件は以下である。 副作用を受ける処理には、暗黙に参照している変数がある 副作用を与える処 …
先日のエスケープシーケンスBNFを修正。 これでうまいこと字句解析できそうだ。
|
1 2 3 4 |
terminal-character = a | b | c; first-quote-symbol = '; escape-symbol = \; terminal-string = first-quote-symbol (terminal-character* (escape-symbol first-quote-symbol)* terminal-character*)? first-quote-symbol; |
エスケープシーケンスを文法として表すにはどうしたら良いのだろう。 terminal-stringを以下の様に定義する。 terminal-string = first-quote-symbol terminal-char …
Qtアプリケーションを作成していて、undefined reference to vtable for <Class Name>エラーが出るなら、mocが実行されていないか、再実行が必要なケースだ。Qtドキュ …
おもしろーい。みんないろいろ触ってるのだなぁ。偶然というか、トラックバックの最初の方、faith_and_braveさんのBLOGはほぼ毎日の様に読んでいる。いろいろ勉強させてもらってます。 で、私の場合。なるべく古い方 …
pythonの正規表現モジュールを使って、メールヘッダ内にあるReceivedから情報を取ってみる。 from …. byの間に、HELO、逆引き名、IPアドレスを取得できる。 [crayon-6904cbb …
thisをshared_ptrで他のクラスに渡したい場合にどうするか。メモ。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
#include <boost/shared_ptr.hpp> #include <boost/enable_shared_from_this.hpp> using namespace boost; #include "Y.h" class X : public enable_shared_from_this<X> { private: Y y_; public: void make_reference(); }; void X::make_reference() { /* Yに自身を渡す*/ y_ = new Y(shared_from_this()); } |
注意点、Y側はshared_ptrからweak_ptrに変換して保持しないと …