Hadoop

 While I work on the Python bridge code I am kind-of thinking I am getting a bit too distracted from the original goal of the Egel language, which was to facilitate data-center programming.

At the same time, it doesn't seem worthwhile to reinvent the wheel in this. Apache Hadoop has a ton of experience behind it so I'll need to look at whether I can lift that with Egel bindings after the Python bridge. Or maybe Kubernetes integration?

Futamura Projections

 I was discussing Futamura projections and made two observations.

1. Most of it remains true when you consider that partial evaluation doesn't have a lot to do with it all. Just take an interpreter and input program, combine them, and you already have a 'compiler.' The whole partial evaluation stuff is more the icing on the cake which makes you hope you can end up with an efficient solution.
2. Regarding the efficient solution, it's likely the case that partial evaluation in the extreme is an undecidable or NP problem. As an intuition, just take a sat solver as an interpreter. Then Futarama predicts that a sat solver plus a problem statement would give an efficient solver for that problem class,  and presto, your specializer proved P versus NP. Doesn't mean you cannot try this approach heuristically, but does imply that you have less than no guarantees at arriving at an efficient solution.

My $.02.

Initial Python Bridge Results

 Okay, great.  After refactoring I have some initial bridge results. 

marco@Marcos-Air build % egel ../test/test0.eg

Python initialized

egel (System::none) bridged (System::none) eq (System::true)

egel (System::false) bridged (System::false) eq (System::true)

egel (System::true) bridged (System::true) eq (System::true)

egel (7) bridged (7) eq (System::true)

egel (3.140000000000000) bridged (3.140000104904175) eq (System::false)

egel (a) bridged (a) eq (System::false)

egel (text) bridged (text) eq (System::true)

Python finalized

UXN

 A neat of the grid system, uxn. Originally, Egel was intended at these kind of systems, but the binary is about 1Mb on my system. Alas.

Categorical Nomenclature

 Corbin@libera is working on a language and made some observations regarding nomenclature. This is a very handy list, I could steal this once.