rhombus-prototype
Graal
rhombus-prototype | Graal | |
---|---|---|
24 | 156 | |
299 | 19,807 | |
0.7% | 0.4% | |
9.7 | 10.0 | |
7 days ago | about 19 hours ago | |
Racket | Java | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
rhombus-prototype
-
Why does Racket have Type-Maps instead of Just a Single Map?
See related post. The dot operator in Rhombus will allow a function call like expr.map(…) to be statically specialized to Some.map(expr, …) provided that expr carries sufficient static information. This isn’t possible in Racket given the lack of static information in general.
- State of Rhombus
-
Rhombus-in-the-rough: A 2D RPG implemented in the Rhombus Racket dialect
If you want to know more the best starting point is https://github.com/racket/rhombus-prototype They have discussion on the GitHub repo
-
Multiple namespaces?
Racket has the concept of binding space built on top of the scope-set model. The experiment language Rhombus makes heavy use of this for contextual bindings. Note that bindings are used for language extensions among other purposes in Racket.
-
Generalized and first-class macros: what is this called?
The notion of “tail sequence” in general doesn’t exist in Lisp’s macro-expansion model, since Lisp macros are strictly local transformations. A “tail sequence” allows a macro to control the expansion of the whole context, which requires wrapping the whole context in another macro in Lisp’s model. This is what leads to proposals like #%local-definition in Racket. However, this notion does exist in the enforestation model, which is what the experiment language Rhombus is based on, although it’s probably not quite a Lisp ;)
- Lang Rhombus
-
Anyone else concerned that Rhombus/Racket2 is not a lisp based language?
Rhombus is: - just another #lang. It is built on top of the existing Racket VM and written in Racket. It interoperates with existing Racket code and uses the Racket expander. - macro extendable. Hygiene and all of the good stuff work. - being developed in the open. We meet biweekly over Zoom, and discussions also occur in GitHub Discussions.
- Anyone aware of Racket projects that are in need of contributors? I am experienced in PL design and have two months worth of spare time. I have never contributed to an opensource project before besides taureg.
-
Racket->Rhombus: To Sexp or not to Sexp?
Querying Git references for rhombus-prototype at https://github.com/racket/rhombus-prototype.git Using cached16617263581661726358301 for https://github.com/racket/rhombus-prototype.git DrRacket install: version mismatch for dependency for package: https://github.com/racket/rhombus-prototype.git mismatch packages: base (have 8.6, need 8.6.0.9)
Instead of hoping, you might consider reading the discussions to see what the developers are actually saying. Just a thought.
Graal
-
Java 23: The New Features Are Officially Announced
Contrary to what vocal Kotlin advocates might believe, Kotlin only matters on Android, and that is thanks to Google pushing it no matter what.
https://spectrum.ieee.org/the-top-programming-languages-2023
https://snyk.io/reports/jvm-ecosystem-report-2021/
And even so, they had to conceed Android and Kotlin on their own, without the Java ecosystem aren't really much useful, thus ART is now updatable via Play Store, and currently supports OpenJDK 17 LTS on Android 12 and later devices.
As for your question regarding numbers, mostly Java 74.6%, C++ 13.7%, on the OpenJDK, other JVM implementations differ, e.g. GraalVM is mostly Java 91.8%, C 3.6%.
https://github.com/openjdk/jdk
https://github.com/oracle/graal
Two examples from many others, https://en.wikipedia.org/wiki/List_of_Java_virtual_machines
- FLaNK Stack 05 Feb 2024
-
Apple releases Pkl – onfiguration as code language
Pkl was built using the GraalVM Truffle framework. So it supports runtime compilation using Futurama 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.
-
Live Objects All the Way Down: Removing the Barriers Between Apps and VMs
That's pretty interesting. It's not as aggressive as Bee sounds, but the Espresso JVM is somewhat similar in concept. It's a full blown JVM written in Java with all the mod cons, which can either be compiled ahead of time down to memory-efficient native code giving something similar to a JVM written in C++, or run itself as a Java application on top of another JVM. In the latter mode it obviously doesn't achieve top-tier performance, but the advantage is you can easily hack on it using all the regular Java tools, including hotswapping using the debugger.
When run like this, the bytecode interpreter, runtime system and JIT compiler are all regular Java that can be debugged, edited, explored in the IDE, recompiled quickly and so on. Only the GC is provided by the host system. If you compile it to native code, the GC is also written in Java (with some special conventions to allow for convenient direct memory access).
What's most interesting is that Espresso isn't a direct translation of what a classical C++ VM would look like. It's built on the Truffle framework, so the code is extremely high level compared to traditional VM code. Details like how exactly transitions between the interpreter/compiled code happen, how you communicate pointer maps to the GC and so on are all abstracted away. You don't even have to invoke the JIT compiler manually, that's done for you too. The only code Espresso really needs is that which defines the semantics of the Java bytecode language and associated tools like the JDWP debugger protocol.
https://github.com/oracle/graal/tree/master/espresso
This design makes it easy to experiment with new VM features that would be too difficult or expensive to implement otherwise. For example it implements full hotswap capability that lets you arbitrarily redefine code and data on the fly. Espresso can also fully self-host recursively without limit, meaning you can achieve something like what's described in the paper by running Espresso on top of Espresso.
-
Crash report and loading time
I'm also using GraalVM if that's of any help.
-
Quarkus 3.4 - Container-first Java Stack: Install with OpenJDK 21 and Create REST API
Quarkus is one of Java frameworks for microservices development and cloud-native deployment. It is developed as container-first stack and working with GraalVM and HotSpot virtual machines (VM).
-
Level-up your Java Debugging Skills with on-demand Debugging
Apologies, I didn't mean to imply DCEVM went poof, just that I was sad it didn't make it into OpenJDK so one need not do JDK silliness between the production one and the "debugging one" since my experience is that's an absolutely stellar way to produce Heisenbugs
And I'll be straight: Graal scares me 'cause Oracle but I just checked and it looks to the casual observer that it's straight-up GPLv2 now so maybe my fears need revisiting: https://github.com/oracle/graal/blob/vm-23.1.0/LICENSE
-
Rust vs Go: A Hands-On Comparison
> to be compiled to a single executable is a strength that Java does not have
I think this is very outdated claim: https://www.graalvm.org/
- Leveraging Rust in our high-performance Java database
-
Java 21 makes me like Java again
https://github.com/oracle/graal/issues/7182
What are some alternatives?
swi-mqtt-pack - MQTT pack for SWI-Prolog
Liberica JDK - Free and 100% open source Progressive Java Runtime for modern Java™ deployments supported by a leading OpenJDK contributor
SmalltalkVimMode - Vim Mode for Playground, System Browser, Debugger in Pharo.
Adopt Open JDK - Eclipse Temurin™ build scripts - common across all releases/versions
gerbil - Gerbil Scheme
awesome-wasm-runtimes - A list of webassemby runtimes
sham - A DSL for runtime code generation in racket
SAP Machine - An OpenJDK release maintained and supported by SAP
racket-mode - Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
maven-jpackage-template - Sample project illustrating building nice, small cross-platform JavaFX or Swing desktop apps with native installers while still using the standard Maven dependency system.
conjure - Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
wasmer - 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten