"1:30pm. I am done with breakfast and am reading vol 5 of GGO in a di…

…stracted fashion. I am really anxious about typechecking and am thinking about that on the side.

1:40pm. ...

1:45pm. I do not often feel this emotion while programming. It is fear.

1:50pm. My heart is telling me that starting off with unification is too much for me right now. I just have so much to do that I can't really handle filling in the gaps.

2:05pm. What I am really leaning strongly towards now is to do the initial typechecker via bidirectional typechecking rather than unification. I think I should just leave unification as the very last thing.

I can do the top down without automating inference as much as possible.

That will allow me do deal with all the difficulties apart from inference.

Yeah, this makes the most sense.

I should do a more primitive, but still complete type system for Spiral first before I move to the prepass and the rest.

That will give me a complete language. And then I can work on slimming it down.

2:10pm. Let me go to bed for a while. I need to dwell on this idea.

Right now it feels like my goal is really getting closer. The strain of full type inference is quite high, but now as I imagine all the phases of Spiral, they are starting to come into focus. If I can compromise just a little on typechecking, things will become a lot easier.

2:20pm. I'll start with typechecking and then figure out how to shave yaks from there.

Ok, let me charge up for this. I'll step away from the screen from a while.

Right now I feel quite scared, but I will gather my determination. Right now the weight of the responsibility feels very heavy, but just a single step forward and I will make this my power.

If I can do this, all the pieces will snap into place and at that point v0.2 will be done. I think I can do this by the end of next month. I need to visualize this goal very strongly and make up my mind to run after it.

Before you can climb the mountain, you must first imagine climbing the mountain."

The Spiral Language v0.2/Script1.fsx

@@ -1 +1 @@
-
+