immer
joker
Our great sponsors
immer | joker | |
---|---|---|
25 | 18 | |
2,411 | 1,581 | |
- | - | |
6.7 | 7.3 | |
3 days ago | 22 days ago | |
C++ | Go | |
Boost Software License 1.0 | Eclipse Public License 1.0 |
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.
immer
-
Text Editor Data Structures: Rethinking Undo
I've been working on an editor (not text) in C++ and pretty early got into undo/redo. I went down the route of doIt/undoIt for commands but that quickly got old. There was both the extra work needed to implement undo separately for every operation, but also the nagging feeling that the undo operation for some operation wasn't implemented correctly.
In the end, I switched to representing the entire document state using persistent data structures (using the immer library). This vastly simplified things and implementing undo/redo becomes absolutely trivial when using persistent data structures. It's probably not something that is suitable for all domains, but worth checking out.
-
Show HN: A hash array-mapped trie implementation in C
How does this compare to https://github.com/arximboldi/immer (other than the C/C++ difference)?
Also, it's my understanding that, in practice, persistent data structures require a garbage collector in order to handle deallocation when used in a general-purpose way. How does your implementation handle that?
-
Text Editor Data Structures
You might be interested in ewig and immer by Juan Pedro Bolivar Puente:
https://github.com/arximboldi/ewig
https://github.com/arximboldi/immer
See the author instantly opening a ~1GB text file with async loading, paging through, copying/pasting, and undoing/redoing in their prototype “ewig” text editor about 27 minutes into their talk here:
https://m.youtube.com/watch?v=sPhpelUfu8Q
It’s backed by a “vector of vectors” data structure called a relaxed radix balanced tree:
https://infoscience.epfl.ch/record/169879/files/RMTrees.pdf
That original paper has seen lots of attention and attempts at performance improvements, such as:
-
How to synchronize access to application data in multithreaded asio?
The C++ immer library: https://github.com/arximboldi/immer
-
Purely Functional Data Structure by Chris Okasaki [pdf]
For C++ check this one out - https://github.com/arximboldi/immer
-
Introducing B++ Trees, a C++ B+ Tree library
Yeah I agree that I should link that wikipedia page in the docs, I'll do that as soon as I get a chance. immer (https://github.com/arximboldi/immer) also links that page in its docs, for the exact same reason I'm sure. Interestingly, there is a lot of overlap between persistent data structures in the functional programming sense and persistent data structures in the persisted-to-disk sense because persistent data structures in the FP sense are one of the best ways to guarantee atomic updates and safe failure recovery in a persisted-to-disk system! Btrfs and ZFS, as well as many databases, are at their core basically just copy-on-write B+ trees.
-
TypeScript Without Side Effects
I have! I think it's related to the C++ immer library which I used several years ago in Vortex. It's kinda like the previous generation of ValueScript. 🍻
- immer: Postmodern immutable and persistent data structures for C++
-
The Jank Language: LLVM Hosted Clojure
jank is currently using immer for persistent data structures: https://github.com/arximboldi/immer
Very much inspired by Clojure, with a lot of time put into benchmarking and profiling.
It's too early for me to share numbers on jank vs Clojure itself, especially due to the rewrite, but my earlier jank versions were definitely competitive with AOT compiled Clojure jars.
-
Image undo/redo implementation
An alternate method: use an immutable vector from immer to store the pixels. This works like git. Instead of modifying the image in place, immer will give you a new vector with the changes made. The immutable vector is implemented to make this efficient.
joker
-
Are there smaller Clojure-esque Lisps available ?
There’s also joker. Haven’t used it but I’ve known about it for a while. Bills itself as a Clojure-like built with Go.
-
Looking for programming languages created with Go
There is also joker. A Clojure interpreter written in Go.
- Lisp in 99 lines of C and how to write one yourself [pdf]
-
ClojureDart is live!
See Joker perhaps: https://github.com/candid82/joker
- Coast on Clojure
-
Show HN: Gfun – Lisp 4 Go
Was there something about Joker [0] that you didn't find suitable?
- Which library/project do you wish was ported to golang?
- Clojure – Differences with Other Lisps
-
Clojure, but without the JVM?
Joker: implemented in Go, emphasizes fast startup and readable error messages. The reader conditional is :joker.
Looks like you want Joker: https://github.com/candid82/joker
What are some alternatives?
babashka - Native, fast starting Clojure interpreter for scripting
janet - A dynamic language and bytecode vm
graalvm-clojure - This project contains a set of "hello world" projects to verify which Clojure libraries do actually compile and produce native images under GraalVM.
planck - Stand-alone ClojureScript REPL
clj-kondo - Static analyzer and linter for Clojure code that sparks joy
Carp - A statically typed lisp, without a GC, for real-time applications.
lumo - Fast, cross-platform, standalone ClojureScript environment
rich4clojure - Practice Clojure using Interactive Programming in your editor
ewig - The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture
awesome-clojure-likes - Curated list of Clojure-like programming languages.