7a82af6ad8830e9c9c32e7dad3d896911dbd667e Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/d33cdab57c4ca2a6164b56c7cab5eb5818492e6f d33cdab57c4ca2a6164b56c7cab5eb5818492e6f 2009-05-27T15:50:39-07:00 2009-05-27T15:50:39-07:00 Misc. tweaks. 0ada3d9f1dbbffd01159d5b1a4285e78e6007be5 Alex Suraci i.am@toogeneric.com 3c4cf0ff7bca3670946a8a8c3ec42baf7126540d Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/7a82af6ad8830e9c9c32e7dad3d896911dbd667e 7a82af6ad8830e9c9c32e7dad3d896911dbd667e 2009-05-26T08:40:09-07:00 2009-05-26T08:40:09-07:00 * Classes and objects carry around their name (type) and use that for getType on an object. * Removed example.at. * Tuples must contain two or more values. * Allow lambdas and parenthesized expressions in function call arguments. * Added handling for chaining attributes, like foo.bar.baz 0071ab203740d21c7f34ee479079ee2c62e23b93 Alex Suraci i.am@toogeneric.com 51cae77e8b50a90bba81605f6805658730082cbe Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/3c4cf0ff7bca3670946a8a8c3ec42baf7126540d 3c4cf0ff7bca3670946a8a8c3ec42baf7126540d 2009-05-25T21:53:38-07:00 2009-05-25T21:53:38-07:00 * Typeclasses. * Polymorphic types can be more than one char. * Back to "." for module accessing/static methods * Updated and added examples. * Tweaked how functions are called. * Allow ' and ? in identifiers. * Count backtick'd identifiers as operators. * Fixed function annotation lines not working properly for operators. * Various tweaks and fixes. 6c57b84420c6004a7ad7c2df64b33ab31ae8fd6d Alex Suraci i.am@toogeneric.com c9edfd49f7c77049b4c8eba00ca3abd931e1f60d Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/51cae77e8b50a90bba81605f6805658730082cbe 51cae77e8b50a90bba81605f6805658730082cbe 2009-05-22T23:16:16-07:00 2009-05-22T23:16:16-07:00 Allow defining functions with infix syntax. 61092099f944461d64b848d38fef386c5c8255fc Alex Suraci i.am@toogeneric.com 978b4607936ee219bfa20950e08e2540f82c8813 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/c9edfd49f7c77049b4c8eba00ca3abd931e1f60d c9edfd49f7c77049b4c8eba00ca3abd931e1f60d 2009-05-22T22:38:56-07:00 2009-05-22T22:38:56-07:00 Fixity declarations and parsing. cf26046263543fb4e7f1d6613f1a162820d011b7 Alex Suraci i.am@toogeneric.com d173424d2377425ba1faf0dc873991eaf605df5b Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/978b4607936ee219bfa20950e08e2540f82c8813 978b4607936ee219bfa20950e08e2540f82c8813 2009-05-22T13:25:43-07:00 2009-05-22T13:25:43-07:00 * "|" used for list construction and list pattern matching. ":" is unfeasable. * Added aSimpleExpr for things more natural to be inline expressions. * Fixed class lookup. * Tweaked function application/matching. * Allow usage of any operator, not just in the explicit list. (TODO: Complete and expand this to setting fixity info.) * Type derives Eq, moved old Eq (==) instance to a `match' function. * Fixed a typo. * Fixed how definitions are displayed. * Prettify pattern matches. * Display ANone as "~"; "None" was confusing as that could also be a data value. * Added prettyType (Poly _) * Changed how AValue is structored. No more mutual recursion. Has a pointer to its constructor which points to the data structure. fb249c0c8124bce9793731d65e8a0157083cf756 Alex Suraci i.am@toogeneric.com 9780261b5964acfe64b8858876cad6511ebff7f3 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/d173424d2377425ba1faf0dc873991eaf605df5b d173424d2377425ba1faf0dc873991eaf605df5b 2009-05-20T08:12:53-07:00 2009-05-20T08:12:53-07:00 * Int -> Integer * Fixed looking up a value returning its annotation before its value. * Cleared up the concurrency example. * Tweaked sepBy1 28251eb1dc6736361505e1ae659ef7247d5b9384 Alex Suraci i.am@toogeneric.com d006a79566b8bfb37f809efb099021863c88bfe3 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/9780261b5964acfe64b8858876cad6511ebff7f3 9780261b5964acfe64b8858876cad6511ebff7f3 2009-05-19T17:01:46-07:00 2009-05-19T17:01:37-07:00 Concurrency. 6e1276c45734e3550215c9282ea8d01281f2fa31 Alex Suraci i.am@toogeneric.com d6e4d44ac466c56b3d75963cf768c0e8471b9b55 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/d006a79566b8bfb37f809efb099021863c88bfe3 d006a79566b8bfb37f809efb099021863c88bfe3 2009-05-19T12:49:04-07:00 2009-05-19T12:49:04-07:00 Fixed something in the pattern example. 51fed714e72b0b67171f008b469b3edbb9622047 Alex Suraci i.am@toogeneric.com 873f684dc21e5b7075ac88b2b08a6525214f142c Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/d6e4d44ac466c56b3d75963cf768c0e8471b9b55 d6e4d44ac466c56b3d75963cf768c0e8471b9b55 2009-05-18T22:25:22-07:00 2009-05-18T22:25:22-07:00 * A crapton of stuff. See full log. * Pattern matching. * Atoms. * Prepping for concurrency (added parsers) * AConstructs and ADatas are no longer mutually recursive. * AtomoVal now derives Show. * Use a Class/Define index for storing items in the env, since Classes are named as types we can't index by string there. * Use : for module accessing and calling static methods. * Removed "mutate". Mutation will no longer be allowed. * Variable binding with :=. * Atomo will not be a lazy language. * Added pattern matching example. * Added license. * Tons and tons of tweaks and fixes. I should have committed long ago, but too many changes were up in the air. Sorry. 29d24f9e113902da2fce438f1f786b4d1f526758 Alex Suraci i.am@toogeneric.com 72aeac6004a1584cf6f11dc757fbe693a857bd7b Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/873f684dc21e5b7075ac88b2b08a6525214f142c 873f684dc21e5b7075ac88b2b08a6525214f142c 2009-05-10T11:18:21-07:00 2009-05-10T11:18:21-07:00 * Static calls. * getAVal now returns a value of a definition rather than the definition itself. This fixes cases where calling an object method would result in defining the function in the current scope. * ANone is visually represented as just "". Not the same as (). * Lambdas called with ANone no longer evaluate with ANone as the argument. This was a bug with using a function simply as a reference. * The REPL will no longer output ANone after calls that return nothing (e.g. print and dump) * Defining something does not evaluate its contents first. * Tweaked how "main" is called. Less hackish. * Added AError as a tool to contain an error message so that evaluated results can return the actual AtomoVal instead of a string. e9661a5f61ba3fda2625d1b94ff2c242e467c404 Alex Suraci i.am@toogeneric.com 29695bccab3d1f0b8cb6390492fbf632b68c8377 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/72aeac6004a1584cf6f11dc757fbe693a857bd7b 72aeac6004a1584cf6f11dc757fbe693a857bd7b 2009-05-09T22:36:12-07:00 2009-05-09T22:36:12-07:00 * "new" object function automatically returns the object. * Fixed AReturn not evaluating its argument in the proper environment. * Added an explicit "Poly" Type constructor instead of using "Name [_]". * Display ANone as "()" * Updated the aType parser. 743022f77455f9a148c165b321482d7758627341 Alex Suraci i.am@toogeneric.com 4d1ff0a5cf756c29597944a873f28e6666b1bdeb Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/29695bccab3d1f0b8cb6390492fbf632b68c8377 29695bccab3d1f0b8cb6390492fbf632b68c8377 2009-05-09T17:02:29-07:00 2009-05-09T17:02:29-07:00 Fixed variable arguments to function calls, and updated the higher-order example. 80e0668e00441e33c43577c3ead772a28bac0f39 Alex Suraci i.am@toogeneric.com 6c1521be21eeb537511c5eb242d3a68f458f4c77 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/4d1ff0a5cf756c29597944a873f28e6666b1bdeb 4d1ff0a5cf756c29597944a873f28e6666b1bdeb 2009-05-09T17:02:14-07:00 2009-05-09T17:02:14-07:00 Fixed variable arguments to function calls, and updated the higher-order example. 9c0b5fd8b5fdd747df07d674ed45cdc432343519 Alex Suraci i.am@toogeneric.com fe2fd0531aea009609017569172c08abc03d1330 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/6c1521be21eeb537511c5eb242d3a68f458f4c77 6c1521be21eeb537511c5eb242d3a68f458f4c77 2009-05-09T16:58:56-07:00 2009-05-09T16:58:56-07:00 * Fixed checking values for equality resulting in a stack overflow. * Updated the fac example. f9bb9b91f07ec8030c6892e4e238fd3e70ab309f Alex Suraci i.am@toogeneric.com 08b3f4836c517974212940d0faa7efbf3847834e Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/fe2fd0531aea009609017569172c08abc03d1330 fe2fd0531aea009609017569172c08abc03d1330 2009-05-09T15:02:07-07:00 2009-05-09T15:02:07-07:00 * Fixed some Boolean stuff. * Expanded the Class example. * Attributes can now be accessed on a parenthesized expression. * Return can now take no argument. * Made an error message less ambiguous (not that it matters, since it'd be caught at the typechecking level). 418883631cda0316942dc2ce9abf03a9399a5d5e Alex Suraci i.am@toogeneric.com eb644b1e73888e7f6a3dbfd5cba80973f7130d1f Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/08b3f4836c517974212940d0faa7efbf3847834e 08b3f4836c517974212940d0faa7efbf3847834e 2009-05-09T14:50:26-07:00 2009-05-09T14:50:26-07:00 Fixed importing submodules (e.g. Foo.Test). fea5d31215d6e3df724f1ba1a75dafdfdcfc37c9 Alex Suraci i.am@toogeneric.com 78217a675db769a827789266e84c889156fe24a7 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/eb644b1e73888e7f6a3dbfd5cba80973f7130d1f eb644b1e73888e7f6a3dbfd5cba80973f7130d1f 2009-05-09T14:27:02-07:00 2009-05-09T14:27:02-07:00 * Classes and object orientation (initial). * Unqualified importing. * Added lowIdentifier and capIdentifier lexemes. * aReference -> aVariable * Generalized aBlock. * Cleanups. * Definition & type capitalization/lowercase enforcing. 85f582ff8051300499019b4c0a003b078faedb45 Alex Suraci i.am@toogeneric.com ae3b1873e984d85aa1d2852f29646ba7a872532c Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/78217a675db769a827789266e84c889156fe24a7 78217a675db769a827789266e84c889156fe24a7 2009-05-08T15:09:54-07:00 2009-05-08T15:09:54-07:00 Unqualified importing. bdbe088288760a545198f65ef5b22688f27b7eb9 Alex Suraci i.am@toogeneric.com 7702459268a51435f8004d4748e29685a6ae7003 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/ae3b1873e984d85aa1d2852f29646ba7a872532c ae3b1873e984d85aa1d2852f29646ba7a872532c 2009-05-08T13:21:54-07:00 2009-05-08T13:21:54-07:00 Updated the typechecker to use the new environment method. c94d984fecbd757dd1ee3869f8d8ccc1b312eef7 Alex Suraci i.am@toogeneric.com a66d4c008c323f2e4ad68d876489b85fd5216be4 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/7702459268a51435f8004d4748e29685a6ae7003 7702459268a51435f8004d4748e29685a6ae7003 2009-05-08T12:49:59-07:00 2009-05-08T12:49:59-07:00 * Types and type constructors are now capitalized. * Added our own definition of sepBy which accounts for our whitespace. * More whitespace tweaks. * Removed getType and the typeOf primitive function. * Updated data constructors to use currying. * Moved debugging code to Internals. * Unified IO and normal primitive functions. * Updated some examples. 9dc8c81017a20dd8a847f84c65f0896e27786354 Alex Suraci i.am@toogeneric.com c4139c682fcc3b490eed2cf67c8587c37ecbfdfd Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/a66d4c008c323f2e4ad68d876489b85fd5216be4 a66d4c008c323f2e4ad68d876489b85fd5216be4 2009-05-06T11:52:00-07:00 2009-05-06T11:52:00-07:00 * Lambdas, ex. `(do x y: x + y) 3 6` => 9 * Added `::` as a reserved operator. * Added `do` as a reserved name, and removed `for`. * Fixed some whitespace issues. 4aac513ce2e36de265891344fd913cbe9048b871 Alex Suraci i.am@toogeneric.com b326ed7d6a329d4af6835efd2bf84e70f6639fe7 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/c4139c682fcc3b490eed2cf67c8587c37ecbfdfd c4139c682fcc3b490eed2cf67c8587c37ecbfdfd 2009-05-06T08:16:35-07:00 2009-05-06T08:16:35-07:00 Fixed mutation. 9b5513715c3a67b85b0fa0224ed3260456479a89 Alex Suraci i.am@toogeneric.com a2d5cfbf7ed111a0243fdfee7de3e1ce5748c93e Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/b326ed7d6a329d4af6835efd2bf84e70f6639fe7 b326ed7d6a329d4af6835efd2bf84e70f6639fe7 2009-05-06T08:13:09-07:00 2009-05-06T08:13:09-07:00 A few optimizations. 0d26dba64b8932d68231daec6138372746b2c1c5 Alex Suraci i.am@toogeneric.com d3b3c8e3f57ec83895210aff9148b32b0dc11647 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/a2d5cfbf7ed111a0243fdfee7de3e1ce5748c93e a2d5cfbf7ed111a0243fdfee7de3e1ce5748c93e 2009-05-06T07:16:58-07:00 2009-05-06T07:16:58-07:00 * New scoping system. * Updated fib example. * Fixed parsing of function calls with infix calls. * Fixed "n - 2" being parsed as "n -2". fb57740e422bc970efe243b65bd1d8d65a761c5f Alex Suraci i.am@toogeneric.com ce9c5a9ee375eea744f8dabfc338ed5483a8c134 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/d3b3c8e3f57ec83895210aff9148b32b0dc11647 d3b3c8e3f57ec83895210aff9148b32b0dc11647 2009-05-05T15:31:08-07:00 2009-05-05T15:31:08-07:00 Fixed calling functions that take no arguments. d8fe724a066e3050b6e6ac839ba25179157395d7 Alex Suraci i.am@toogeneric.com 72a3d9e12a9644a9fec9eab43ce5727d71875114 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/ce9c5a9ee375eea744f8dabfc338ed5483a8c134 ce9c5a9ee375eea744f8dabfc338ed5483a8c134 2009-05-05T15:23:18-07:00 2009-05-05T15:23:18-07:00 * Fixed callify wonkiness * Fixed binding managing for calling functions. * Added a pretty form for displaying lambdas. c0a54e0239aba812d66d25776af4ae962d525aec Alex Suraci i.am@toogeneric.com e8ae6aceac408b22d047a1e9ac584454ec63d523 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/72a3d9e12a9644a9fec9eab43ce5727d71875114 72a3d9e12a9644a9fec9eab43ce5727d71875114 2009-05-05T13:47:44-07:00 2009-05-05T13:47:44-07:00 * Currying. (Yes, this is a huge commit.) * `main` function is now the entry point for scripts. b5a738c9c1e51d384c12694f2fd80cc615bcb262 Alex Suraci i.am@toogeneric.com 54a9770bab06a7f73bcaf7d81c75b55eb2dd9ce2 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/e8ae6aceac408b22d047a1e9ac584454ec63d523 e8ae6aceac408b22d047a1e9ac584454ec63d523 2009-05-04T06:51:11-07:00 2009-05-04T06:51:11-07:00 * Allow calling functions like "foo 1 2" instead of "foo(1, 2)". Might become default. * Variables declared as blocks, not evaluated until called. * Immutability by default. Mutation in the works. * Added tweaked makeTokenParser. * Tweaked how functions are stored (their type now represents the parameters as well). * Operators must be in parentheses to be considered a reference. 218dd037f50c58678fff112f7e0d51377ad6943d Alex Suraci i.am@toogeneric.com 0585affef908282c4b246a867ed57009e6b15dc9 Alex Suraci i.am@toogeneric.com http://github.com/vito/atomo/commit/54a9770bab06a7f73bcaf7d81c75b55eb2dd9ce2 54a9770bab06a7f73bcaf7d81c75b55eb2dd9ce2 2009-05-01T19:58:22-07:00 2009-05-01T19:58:22-07:00 Added tuples example. 19a511fb136c4fbe67443f621a099dc7eeeef2c5 Alex Suraci i.am@toogeneric.com