[haskell]todo.hs
教科書通りにやってみました。 todo.hs
年: 2016年
[haskell]ディレクトリのリストを出力する
ディレクトリのリストを出力する。ファイル内容を出力する時と同じ要領で作ることができた。
123456789
import System.Directoryimport System.IO main::IO()main = do dirs < - getDirectoryContents "." case dirs of [] -> putStrLn "" _ -> mapM_ (\x -> putStrLn x) [ndirs | ndirs < - dirs, ndirs /= ".", ndirs /= ".."]
dirsから”.”と”..&# …
haskell事始め
haskellをはじてみる。まずはファイルを扱えるようになることから。以下のコードでファイルの内容を出力するプログラムができる。
123456789
import System.Environmentimport System.IO main::IO()main = do args < - getArgs case args of args -> getContents >>= putStr _ -> mapM_(\x -> readFile x >>= putStr) args
getArgsは引数を[ …
設計するということ
Z3 – guide 興味あってZ3のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。 関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみた …
ご挨拶
-
[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のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。 関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみた …
