Hello folks,
To create a gnome-shell extension I started writing GJS bindings for PureScript. I wrote enough FFI to implement simple Gtk4 applications and Clutter widgets, and it seems like the rest of the API could be generated from the GIR description. You can find the project here: purescript-gjs.
I understand that using compiled JavaScript is not good for review purpose, but static types are really useful. Here is an example generated file from my (first) extension: extension.js.
Anyway, it seems like PureScript is working really well for GJS. Please let me know if you are interested, I’d be happy to add you to the project.
Cheers,
-Tristan
