Nathan Braswell
|
4ed9af307f
|
Port method stuff over to new_kraken
|
2020-12-22 19:24:54 -05:00 |
|
Nathan Braswell
|
8d80f38f76
|
Fix a few parsing bugs at both levels, port some of the method demo over to new_kraken
|
2020-12-22 02:40:54 -05:00 |
|
Nathan Braswell
|
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.
|
2020-12-20 02:10:10 -05:00 |
|
Nathan Braswell
|
03b588f1f9
|
Insert standard_grammar into the standard scope via recursion, allowing it to be used in sub-languages
|
2020-12-19 23:05:46 -05:00 |
|
Nathan Braswell
|
85dbaae9de
|
Add vector, quote, and quasiquote syntax to new_kraken, and refactor types to use meta & new syntax
|
2020-10-20 22:59:21 -04:00 |
|
Nathan Braswell
|
371f39c82b
|
First impl of type-systems-as-vau-instead-of-macros in new-new-kraken
|
2020-10-20 22:11:57 -04:00 |
|
Nathan Braswell
|
168589c364
|
Finished generic concat, so let-rec properly works now
|
2020-10-18 20:18:38 -04:00 |
|
Nathan Braswell
|
f9529b02aa
|
Impl function let-rec with Y*
|
2020-10-18 19:11:23 -04:00 |
|
Nathan Braswell
|
d689a59097
|
Experimenting with fungll optimization, implement the okmij.org poly-variadic fix-point combinator for mutual recursion
|
2020-10-17 11:59:54 -04:00 |
|
Nathan Braswell
|
45ecb25bb1
|
Lang with proper scoping
|
2020-10-11 23:24:17 -04:00 |
|
Nathan Braswell
|
844bb0f189
|
Working language mod, though it doesn't have access to anything defined in the outer
|
2020-10-11 22:31:36 -04:00 |
|
Nathan Braswell
|
42c2fcfb66
|
Cheating in the same way, strings!
|
2020-10-11 20:01:18 -04:00 |
|
Nathan Braswell
|
0820113c67
|
Fix error swallowing grammer errors for custom grammers on read-string, start constructing standard_grammar
|
2020-10-11 19:42:00 -04:00 |
|
Nathan Braswell
|
e6319d18f7
|
Add all-k_prime grammar argument to read-string, enabling all-in-k_prime grammer changing
|
2020-09-20 13:52:56 -04:00 |
|
Nathan Braswell
|
23d2c166cd
|
Basic provide & with_import, fix a rep bug where all but first execution was in root_env instead of standard env
|
2020-09-19 12:41:52 -04:00 |
|
Nathan Braswell
|
e8899fc093
|
Better hermetic scoping
|
2020-09-19 00:04:09 -04:00 |
|
Nathan Braswell
|
1d97366933
|
Implement user-interatction part of k_prime in new_kraken.kp, moved from load_test.kp
|
2020-09-17 23:28:45 -04:00 |
|
Nathan Braswell
|
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
|
2020-09-16 00:07:49 -04:00 |
|
Nathan Braswell
|
23910ba51e
|
Update web version, add a sharable try.html
|
2020-09-13 19:03:44 -04:00 |
|
Nathan Braswell
|
aa75269608
|
Working string interpolation!
|
2020-09-13 18:25:30 -04:00 |
|
Nathan Braswell
|
59c6bceb4d
|
work in progress string interpolation
|
2020-09-13 18:05:54 -04:00 |
|
Nathan Braswell
|
33d28fe1fa
|
Added {} bodies, C style function call, and Kraken-style fun
|
2020-09-12 21:34:23 -04:00 |
|
Nathan Braswell
|
54cffb4185
|
massage new constructor to be a function and add methods to both it and the new syntax
|
2020-09-08 23:30:56 -04:00 |
|
Nathan Braswell
|
ba64276630
|
Begin object/struct syntax & semantics
|
2020-09-08 00:25:41 -04:00 |
|
Nathan Braswell
|
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
|
2020-09-07 15:41:27 -04:00 |
|
Nathan Braswell
|
c0eca02e43
|
Update website
|
2020-09-06 22:10:59 -04:00 |
|
Nathan Braswell
|
0d07d22995
|
Move to wrap and unwrap
|
2020-09-06 12:19:19 -04:00 |
|
Nathan Braswell
|
8e47cb2ec2
|
Move to prelude and add enough to run bf (with modifications)
|
2020-08-29 00:33:04 -04:00 |
|
Nathan Braswell
|
241b4ca3f4
|
Implemented quasiquoting as a vau!
|
2020-08-28 00:38:16 -04:00 |
|
Nathan Braswell
|
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.
|
2020-08-20 22:57:01 -04:00 |
|
Nathan Braswell
|
94a24cb30f
|
Somehow forgot to commit rc all this time
|
2020-08-20 18:37:43 -04:00 |
|
Nathan Braswell
|
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?)
|
2020-08-14 22:37:03 -04:00 |
|
Nathan Braswell
|
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
|
2020-08-14 00:37:55 -04:00 |
|
Nathan Braswell
|
b292180a86
|
File loading and gradual evaluation
|
2020-07-21 23:30:08 -04:00 |
|
Nathan Braswell
|
9caf220aa1
|
Added print / string stuff, meta and with-meta, and the old add_grammer_rule
|
2020-07-21 22:56:29 -04:00 |
|
Nathan Braswell
|
45af192cee
|
Added in basic math, comparison, and boolean operations
|
2020-07-17 00:00:22 -04:00 |
|
Nathan Braswell
|
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)
|
2020-07-13 00:48:01 -04:00 |
|
Nathan Braswell
|
38bf5edc35
|
implement set!
|
2020-06-30 21:59:11 -04:00 |
|
Nathan Braswell
|
a5f1355b63
|
Added eval, which I think completes the key vau parts - will have to see if I can construct lambda soon
|
2020-06-30 21:17:02 -04:00 |
|
Nathan Braswell
|
9f4dd92834
|
Add vau
|
2020-06-28 23:28:15 -04:00 |
|
Nathan Braswell
|
0a1cf4fb4d
|
Swap core vau/kernel style interpreter
|
2020-06-28 19:17:09 -04:00 |
|
Nathan Braswell
|
2efd3b5474
|
More object syntax
|
2020-05-13 20:58:20 -04:00 |
|
Nathan Braswell
|
722a72579a
|
Spelling
|
2020-05-12 21:30:37 -04:00 |
|
Nathan Braswell
|
bf53d3701f
|
spelling
|
2020-05-12 16:45:52 -04:00 |
|
Nathan Braswell
|
622aee0c75
|
Add fib example to web page
|
2020-05-12 16:36:07 -04:00 |
|
Nathan Braswell
|
c799cf485b
|
Massive updates to the website
|
2020-05-12 16:22:41 -04:00 |
|
Nathan Braswell
|
dac3e41101
|
Pass inputs to grammer callbacks as individual parameters
|
2020-05-12 09:33:33 -04:00 |
|
Nathan Braswell
|
8e296d57c8
|
Add atom syntax
|
2020-05-12 09:19:01 -04:00 |
|
Nathan Braswell
|
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
|
2020-05-12 00:40:36 -04:00 |
|
Nathan Braswell
|
29230404a3
|
Remove just a tad more of bf
|
2020-05-12 00:33:29 -04:00 |
|