d2215c2831
Fix 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
ae82af6636
Bugfix & 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
c8c876e1bc
Gonna 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
5a61d5f90c
Added 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
d38cd3e61e
Put in title of paper / authors / url
Nathan Braswell
2021-08-03 01:10:10 -04:00
c96f20c80e
Add 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
dc712060cd
generalize RB-Tree and make wrapper functions to use as a set or map
Nathan Braswell
2021-08-02 20:34:01 -04:00
e0802baf5e
Extend 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
93fd0d1943
Initial insert-only RB tree implementing a set
Nathan Braswell
2021-08-01 22:15:58 -04:00
537386d97b
Extended foldl and foldr to be variadic, fixed foldr, and added pattern matching!
Nathan Braswell
2021-08-01 20:21:14 -04:00
dfde35ee79
Add in basic element section
Nathan Braswell
2021-08-01 00:23:41 -04:00
ee4a664660
Add global and table sections
Nathan Braswell
2021-07-29 00:56:57 -04:00
8eaf77876c
Fixed 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
6cacd32c00
Add import (only for functions for now) and call
Nathan Braswell
2021-07-25 18:10:10 -04:00
3ad51ce19d
Implement 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
ca25f2ca2b
Starting 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
f740dd07e2
Implement 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
e271feed24
Implemented $ 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
835706c97d
Add both bare WAT ins and nested WAT ins
Nathan Braswell
2021-07-19 00:32:42 -04:00
d6d7af0bc1
Super 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
d3dd37c60e
Ooops, wasn't encoding numbers right at all, that's embarassing
Nathan Braswell
2021-04-20 01:49:39 -04:00
f254f11f8d
Generating 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
e1fd8abd4f
Started 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
ed3b2ce743
Finished implementing real Damas-Hindley-Milner type system with let polymorphism!
Nathan Braswell
2021-01-24 23:10:27 -05:00
f0d3be32f6
Add lambda to stlc
Nathan Braswell
2021-01-18 19:06:28 -05:00
7850866068
Start 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
1f8fb59220
Fully 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
7d7b2bd6d5
Add 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
ddd5ce7032
Fix 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
6c0a46099a
New kraken with import and #lang passed start symbol
Nathan Braswell
2021-01-02 13:55:07 -05:00
4ed9af307f
Port method stuff over to new_kraken
Nathan Braswell
2020-12-22 19:24:54 -05:00
8d80f38f76
Fix 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
5152e1d109
Now 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
03b588f1f9
Insert 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
85dbaae9de
Add 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
371f39c82b
First impl of type-systems-as-vau-instead-of-macros in new-new-kraken
Nathan Braswell
2020-10-20 22:11:57 -04:00
168589c364
Finished generic concat, so let-rec properly works now
Nathan Braswell
2020-10-18 20:18:38 -04:00
f9529b02aa
Impl function let-rec with Y*
Nathan Braswell
2020-10-18 19:11:23 -04:00
d689a59097
Experimenting 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
45ecb25bb1
Lang with proper scoping
Nathan Braswell
2020-10-11 23:24:17 -04:00
844bb0f189
Working language mod, though it doesn't have access to anything defined in the outer
Nathan Braswell
2020-10-11 22:31:36 -04:00
42c2fcfb66
Cheating in the same way, strings!
Nathan Braswell
2020-10-11 20:01:18 -04:00
0820113c67
Fix error swallowing grammer errors for custom grammers on read-string, start constructing standard_grammar
Nathan Braswell
2020-10-11 19:42:00 -04:00
23d2c166cd
Basic 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
1d97366933
Implement 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
62e991d0dd
Y 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
23910ba51e
Update web version, add a sharable try.html
Nathan Braswell
2020-09-13 19:03:44 -04:00
aa75269608
Working string interpolation!
Nathan Braswell
2020-09-13 18:25:30 -04:00
59c6bceb4d
work in progress string interpolation
Nathan Braswell
2020-09-13 18:05:54 -04:00
33d28fe1fa
Added {} bodies, C style function call, and Kraken-style fun
Nathan Braswell
2020-09-12 21:34:23 -04:00
54cffb4185
massage new constructor to be a function and add methods to both it and the new syntax
Nathan Braswell
2020-09-08 23:30:56 -04:00
3cb5c8d827
Add 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
0d07d22995
Move to wrap and unwrap
Nathan Braswell
2020-09-06 12:19:19 -04:00
8e47cb2ec2
Move to prelude and add enough to run bf (with modifications)
Nathan Braswell
2020-08-29 00:33:04 -04:00
241b4ca3f4
Implemented quasiquoting as a vau!
Nathan Braswell
2020-08-28 00:38:16 -04:00
a5f15f70f8
Fixed 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
94a24cb30f
Somehow forgot to commit rc all this time
Nathan Braswell
2020-08-20 18:37:43 -04:00
d69e77ee33
Added 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
8ea030547a
Finally 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
9caf220aa1
Added print / string stuff, meta and with-meta, and the old add_grammer_rule
Nathan Braswell
2020-07-21 22:56:29 -04:00
45af192cee
Added in basic math, comparison, and boolean operations
Nathan Braswell
2020-07-17 00:00:22 -04:00
41c02d43ff
implement 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
a5f1355b63
Added 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
622aee0c75
Add fib example to web page
Nathan Braswell
2020-05-12 16:36:07 -04:00
c799cf485b
Massive updates to the website
Nathan Braswell
2020-05-12 16:22:41 -04:00
dac3e41101
Pass inputs to grammer callbacks as individual parameters
Nathan Braswell
2020-05-12 09:33:33 -04:00
8e296d57c8
Add atom syntax
Nathan Braswell
2020-05-12 09:19:01 -04:00
45ea718bc8
Add 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
29230404a3
Remove just a tad more of bf
Nathan Braswell
2020-05-12 00:33:29 -04:00
25801b3d3a
Add + 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
a7c0c3d78c
Lisp object system prototyped! Added necessary C functions and variadic support
Nathan Braswell
2020-05-11 01:08:13 -04:00
9aeadfc224
Add 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
f10630c66c
First working object tests!
Nathan Braswell
2020-05-10 19:29:28 -04:00
3f501a5c2f
Added correct compiling of top level vector values, including with meta
Nathan Braswell
2020-05-10 00:50:46 -04:00
4cd7b22c86
Added set-meta! to interp and compile
Nathan Braswell
2020-05-10 00:17:30 -04:00
991a353805
Add compiling with-meta/meta for vectors only to C
Nathan Braswell
2020-05-09 13:30:38 -04:00
5d473d698d
Somewhat in the middle - removed list, added meta for interpreter, not yet implemented in compiler
Nathan Braswell
2020-05-09 11:52:32 -04:00
c5153c2977
add explanations of idea, links to paper, current status, and a tiny amount of CSS from https://bestmotherfucking.website/
Nathan Braswell
2020-05-03 00:48:51 -04:00
Nathan Braswell