Helix Programming System

本站添加: 2026-06-02

[00:00:00]All right, this is a demo of my Helix programming system.

[00:00:04]It allows me to version program state, so I can go forward and backwards while a program is running and actually even branch it. It's just using regular Git.

[00:00:18]Um the way I can do this is by exporting the program state and just storing it as a plain YAML file.

[00:00:27]Um actually the syntax of the language which is just on top of YAML.

[00:00:32]Um so what you're looking at right now is a simple program here. Um this is the main function.

[00:00:41]Um this is Lisp style S-expression syntax if you're familiar with that.

[00:00:47]The first uh element of each of these arrays is just the function and the rest of them is the argument that the function will be called on.

[00:00:57]So this function step is being called on this uh I call them micro VMs.

[00:01:02]Um so we're calling step on the cell VM, so I'm going to go ahead and run this debug wrapper here.

[00:01:12]So we can start stepping through the program. Unfortunately, this does not preserve white space.

[00:01:18]Um and you're going to see on the left here is a Git a log tree that's going to unfold as we step through this.

[00:01:29]But right now you can see that it's uh this is where our program counter is.

[00:01:34]Um the program counter is just the top of this frame stack stack frame.

[00:01:41]And um you can see this uh cell VM here has already started running.

[00:01:48]Uh the status is running and it's already has this frame, so that means it's right ready to execute this point here. So how this whole thing is working is actually a Python script um grabs this entire file and just uses Helix itself, calls the step function from within Helix on this whole file.

[00:02:12]So, this Python basically creates a Helix program that looks like this.

[00:02:20]And it just runs this Helix program and Helix prints out um the new state of this inner VM and then Python just writes it back to the file. So, that's all that's happening um here.

[00:02:34]Okay? And so, I can continue stepping through this.

[00:02:39]And uh something's about to happen. So, uh you can see that we created an error here.

[00:02:48]Um we can go backwards and see that this this is the line that the error that caused the error.

[00:02:55]And Helix actually has first-class errors just in the same way that like some languages can have first-class types or whatever.

[00:03:05]Um so, that just means that they can be represented as data. Um just like everything is cuz how am I supposed to do this uh um procedural versioned machine state.

[00:03:18]Anyway, uh so, we can go back up here and take a look. This is actually a bug in this Python wrapper, but you can see that it created a branch here mistakenly. These are the same.

[00:03:32]I can uh Oh.

[00:03:36]All right. Well, I'm not sure what's happening there, but anyway, uh so, we can see this uh VM state. So, we we want to stop this from happening, so we can go back to before it happened.

[00:03:47]And the issue is that they we didn't call set with enough parameters. So, if I just put total here and we can we'll be setting the variable to total.

[00:03:56]And this should create an automatic branch. Yep, so we've continued running from where we were having fixed that error.

[00:04:04]Um and so and you can see that we've set total to something. So, uh the variable total has appeared down here.

[00:04:14]Um and then we're going to uh set total to a new thing, which is X + Y.

[00:04:20]That's 13.

[00:04:21]And then uh add Y to the total. Okay.

[00:04:26]And then uh it's just some demonstration of being able to access uh inner values just using dot syntax.

[00:04:35]And Healix also has uh includes. So, at the beginning when it when uh the program starts, it looks for this include uh folder and it will include all the stuff in here and this actually even works with the dot so files.

[00:04:54]Um for precompiled binary C++ if I need to put an extension on this.

[00:05:02]Uh I can show you that in a second.

[00:05:04]And so, um as you can see, we already stepped the cell VM twice.

[00:05:12]But it does have uh more happening in its main function. So, this s- uh frame state stack frame, excuse me, uh is pointing here right now.

[00:05:23]Um And so, it's about to execute this and then once we get to the end of um this outer program, we're going to call start, which is basically just the same as continue in a uh typical debugger.

[00:05:41]And that's going to finish off this uh inner VM and as well as the outer VM because it's um has a that's the last step. So, they're they're both finished now.

[00:05:56]Okay?

[00:05:58]And let me see if I can quickly demonstrate the uh library importing feature.

[00:06:07]So, in this case I've actually precompiled this library.

[00:06:13]And if I run Helix on this file it should oop open this uh very simple SFML thing.

[00:06:32]But, this is using these SFML functions have been imported from this SO file.

[00:06:40]All right, that's it. Hopefully, that's given you a taste of some interesting functionality that I'm working on.

[00:06:45]And uh this is all available on GitHub if you want to check it out.

[00:06:50]Thanks.