documentation
helix
documentation | helix | |
---|---|---|
14 | 405 | |
1,006 | 30,156 | |
0.3% | 3.6% | |
4.7 | 9.9 | |
2 months ago | 6 days ago | |
Rust | ||
GNU General Public License v3.0 or later | Mozilla Public 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
helix
-
Multi-cursor code editing: An animated introduction
Nice post. Obligatory Helix plug: For anyone interested in taking this further, there are whole editors designed around multi-cursor editing.
https://helix-editor.com/
- Helix: Post-modern and modal text editor
- Difftastic, a structural diff tool that understands syntax
-
:syntax off (2016)
I could never turn it off completely but I do sometimes use the Acme theme during the day (it's too bright in the evening), which highlights just comments, strings, and errors.
https://github.com/helix-editor/helix/wiki/Themes#acme
- Helix - Front-End Power
-
Lapce
You can use a snippet LSP to work around Helix not having a built-in LSP manager. They're listed in https://github.com/helix-editor/helix/issues/395
- Helix: GUI
-
Memray – A Memory Profiler for Python
I'm probably not the average python programmer.
But I normally just create two terminals (I have a tiling window manager) and in one I open a python file under /tmp/ write my code and execute it in the other terminal.
I would probably use a REPL if it was integrated in my favorite editor ( https://helix-editor.com ).
-
Neovide – a simple, no-nonsense, cross-platform GUI for Neovim
Wow, that's been there a while: https://github.com/helix-editor/helix/commit/35c974c9c49f912...
Wonder how I missed that. I'm getting a re-education in helix today -- thank you! I'll go through `hx --tutor` again before I insert any more feet in my mouth.
-
Zed is now open source
Interesting to see how they are gonna approach integrating plugins/extensions system, because this is likely gonna be one of the major factors affecting adoption and ecosystem growth.
Helix devs, for instance, lean towards a Scheme-like implementation. [1]
[1]: https://github.com/helix-editor/helix/discussions/3806#discu...
What are some alternatives?
package-sets - PureScript packages for Spago and Psc-Package
kakoune - mawww's experiment for a better code editor
haddock-cheatsheet - A documentation-only package exemplifying haddock markup features
lapce - Lightning-fast and Powerful Code Editor written in Rust
saka-key - A keyboard interface to the web
neovim - Vim-fork focused on extensibility and usability
LunarVim - 🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.
micro-editor - A modern and intuitive terminal-based text editor
xi-editor - A modern editor with a backend written in Rust.
copilot.vim - Neovim plugin for GitHub Copilot