From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- 1415/fp2/week1/mart/Echo | Bin 0 -> 103744 bytes 1415/fp2/week1/mart/Echo.icl | 11 ++++++++++ 1415/fp2/week1/mart/Galgje | Bin 0 -> 103512 bytes 1415/fp2/week1/mart/Galgje.icl | 13 +++++++++++ 1415/fp2/week1/mart/GalgjeWF.dcl | 5 +++++ 1415/fp2/week1/mart/Random.dcl | 19 ++++++++++++++++ 1415/fp2/week1/mart/Random.icl | 20 +++++++++++++++++ 1415/fp2/week1/mart/RandomGetallen | Bin 0 -> 105976 bytes 1415/fp2/week1/mart/RandomGetallen.dcl | 7 ++++++ 1415/fp2/week1/mart/RandomGetallen.icl | 33 ++++++++++++++++++++++++++++ 1415/fp2/week1/mart/SimpleFileIO.dcl | 14 ++++++++++++ 1415/fp2/week1/mart/SimpleFileIO.icl | 39 +++++++++++++++++++++++++++++++++ 12 files changed, 161 insertions(+) create mode 100755 1415/fp2/week1/mart/Echo create mode 100644 1415/fp2/week1/mart/Echo.icl create mode 100755 1415/fp2/week1/mart/Galgje create mode 100644 1415/fp2/week1/mart/Galgje.icl create mode 100644 1415/fp2/week1/mart/GalgjeWF.dcl create mode 100644 1415/fp2/week1/mart/Random.dcl create mode 100644 1415/fp2/week1/mart/Random.icl create mode 100755 1415/fp2/week1/mart/RandomGetallen create mode 100644 1415/fp2/week1/mart/RandomGetallen.dcl create mode 100644 1415/fp2/week1/mart/RandomGetallen.icl create mode 100644 1415/fp2/week1/mart/SimpleFileIO.dcl create mode 100644 1415/fp2/week1/mart/SimpleFileIO.icl (limited to '1415/fp2/week1/mart') diff --git a/1415/fp2/week1/mart/Echo b/1415/fp2/week1/mart/Echo new file mode 100755 index 0000000..cf2fb79 Binary files /dev/null and b/1415/fp2/week1/mart/Echo differ diff --git a/1415/fp2/week1/mart/Echo.icl b/1415/fp2/week1/mart/Echo.icl new file mode 100644 index 0000000..30a6f4b --- /dev/null +++ b/1415/fp2/week1/mart/Echo.icl @@ -0,0 +1,11 @@ +module Echo + +import StdEnv + + +Start :: *World -> *World +Start world +# (console, world) = stdio world +# (line, console) = freadline console +| not (fend console) = fwrites line +| otherwise = world diff --git a/1415/fp2/week1/mart/Galgje b/1415/fp2/week1/mart/Galgje new file mode 100755 index 0000000..d46de77 Binary files /dev/null and b/1415/fp2/week1/mart/Galgje differ diff --git a/1415/fp2/week1/mart/Galgje.icl b/1415/fp2/week1/mart/Galgje.icl new file mode 100644 index 0000000..e5106ee --- /dev/null +++ b/1415/fp2/week1/mart/Galgje.icl @@ -0,0 +1,13 @@ +module Galgje + +import StdEnv, Random + +//randomWord :: *env -> (Maybe String, *env) | FileSystem env +//randomWord env +//# (ss,env) = readLines lexicon_file env +//| ss == Nothing = (Nothing, env) +//# (seed,env) = getNewRandomSeed env +//| otherwise = (Just (skip_nl ((shuffle (fromJust ss) seed)!!0)), env) + +Start :: *World -> *World +Start world = world diff --git a/1415/fp2/week1/mart/GalgjeWF.dcl b/1415/fp2/week1/mart/GalgjeWF.dcl new file mode 100644 index 0000000..a777b95 --- /dev/null +++ b/1415/fp2/week1/mart/GalgjeWF.dcl @@ -0,0 +1,5 @@ +definition module GalgjeWF + +import iTasks + +galgje :: [Workflow] diff --git a/1415/fp2/week1/mart/Random.dcl b/1415/fp2/week1/mart/Random.dcl new file mode 100644 index 0000000..47a7c18 --- /dev/null +++ b/1415/fp2/week1/mart/Random.dcl @@ -0,0 +1,19 @@ +definition module Random + + // Random number generator voor Linux gebruikers + // interface compatible met Random.dcl (helaas) + // -- mschool@science.ru.nl + +import StdFile + +:: RandomSeed + +// nullRandomSeed generates a fixed RandomSeed +nullRandomSeed :: RandomSeed + +// GetNewRandomSeed generates a good RandomSeed, using /dev/urandom +getNewRandomSeed :: !*env -> (!RandomSeed, !*env) | FileSystem env + +// Given a RandomSeed, Random generates a random number and a new RandomSeed. +random :: !RandomSeed -> .(!Int, !RandomSeed) + diff --git a/1415/fp2/week1/mart/Random.icl b/1415/fp2/week1/mart/Random.icl new file mode 100644 index 0000000..b6e0768 --- /dev/null +++ b/1415/fp2/week1/mart/Random.icl @@ -0,0 +1,20 @@ +implementation module Random + +import StdFile, StdList, StdMisc, StdArray, Random + +:: RandomSeed :== Int + +nullRandomSeed :: RandomSeed +nullRandomSeed = 0 + +getNewRandomSeed :: !*env -> (!RandomSeed, !*env) | FileSystem env +getNewRandomSeed env +# (ok, src, env) = sfopen "/dev/urandom" FReadData env +| not ok => abort "could not open /dev/urandom" +# (bytes, src) = sfreads src 4 + seed = foldl (\x y->(x<<8)+toInt y) 0 [c \\ c<-:bytes] +| otherwise => (seed, env) + +random :: !RandomSeed -> .(!Int, !RandomSeed) +random seed = (seed>>16 bitand 0xFFFF, seed*0x08088405+1) + diff --git a/1415/fp2/week1/mart/RandomGetallen b/1415/fp2/week1/mart/RandomGetallen new file mode 100755 index 0000000..0482437 Binary files /dev/null and b/1415/fp2/week1/mart/RandomGetallen differ diff --git a/1415/fp2/week1/mart/RandomGetallen.dcl b/1415/fp2/week1/mart/RandomGetallen.dcl new file mode 100644 index 0000000..66a2c6c --- /dev/null +++ b/1415/fp2/week1/mart/RandomGetallen.dcl @@ -0,0 +1,7 @@ +definition module RandomGetallen + +import Random + +random_n :: Int RandomSeed -> ([Int],RandomSeed) +random_inf :: RandomSeed -> [Int] +//shuffle :: [a] RandomSeed -> [a] diff --git a/1415/fp2/week1/mart/RandomGetallen.icl b/1415/fp2/week1/mart/RandomGetallen.icl new file mode 100644 index 0000000..b756c91 --- /dev/null +++ b/1415/fp2/week1/mart/RandomGetallen.icl @@ -0,0 +1,33 @@ +implementation module RandomGetallen + +import StdEnv, Random + +//Start :: *World -> ([Int],*World) +//Start world +//# (rs,world) = getNewRandomSeed world +//= (shuffle [1..10] rs,world) + + +Start = shuffle [1..10] nullRandomSeed + +random_n :: Int RandomSeed -> ([Int],RandomSeed) +random_n n seed = seqList (repeatn n random) seed + +random_inf :: RandomSeed -> [Int] +random_inf seed = iterateSt random seed + +iterateSt :: (s -> (a,s)) s -> [a] +iterateSt f s = [a : iterateSt f s`] +where + (a,s`) = f s + +shuffle :: [a] RandomSeed -> [a] +shuffle xs seed = (perms xs) !! ((fst (random seed)) rem (fac (length xs))) + +fac :: Int -> Int +fac 0 = 1 +fac n = n * fac (n-1) + +perms :: [a] -> [[a]] +perms [] = [[]] +perms xs = [[xs!!i : xs`] \\ i <- [0..length xs - 1] , xs` <- perms (take i xs ++ drop (i+1) xs)] diff --git a/1415/fp2/week1/mart/SimpleFileIO.dcl b/1415/fp2/week1/mart/SimpleFileIO.dcl new file mode 100644 index 0000000..1bd97da --- /dev/null +++ b/1415/fp2/week1/mart/SimpleFileIO.dcl @@ -0,0 +1,14 @@ +definition module SimpleFileIO + +import StdFile, StdOverloaded, StdMaybe + +// 1. +readFile :: String *env -> (Maybe String, *env) | FileSystem env +writeFile :: String String *env -> (Bool, *env) | FileSystem env + +// 2. +readLines :: String *env -> (Maybe [String],*env) | FileSystem env +writeLines :: String [String] *env -> (Bool, *env) | FileSystem env + +// 3. +//mapFile :: String String (a -> b) *env -> (Bool, *env) | FileSystem env & ... a & ... b diff --git a/1415/fp2/week1/mart/SimpleFileIO.icl b/1415/fp2/week1/mart/SimpleFileIO.icl new file mode 100644 index 0000000..b2a483a --- /dev/null +++ b/1415/fp2/week1/mart/SimpleFileIO.icl @@ -0,0 +1,39 @@ +implementation module SimpleFileIO + +import StdEnv, StdFile, StdOverloaded, StdMaybe + +// 1. +readFile :: String *env -> (Maybe String, *env) | FileSystem env +readFile s env +# (ss, env) = readLines s env +| ss == Nothing = (Nothing, env) +| otherwise = (Just (foldl (+++) "" (fromJust ss)), env) + +writeFile :: String String *env -> (Bool, *env) | FileSystem env +writeFile fn s env +# (ok, outfile, env) = fopen fn FWriteText env +| not ok = (False, env) +# outfile = fwrites s outfile +# (ok, env) = fclose outfile env +| otherwise = (ok, env) + +// 2. +readLines :: String *env -> (Maybe [String],*env) | FileSystem env +readLines s env +# (ok, infile, env) = sfopen s FReadText env +| not ok = (Nothing, env) +| otherwise = (Just (fst (readLines` infile)), env) +where + readLines` :: File -> ([String], File) + readLines` file + | sfend file = ([], file) + # (line, file) = sfreadline file + # (ss, file) = readLines` file + | otherwise = ([line : ss], file) + +writeLines :: String [String] *env -> (Bool, *env) | FileSystem env +writeLines fn ss env = writeFile fn (foldl (+++) "" [s +++ "\n" \\ s <- ss]) env + +// 3. +//mapFile :: String String (a -> b) *env -> (Bool, *env) | FileSystem env & ... a & ... b + -- cgit v1.2.3