rhombus-prototype
swi-mqtt-pack
rhombus-prototype | swi-mqtt-pack | |
---|---|---|
24 | 2 | |
299 | 5 | |
0.7% | - | |
9.7 | 2.2 | |
1 day ago | 11 months ago | |
Racket | C | |
GNU General Public License v3.0 or later | MIT License |
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.
swi-mqtt-pack
-
Ask HN: What are some interesting examples of Prolog?
Not a lot of code but a somewhat different use of Prolog than you're likely to see elsewhere. I used my fork of a MQTT library for Prolog (https://github.com/sprior/swi-mqtt-pack) to implement the central controller for my home automation system. The system responds to MQTT events and then coordinates the appropriate action by sending MQTT messages to other home services. Recent versions of SWI-Prolog also support redis and I've started using that to store device configuration and state between services. The MQTT version is actually a reimplementation of my previous version which used CORBA for inter-service communication.
I don't distribute the home automation code however it's pretty specific to my house. The MQTT library provides some building block examples.
-
Ask HN: Why are you programming your hobby projects in a niche language?
I forked an abandoned implementation of MQTT for SWI-Prolog by olsky, my fork is at https://github.com/sprior/swi-mqtt-pack
Look in the examples directory for some basic pub/sub code.
The Prolog code that runs in my house is pretty specific to my house so I figured the best way to open source things would be as a framework more than an implementation. You can contact me via issues on the github repo and prod me into adding some more advanced examples - I've learned a lot since my last commit on the repo.
I've started using the Redis functionality recently added to SWI-Prolog, so my code now responds to MQTT messages and uses state queried from Redis to help determine what actions (implemented by sent MQTT messages) to send out. The beauty is that since I don't do anything that blocks significantly in the Prolog code it is now single threaded - even the MQTT listening. It still responds quickly enough and is MUCH easier to deal with than multi-threaded.
An example of what I'm doing is I built a bunch of ESP8266/EESP32 display devices that control neopixels/OLED/LCD displays. When one of those devices boots it sends a MQTT message announcing its location and capabilities (display type, bit depth, dimensions). Prolog receives that message and then stores that info in Redis. So that device info is all dynamic.
So then later Prolog might get a notification that something is in the driveway. All by MQTT it requests an image from the appropriate camera, then sends the image off to Sighthound and deepstack image recognition servers. The Sighthound front end sends a message back to Prolog with a description of any vehicle spotted which Prolog then matches against known vehicles. If it determines for example that a Fedex truck is in the driveway then Prolog sends notifications around the house - it queries all the display devices from Redis and then based on the capabilities of each devices creates a JSON formatted MQTT message to send to each announcing the Fedex truck. It then also sends a MQTT message to some Java code that connects with Google and sends a push message to an Android app I wrote that displays the alert on my phone and watch.
Before I switched to MQTT I was using Prolog with CORBA as the message transport and back then I also had Visual Basic and MS Agent as part of the system. One night I got bored and a little while later had 3 Peedy the Parrot characters singing Row Your Boat in a round across three different computers coordinated by Prolog. It was actually only a page worth of custom Prolog code for that.
What are some alternatives?
SmalltalkVimMode - Vim Mode for Playground, System Browser, Debugger in Pharo.
ChessPositionRanking - Software suite for ranking chess positions and accurately estimating the number of legal chess positions
gerbil - Gerbil Scheme
sham - A DSL for runtime code generation in racket
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
racket-mode - Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
conjure - Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
brainfuck-pl - A brainf*ck interpreter in Prolog
inspector - Turn Clojure specs into clj-kondo type annotations
the-constitution-of-japan