Comment今年もちょこちょこ頑張っていきます。Commentこの記事も文字列扱いの理解を助けてくれます。Comment!だったり#について分からなかったが、ここに行き着いた。Commenthaskellの文字列扱いで良い記事を見つけた。Haskell内部コード"A""\12354""\22478""\194642"Aあ城城Haskell内部コード>UTF8コード"A""\227\129\130""\229\159\142""\240\175\161\146"Aあ城城Haskell内部ではUnicodeスカラ値で扱われている。Latinしか文字を表示することができないようで、後は内部コードをそのまま表示しているputStr(Ln)については内部コードに応じたフォントを表示してくれる。UTF-8)とdecodeStringを使う。フォント表示についてはLANG環境変数が影響する。Comment教科書通りにやってみました。Commentディレクトリのリストを出力する。ファイル内容を出力する時と同じ要領で作ることができた。Commenthaskellをはじてみる。ファイルを扱えるようになることから。以下のコードでファイルの内容を出力するプログラムができる。argsgetArgsは引数を[String]で返してくれる。'<-‘は結果をargsに束縛する。getContentsアクションの結果をputStrアクションに渡す。guide興味あってZ3のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみたいだ。設計をしながら検証を同時におこなえる。設計の検証をいつでもおこなえるというのはとても良いことではないだろうか。Commentみなさまから刺激をいただき、今年も頑張ります。本年が良い年となりますように。