documentation
xi-editor
Our great sponsors
documentation | xi-editor | |
---|---|---|
14 | 42 | |
1,002 | 19,807 | |
0.4% | 0.1% | |
4.7 | 2.6 | |
about 2 months ago | about 1 month ago | |
Rust | ||
GNU General Public License v3.0 or later | Apache License 2.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.
documentation
- Currying
-
How do product and record types work in your language?
The example from the PureScript documentation is:
-
PureScript in Production
Filippo: With Haskell knowledge, reading PureScript documentation was enough.
-
Anyone know what is wrong with my Vector3 Traversable instance?
See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error.
- [Help] Not able to import Math module. But able to find purescript-math module under bower_components
-
[Help] Basic argonaut-codecs example
[1 of 1] Compiling Main Error found: in module Main at src/Main.purs:40:35 - 40:39 (line 40, column 35 - line 40, column 39) Could not match type { age :: Maybe Int , name :: String , team :: Maybe String} with type Json while checking that type t0 is at least as general as type Json while checking that expression user has type Json in value declaration main where t0 is an unknown type See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error. [error] Failed to build.)
-
Kind system
I'm trying to get a better grasp on the type system of purescript. One thing I'm struggling to fully understand is how the so-called "kind system" works. The language reference is very brief about it.
-
Elegant fix to this broken intuition, wrt subtract/minus-sign operator syntax, in partial application of infix operators?
purescript uses (_ - 5) for that operator section, which i'm not a total fan of, but it's at least unambiguous; agda would write it as _- 5
-
Helix: a post-modern text editor
The one page you should add to the documentation is "differences from Vim".
For example, https://github.com/purescript/documentation/blob/master/lang... makes picking up PureScript as a Haskell programmer much easier than having to read all of the documentation and do the diff yourself.
-
Coming from Haskell... Starting pains. How do you load your source intro repl?
More info can be found here: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md
xi-editor
-
Zed is now open source
Was confused until I realised I'd confused Zed, with Xi[1] which is also rust based, and which incidentally has a frontend called "Xim"..
Also there's a wiki-editor (like Tomboy[2]) called "Zim"[3].
[1] https://github.com/xi-editor/xi-editor
-
Text Editor: Data Structures
Project site linked from the GitHub[0] is https://xi-editor.io. Linked doc is a mirror of this[1], which was afaik originally written by Raph Linus.
[0]: https://github.com/xi-editor/xi-editor
[1]: https://xi-editor.io/docs/rope_science_01.html
-
The Absolute Minimum Every Software Developer Must Know About Unicode in 2023
> thing that gets deleted when you hit backspace
Is there a canonical source for this part, by the way? Xi copied the logic from Android[1] (as per the issue you linked downthread), and I vaguely remember that CLDR had something to say about this too, but I don’t know if there’s any sort of consensus here that’s actually written down anywhere.
[1] https://github.com/xi-editor/xi-editor/pull/837
- Google abandons work to move Assistant smart speakers to Fuchsia
-
What's is a rusty way to implement sharable trees?
This is pretty much how copy-on-write ropes work. Check out xi-rope, Ropey or crop, they're all built using B-trees and implement the behavior you described.
-
Helix (a Kakoune / Neovim inspired editor) 23.03
Helix is awesome, though once Lapce (spiritual successor to Xi editor) gets the Helix/Kakoune editing model, I may have to jump ship
-
Editors written in rust
Home (xi-editor.io)
-
How to share resources between instances of program?
Maybe take a look at the Xi editor (https://xi-editor.io/) (written in rust I think) that uses a client server architecture.
-
Suitable Rust GUI Library for Code Editor?
Have a look at what Lapce uses. The editor is coming along nicely, and iirc, they use the Xi editor as a plug-in.
-
CRDTs make multiplayer text editing part of Zed's DNA
Raph Levien posted a retrospective about using CRDT’s for collaborative editing in xi-editor here [1]. His conclusion is
“I come to the conclusion that the CRDT is not pulling its (considerable) weight. When I think about a future evolution of xi-editor, I see a much brighter future with a simpler, largely synchronous model, that still of course has enough revision tracking to get good results with asynchronous peers like the language server.”
[1]https://github.com/xi-editor/xi-editor/issues/1187#issuecomm...
What are some alternatives?
helix - A post-modern modal text editor.
package-sets - PureScript packages for Spago and Psc-Package
alacritty - A cross-platform, OpenGL terminal emulator.
haddock-cheatsheet - A documentation-only package exemplifying haddock markup features
iota - A terminal-based text editor written in Rust
saka-key - A keyboard interface to the web
lapce - Lightning-fast and Powerful Code Editor written in Rust
LunarVim - 🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.
Servo - Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
kakoune - mawww's experiment for a better code editor
kakoune.el - A very simple simulation of the kakoune editor inside of emacs.