RE: More on partial evaluation - How does partial evaluation work and why is it important?
a compiler compiler... I think the name needs some work! :P
So developers will be able to create their own language to work with Tauchain. Fixed point logic is built into the base language of TML, which gives developers more flexibility in the languages they are building on top of tauchain? And Tauchain will be a database type similar to contemporary blockchains but will be able to perform differently because of the FPL? Or is it just that the FPL enables new types of languages which would have been too difficult to write in the past?
It's definitely above my head, but i'd like to understand more. Not sure i could really understand it without 8 more years of school!
Will definitely be watching this project closely though, and maybe as i read more about it i'll start to grasp more of the pieces. Thanks for the updates.
High Level Compiler
A high level compiler is a compiler for a high level programming language. A compiler compiler is what you use to create compilers and new languages.
Another name for compiler-compiler is a parser generator. The name is what it does, it compiles compilers. Fixed point logic if you look at datalog it shows some of it's capabilities but TML goes beyond that, has recursion, and it seems fixed point logic is used for the knowledge engineering and KRR portion.