投稿者: it
[haskell]内部文字コード
Haskellの文字列扱いを少し
|
1 2 3 4 5 6 7 8 9 10 11 12 13 |
import Codec.Binary.UTF8.String -- str = ["\x0041", "\x3042", "\x57CE", "\x2F852"] str = ["A", "あ", "城", "?"] main::IO() main = do putStrLn "Haskell内部コード" mapM_ print str mapM_ putStrLn str putStrLn "Haskell内部コード>UTF8コード" mapM_ (\x -> print $ encodeString x) str mapM_ (\x -> putStrLn $ decodeString $ encodeString x) str |
出力結果
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 |
$ ./strsmpl Haskell内部コード "A" "\12354" "\22478" "\194642" A あ 城 ? Haskell内部コード>UTF8コード "A" "\227\129\130" "\229\159\142" "\240\175\161\146" A あ 城 ? |
Haskell内部ではUnicodeスカラ値 …
[haskell]todo.hs
教科書通りにやってみました。 todo.hs
[haskell]ディレクトリのリストを出力する
ディレクトリのリストを出力する。ファイル内容を出力する時と同じ要領で作ることができた。
|
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事始め
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のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。 関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみた …
ご挨拶
中原 美野
年末に飛び込んできたジャズピアニストの1stアルバムリリースニュース。USアマゾンで試聴できる。 A Ray of Light – Yoshino Nakahama サイトはこちら YOSHINO NAKAY …
nvidia-304 デスクトップが表示されない
症状 ubuntu 14.04LTSのアップデートし、再ログインするとデスクトップが表示されない。
|
1 2 |
# uname -a Linux mayu 3.13.0-43-lowlatency #72-Ubuntu SMP PREEMPT Mon Dec 8 20:02:20 UTC 2014 i686 i686 i686 GNU/Linux |
[crayon-6622890a22768589627 …
副作用と参照透過性
副作用 副作用とは「ある機能がコンピュータの(論理的な)状態を変化させ、それ以降で得られる結果に影響を与えることをいう。」とある。要件は以下である。 副作用を受ける処理には、暗黙に参照している変数がある 副作用を与える処 …