d2215c2831Fix some of the massive speed drop from destructuring lambda by checking to see if it actually needs to destrucure first. Still slower than it was, but not 10x anymore. Maybe 1.5-2x?
Nathan Braswell
2021-08-05 01:11:14 -04:00
ae82af6636Bugfix & added an extra lambda wrapping around term/nterm so that their value can be made recursive with let-rec, and with that the parser works! On the other hand, it takes 38 seconds to parse 'a,a,a' with the grammer A='a'|'a' ',' A .... so that could be a lot better.
Nathan Braswell
2021-08-05 00:39:56 -04:00
c8c876e1bcGonna checkpoint here - got basic fungll working, did a mod to allow strings as terminals, working on getting recursion working.
Nathan Braswell
2021-08-05 00:07:44 -04:00
5a61d5f90cAdded destructuring lambda/rec-lambda, changed let to use the same [] array destructuring syntax, added basic multiset & set-foldl. Fixed a bunch of bugs in fungll, hopefully close to working, but just realized that < is only defined for ints, while it's how the RB-Tree set/map sort their values/keys, so I'll need to extend it like = for all types. Tomorrow!
Nathan Braswell
2021-08-04 00:56:04 -04:00
d38cd3e61ePut in title of paper / authors / url
Nathan Braswell
2021-08-03 01:10:10 -04:00
c96f20c80eAdd lcompose to prelude, size to rb, and sketch out fungll. Still haven't figured out the exact datatype for grammer_slots and have decided to implement [] destrucuring in lambda params, and change let destructuring to use [].
Nathan Braswell
2021-08-03 00:56:07 -04:00
dc712060cdgeneralize RB-Tree and make wrapper functions to use as a set or map
Nathan Braswell
2021-08-02 20:34:01 -04:00
e0802baf5eExtend match to support ~unquote for matching against the *value* of expressions or variables, and use that to implement deletion for the RB-tree set
Nathan Braswell
2021-08-01 23:48:41 -04:00
93fd0d1943Initial insert-only RB tree implementing a set
Nathan Braswell
2021-08-01 22:15:58 -04:00
537386d97bExtended foldl and foldr to be variadic, fixed foldr, and added pattern matching!
Nathan Braswell
2021-08-01 20:21:14 -04:00
dfde35ee79Add in basic element section
Nathan Braswell
2021-08-01 00:23:41 -04:00
ee4a664660Add global and table sections
Nathan Braswell
2021-07-29 00:56:57 -04:00
8eaf77876cFixed up signed const encoding, can now execute my old wat test by copy pasting it into the kraken code!
Nathan Braswell
2021-07-25 23:41:41 -04:00
6cacd32c00Add import (only for functions for now) and call
Nathan Braswell
2021-07-25 18:10:10 -04:00
3ad51ce19dImplement the env shuffling to enable blocks with labels and breaking to them (via 'hidden' depth constant added to each block env, from which the block depth is subtracted in the br vau
Nathan Braswell
2021-07-25 02:14:20 -04:00
ca25f2ca2bStarting to add control instruction stuff, beginning with the block instruction. No nice labels or anything yet
Nathan Braswell
2021-07-22 01:14:51 -04:00
f740dd07e2Implement locals and foldl, which is the direction we should have been folding to not reverse the params/locals anyway
Nathan Braswell
2021-07-20 23:36:03 -04:00
e271feed24Implemented $ references for functions and parameters, which are also parsed for real now, along with the result. Setup for locals added, but not it's backend. Added pretty interesting add-dict-to-env function to collections.kp, which has also been added to put collections stuff in one place.
Nathan Braswell
2021-07-20 00:37:27 -04:00
835706c97dAdd both bare WAT ins and nested WAT ins
Nathan Braswell
2021-07-19 00:32:42 -04:00
d6d7af0bc1Super basic and a tiny bit hardcoded WAT-like syntax for generating the array of arrays of arrays of arrays wasm implementation in wasm.kp, allowing us to write psudo-WAT in kraken and output binary wasm with 1 function call
Nathan Braswell
2021-07-18 23:42:19 -04:00
d3dd37c60eOoops, wasn't encoding numbers right at all, that's embarassing
Nathan Braswell
2021-04-20 01:49:39 -04:00
f254f11f8dGenerating first (in at least wasm3) runnable code! Added type, function, export, and code sections, with instructions and whatnot!
Nathan Braswell
2021-04-20 01:36:38 -04:00
e1fd8abd4fStarted working on basic wasm encoding/serialization. Added binary_file_writing, generalized arity comparison operators, bitwise operators, parsing of hex numbers, and wasm w/ memory section deserialization
Nathan Braswell
2021-04-19 01:39:04 -04:00
ed3b2ce743Finished implementing real Damas-Hindley-Milner type system with let polymorphism!
Nathan Braswell
2021-01-24 23:10:27 -05:00
f0d3be32f6Add lambda to stlc
Nathan Braswell
2021-01-18 19:06:28 -05:00
7850866068Start working on STLC again, this one's coming along. Primitives, builtins, and calls, but no lambda yet
Nathan Braswell
2021-01-18 02:04:35 -05:00
1f8fb59220Fully functional now, removing set!, set-idx!, array-with-len, and making concat a builtin. Also, added 2 fun rules to new_kraken that allow nesting of new_kraken and k_prime languages
Nathan Braswell
2021-01-17 19:57:33 -05:00
7d7b2bd6d5Add error/recover, rep->repl with error catching, and add it to scope so you can do it recursively and debug and whatnot. Also make it take in the grammer to repl with, and fix and commit the new_kraken work from earlier
Nathan Braswell
2021-01-14 23:43:50 -05:00
ddd5ce7032Fix some longstanding string bugs and stop cheating with read-string in standard_grammer, implementing both unescape and string-to-int in k'
Nathan Braswell
2021-01-04 00:11:15 -05:00
6c0a46099aNew kraken with import and #lang passed start symbol
Nathan Braswell
2021-01-02 13:55:07 -05:00
4ed9af307fPort method stuff over to new_kraken
Nathan Braswell
2020-12-22 19:24:54 -05:00
8d80f38f76Fix a few parsing bugs at both levels, port some of the method demo over to new_kraken
Nathan Braswell
2020-12-22 02:40:54 -05:00
5152e1d109Now actually have standard_grammar and with_import in scope let and all other ways in, having implemented let-vrec for mutually recursive vaus and fixing bugs. Tiny placeholder new_kraken definition and test.
Nathan Braswell
2020-12-20 02:10:10 -05:00
03b588f1f9Insert standard_grammar into the standard scope via recursion, allowing it to be used in sub-languages
Nathan Braswell
2020-12-19 23:05:46 -05:00
85dbaae9deAdd vector, quote, and quasiquote syntax to new_kraken, and refactor types to use meta & new syntax
Nathan Braswell
2020-10-20 22:59:21 -04:00
371f39c82bFirst impl of type-systems-as-vau-instead-of-macros in new-new-kraken
Nathan Braswell
2020-10-20 22:11:57 -04:00
168589c364Finished generic concat, so let-rec properly works now
Nathan Braswell
2020-10-18 20:18:38 -04:00
f9529b02aaImpl function let-rec with Y*
Nathan Braswell
2020-10-18 19:11:23 -04:00
d689a59097Experimenting with fungll optimization, implement the okmij.org poly-variadic fix-point combinator for mutual recursion
Nathan Braswell
2020-10-17 11:59:54 -04:00
45ecb25bb1Lang with proper scoping
Nathan Braswell
2020-10-11 23:24:17 -04:00
844bb0f189Working language mod, though it doesn't have access to anything defined in the outer
Nathan Braswell
2020-10-11 22:31:36 -04:00
42c2fcfb66Cheating in the same way, strings!
Nathan Braswell
2020-10-11 20:01:18 -04:00
0820113c67Fix error swallowing grammer errors for custom grammers on read-string, start constructing standard_grammar
Nathan Braswell
2020-10-11 19:42:00 -04:00
23d2c166cdBasic provide & with_import, fix a rep bug where all but first execution was in root_env instead of standard env
Nathan Braswell
2020-09-19 12:41:52 -04:00
1d97366933Implement user-interatction part of k_prime in new_kraken.kp, moved from load_test.kp
Nathan Braswell
2020-09-17 23:28:45 -04:00
62e991d0ddY combinator works, as well as vY (the vau version, which is different b/c applicative order), and prototype for new load style removing set works
Nathan Braswell
2020-09-16 00:07:49 -04:00
23910ba51eUpdate web version, add a sharable try.html
Nathan Braswell
2020-09-13 19:03:44 -04:00
3cb5c8d827Add TCO option to BuiltinCombinator and convert cond and eval to use this, then rewrite self-hosted do so that it too is TCO. This allows us to self-host cond (which we did) so without worring about stack space for large arrays
Nathan Braswell
2020-09-07 15:41:27 -04:00
0d07d22995Move to wrap and unwrap
Nathan Braswell
2020-09-06 12:19:19 -04:00
8e47cb2ec2Move to prelude and add enough to run bf (with modifications)
Nathan Braswell
2020-08-29 00:33:04 -04:00
241b4ca3f4Implemented quasiquoting as a vau!
Nathan Braswell
2020-08-28 00:38:16 -04:00
a5f15f70f8Fixed the eval issue for builtins mentioned last time, and undid lambda fix. Fixed it by unevaling in appropriate spots by wrapping in a call to quote, or equilivant. Map at least should be rewritten a language feature, for sure.
Nathan Braswell
2020-08-20 22:57:01 -04:00
94a24cb30fSomehow forgot to commit rc all this time
Nathan Braswell
2020-08-20 18:37:43 -04:00
d69e77ee33Added vector syntatic sugar [], set-idx!, and neatend up some of the self-implementation with the ' and [] syntatic sugar. Realized that currently most builtins pass arguments evaluated such that functions that they are passed really have to be vau instead of lambda. This includes both add_grammer_rule and more common ones like map, etc. I think I might have to undo my lambda fix in recognition of this. Anyway, either I have to pass arguments unevaluated or I need to swap to wrap/unwrap instead of my current lambda impl. It would be more like Kernel, and might make optimization etc easier, but I'm a tad worried about unwrap being exposed to the user / not forcing the more general optimization based on partial evaluation on myself (maybe doing this even makes optimization harder or less elegant?)
Nathan Braswell
2020-08-14 22:37:03 -04:00
8ea030547aFinally commit earlier work now that I've fixed the bug where you couldn't use new syntax inside of functions because the inner closure struct was being corrupted and giving a null env. Now I use a nil env
Nathan Braswell
2020-08-14 00:37:55 -04:00
b292180a86File loading and gradual evaluation
Nathan Braswell
2020-07-21 23:30:08 -04:00
9caf220aa1Added print / string stuff, meta and with-meta, and the old add_grammer_rule
Nathan Braswell
2020-07-21 22:56:29 -04:00
45af192ceeAdded in basic math, comparison, and boolean operations
Nathan Braswell
2020-07-17 00:00:22 -04:00
41c02d43ffimplement cond vector len idx concat - =, all as builtins, as an excercise implemented quote let1 apply rest map lambda fun, all in k_prime itself, proving you don't absolutly need wrap or apply as builtins (eval and vector manipulation functions suffice)
Nathan Braswell
2020-07-13 00:48:01 -04:00
a5f1355b63Added eval, which I think completes the key vau parts - will have to see if I can construct lambda soon
Nathan Braswell
2020-06-30 21:17:02 -04:00
622aee0c75Add fib example to web page
Nathan Braswell
2020-05-12 16:36:07 -04:00
c799cf485bMassive updates to the website
Nathan Braswell
2020-05-12 16:22:41 -04:00
dac3e41101Pass inputs to grammer callbacks as individual parameters
Nathan Braswell
2020-05-12 09:33:33 -04:00
8e296d57c8Add atom syntax
Nathan Braswell
2020-05-12 09:19:01 -04:00
45ea718bc8Add in atoms as length-1 vectors to bf.kp, next need to add in reader macros for them. Also the params from earlier
Nathan Braswell
2020-05-12 00:40:36 -04:00
29230404a3Remove just a tad more of bf
Nathan Braswell
2020-05-12 00:33:29 -04:00
25801b3d3aAdd + and * to add_grammer_rule. Realized that rules should actually be passed to functions as params, with option for variadac, that will be up next
Nathan Braswell
2020-05-12 00:32:12 -04:00
a7c0c3d78cLisp object system prototyped! Added necessary C functions and variadic support
Nathan Braswell
2020-05-11 01:08:13 -04:00
9aeadfc224Add names to BuiltinFunctions so they can be compiled when used by reference, much less hacky and allows our new BF version to be compiled
Nathan Braswell
2020-05-10 21:33:47 -04:00
f10630c66cFirst working object tests!
Nathan Braswell
2020-05-10 19:29:28 -04:00
3f501a5c2fAdded correct compiling of top level vector values, including with meta
Nathan Braswell
2020-05-10 00:50:46 -04:00
4cd7b22c86Added set-meta! to interp and compile
Nathan Braswell
2020-05-10 00:17:30 -04:00
991a353805Add compiling with-meta/meta for vectors only to C
Nathan Braswell
2020-05-09 13:30:38 -04:00
5d473d698dSomewhat in the middle - removed list, added meta for interpreter, not yet implemented in compiler
Nathan Braswell
2020-05-09 11:52:32 -04:00
Nathan Braswell