diff --git a/Ganymede.cabal b/Ganymede.cabal --- a/Ganymede.cabal +++ b/Ganymede.cabal @@ -7,7 +7,7 @@ -- The package version. See the Haskell package versioning policy -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for -- standards guiding when and how versions should be incremented. -Version: 0.0.0.4 +Version: 0.0.0.5 -- A short (one-line) description of the package. Synopsis: An Io interpreter in Haskell. @@ -44,7 +44,8 @@ -- Extra files to be distributed with the package, such as examples or -- a README. -Extra-source-files: AmalObs.txt, IoGrammar.txt, LICENSE, README +Extra-source-files: AmalObs.txt, IoGrammar.txt, LICENSE, README, + "vague's - amalthea.html" -- Constraint on the version of Cabal needed to build this package. Cabal-version: >=1.6 diff --git a/Ganymede.hs b/Ganymede.hs --- a/Ganymede.hs +++ b/Ganymede.hs @@ -20,7 +20,7 @@ import Io.Util (ganyOptErr, ganyRunErr) import Prelude hiding (catch, error) -import Control.Exception (Exception(..), Handler(..), catches) +import Control.Exception (Handler(..), catches) import Data.Data (Data) import Data.List (foldl') import Data.Maybe (fromMaybe, fromJust, listToMaybe) @@ -29,12 +29,11 @@ import System.Environment (getArgs) import System.Exit (exitSuccess) import System.IO (hFlush, stdout) -import System.IO.Error (annotateIOError) ganyOpts :: Options getOpts :: [String] -> IO (Options, [String]) -speclist :: [OptDescr (Options -> IO Options)] -usage_msg :: String +specList :: [OptDescr (Options -> IO Options)] +usageMsg :: String version :: String data Options = Options @@ -47,9 +46,9 @@ , varSuptOpt :: Bool } deriving (Show, Data, Typeable) -- Informative program values: -version = "0.0.0.3" +version = "0.0.0.5" -usage_msg = +usageMsg = "Usage: ganymede [options] \n\ \Runs the Io source file.\n\ \Options are:" @@ -65,9 +64,9 @@ } -- (* Argument handling *) -speclist = +specList = [ Option ['h','?'] ["help"] - (NoArg (\_ -> putStrLn (usageInfo usage_msg speclist) + (NoArg (\_ -> putStrLn (usageInfo usageMsg specList) >> exitSuccess)) " Show this help text" , Option ['d','t'] ["debug","trace"] @@ -77,24 +76,24 @@ (NoArg (\_ -> putStrLn ("Ganymede, version "++ version) >> exitSuccess)) " print the Ganymede version number" - , Option ['c' ] ["clean","noprelude"] + , Option ['c','n'] ["clean","noprelude"] (NoArg (\opts -> return$ opts { pLoadOpt = [] })) " prevent the prelude from being loaded" - , Option ['P' ] ["Prelude"] + , Option ['P' ] ["Prelude"] (OptArg ((\f opts -> return$ opts { pLoadOpt = [(f, Nothing)] }) . - fromMaybe "prelude") + fromMaybe "prelude") "FILE") " load FILE as prelude" - , Option ['p' ] ["pretty"] + , Option ['p' ] ["pretty"] (NoArg (\opts -> return$ opts { ppOpt = True })) " pretty-print the source file" - , Option ['m' ] ["mutable","vars"] + , Option ['m' ] ["mutable","vars"] (NoArg (\ opts -> return$ opts { varSuptOpt = True })) " enable mutable module variables (unpure)" ] -getOpts args = let gErr = ganyOptErr usage_msg speclist in - case getOpt Permute speclist args of +getOpts args = let gErr = ganyOptErr usageMsg specList in + case getOpt Permute specList args of (o,n, [] ) -> do { opts <- foldl' (>>=) (return ganyOpts) $ (\opts -> return$ opts { inputOpt = listToMaybe n }) : o; @@ -109,7 +108,7 @@ -- the pair of Bools denote mutables and program tracing, respectively. build_n_run p@(_, (_, _, _, ex)) (varStatus, traceStatus) = do { (_,env,_) <- Module.catch_module_errors -- Modules - (Module.load_world_of_ast traceStatus) p ; + Module.load_world_of_ast traceStatus p ; Interp.catch_interpreter_errors -- Interp Interp.interpret_expr_in_env (env, ex, (varStatus, traceStatus)) } {--} @@ -120,7 +119,7 @@ (opts,_) <- getOpts =<< getArgs -- print opts let filename = fromJust (inputOpt opts) - ast <- Module.catch_module_errors Module.loadAST filename + ast <- Module.catch_module_errors Module.loadAST (pLoadOpt opts) filename if ppOpt opts then putStrLn (Pretty.prettyPrint ast "\n") else (do @@ -129,9 +128,8 @@ `catches` [ Handler (\(IoError err) -> ioError (userError err)) -- if all else fails... , Handler ganyRunErr - ]) -- where --- ganyRunErr e = ioError (annotateIOError e "Ganymede: " Nothing Nothing) - + ]) + {- (************************************************************ Amalthea main diff --git a/vague's - amalthea.html b/vague's - amalthea.html new file mode 100644 --- /dev/null +++ b/vague's - amalthea.html @@ -0,0 +1,264 @@ + + +vague's - amalthea + + +
+
+ + + + + +
Wayback Machine + + + + + + + +
+
+ + + + + + + + + + + + +
JAN + NovDec
Previous capture 18Next capture
2007 + 20082009
50 + captures +
15 Dec 02 - 18 Nov + 08
 +
sparklines
Close Help +
+ + + + + + + + + + + + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + +
vague           1 Home
2
+ 		    3 Languages
4 Amalthea
+ 		    5 TextPad
6 Archive
4 
io + & amalthea  021126
A couple of + years back I was reading through Raphael Finkel's book Advanced + Programming Language Design. I thought the book an excellent and fun + introduction to various programming language concepts and constructs, but + the part that intrigued me the most was a section on continuations, + a fundamental and powerful construct which can be used to express many + more common language constructs. I was somewhat familiar with the concept + prior to reading about them in APLD but the author used a programming + language called Io to introduce the concept and this language struck me as + both confounding and beautiful. The language is absolutely tiny, both in + syntax and in the ammount of concepts supported. It really has nothing but + continuations, both for flow control and data. Continuations are used for + expressing conditional statements, functions, and even structured data + types. List, tuples, trees, and so on can all be expressed using first + class continuations. +

Since the language so tickled my language nerve I wanted to try it out, + play around a bit. Scouring the net with Google turned up very little, no + implementations and no other references to the language than the one found + in the aforementioned book. I asked around, still nothing. And so I + concluded that there was no implementation available for this tiny + language. I then let the subject be until I had to chose a project for a + class, topics in computer languages. I decided my project should be an Io + interpreter and I decided it should go by the name Amalthea (Amalthea is + one of the smaller moons of Jupiter while Io is a large one). +

amalthea  + 021126
Amalthea was made using OCaml, + which I learned to make Amalthea. I was a mostly pleasurable experience + even though OCaml's syntax is nowhere near as nice as Haskell's. + I also didn't really exploit (or need) any of OCaml's OO or module + features in making Amalthea, so a lot remains to be learned. +

Amalthea is, as always with this kind of projects, heavily under + development, whenever I get the urge to. I mean Amalthea to come with a + small standard library, some detailed examples, and good documentation. + What's here for you to download is a snapshot of the progress in each + area. Most notable is the lack of any documentation on how to program Io. + For now I'll have to refer anyone who downloads Amalthea with the + intention of trying it out to Advanced Programming Language Design, + available on + the web. +

download  + 030128
A new version, 0.874. It's added a bunch of stuff, + including mutable variables and selective imports. Version 0.875 is merely + a new distribution with a filename change to compile under *nix. The error + reporting is a bit flakey in this release but improvements are comming + along as I have the time and inclination. A Windows(tm) binary is included + along with the sources, users of other OSs will have to compile it + themselves using a recent version of OCaml. If anyone wants to make + distributions for Linux, please do so and I'll put them up here. +

Download + Amalthea v0.875 +

 

+