211–220 of 598 posts
Earlier quoted context omitted.
Really glad it wasn't just me. Genuinely thought someone was trying to make a joke.
Same - it doesn't help that I read Futamura as Futurama the first 3 times.
Even now the OG comment says “Fuamura” but the quote in the GP comment has the original “Futurama” written in it.
Pkl was built using the GraalVM Truffle framework. So it supports runtime compilation using Futamura Projections. We have been working with Apple on this for a while, and I am quite happy that we can finally read the sources! https://github.com/oracle/graal/tree/master/truffle Disclaimer: graalvm dev here. Edit: typo
> ...GraalVM Truffle framework... Futurama Projections... I know it's partly on me for not knowing the domain, but I honestly suspected somebody is trying to make fun of me with some concentrated technobabble. Especially since I wouldn't expect the topic (configuration languages) to require complex mathematical machinery to work with. Now I have something interesting to dig into.
Earlier quoted context omitted.
As I understand it: GraalVM is an alternate JDK that can, among other things, do ahead-of-time compilation for Java. Truffle is a framework for building languages, that sits on top of Graal. Futamura Projections are a particularly interesting use case for compile-time partial evaluation. With partial evaluation you have static (known at compile time) arguments to your function, and dynamic (known at runtime) argument…
That all sounds cool, but is any of that especially useful for a configuration language?
Pickle in Python https://docs.python.org/3/library/pickle.html
Tcl pronounced tickle. https://www.tcl.tk/
PCL, was it ever pronounced pickle? https://en.m.wikipedia.org/wiki/Printer_Command_Language
Earlier quoted context omitted.
> ...GraalVM Truffle framework... Futurama Projections... I know it's partly on me for not knowing the domain, but I honestly suspected somebody is trying to make fun of me with some concentrated technobabble. Especially since I wouldn't expect the topic (configuration languages) to require complex mathematical machinery to work with. Now I have something interesting to dig into.
> but I honestly suspected somebody is trying to make fun of me with some concentrated technobabble Let me tell about a revolutionary device called a Turbo encabulator.
Pkl was built using the GraalVM Truffle framework. So it supports runtime compilation using Futamura Projections. We have been working with Apple on this for a while, and I am quite happy that we can finally read the sources! https://github.com/oracle/graal/tree/master/truffle Disclaimer: graalvm dev here. Edit: typo
Not completely related to the OP, but is Truffle going to be upstreamed as part of Project Galahad or will it remain as a library maintained by Oracle Labs? I ask cause the Project Galahad page on openjdk.org is a bit sparse on details.
Some background on the recent changes there: https://medium.com/graalvm/truffle-unchained-13887b77b62c