merlin
hoogle
Our great sponsors
merlin | hoogle | |
---|---|---|
12 | 60 | |
1,543 | 720 | |
0.4% | - | |
8.9 | 6.3 | |
7 days ago | 3 months ago | |
OCaml | Haskell | |
MIT License | BSD 3-clause "New" or "Revised" 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.
merlin
- Merlin: Context sensitive completion for OCaml in Vim and Emacs
-
Hacker News top posts: May 7, 2022
Merlin: Context sensitive completion for OCaml in Vim and Emacs\ (0 comments)
-
Hoogle for Rust?
Instead of searching functions based on their type structure (like Hoogle), you could search for functions that "consume"/"produce" values of given types (like OCaml's Merlin). I think Rust already computes variance of type constructors, so such a tool just would have to obtain this information.
-
Dot completion
However, after posting this question I stumbled upon this Github issue where they say it isn't supposed to work out of the box and you're supposed to bind a key to it by editing your .emacs file. Turns out the default .emacs file binds auto-complete to "backtab" which means Shift+Tab but that didn't work. I did eventually discover that I can get some kind of completion by binding backtab to completion-at-point like this:
-
Advice/best practice/arhitecture pattern for building language with LSP in mind?
Self-advertising: I partcipated to the writing of Merlin: A Language Server for OCaml (Experience Report), which explains the overall design of Merlin, a language server for OCaml. A key idea of Merlin are that classic lexing-parsing-typing pipelines can easily be adapted to be incremental for a Language Server, especially when they are using immutable data structures.
- merlin: Context sensitive completion for OCaml in Vim and Emacs
hoogle
- The Hunt for the Missing Data Type
- SQL Join Flavors
-
What Is Dimensional Analysis?
Dimensions behave somewhat like a "type system" for math. These dimensional-analysis tricks act like the trick you see in Haskell sometimes, where you can easily guess an implementation of an expression once you know it's type (or e.g. search by type signature https://hoogle.haskell.org/ )
-
Do you miss dot-completion when coding in Haskell?
Haskell Spotlight makes vscode a client for hoogle. It isn't too different than jumping into your browser and type https://hoogle.haskell.org/. The main advantage is that you have everything in one place
-
dear ZVON.org owner, please take your haskell references down
https://hackage.haskell.org/package/base and https://hoogle.haskell.org are automatically up to date and better searchable than almost any other reference of any other programming language. maintaining a redundant reference that needs to be kept up to date manually is simply stupid.
-
Java 20 Is Out
Ideally like this: https://zio.dev/reference/#concurrency
Or this: https://hoogle.haskell.org/?hoogle=fork
-
Noob Question about Symbols after Class propertys.
And yeah I get it, it's hard to Google for punctuation operators in languages because it doesn't give useful search results (but not impossible, for example, Haskell has a search engine for documentation that handles symbols/punctuation).
- uh, got it. thanks Bing
-
Haskell IDE setup
{ "customLocalFormatters.formatters": [ { "command": "make format", "languages": ["haskell"] } ], "emeraldwalk.runonsave": { "commands": [ { "match": "*.hs", "isAsync": true, "cmd": "make retag retag_file=${file}" } ] }, "ghcid.command": "make ghcid", "goto-documentation.customDocs": { "hs": "https://hoogle.haskell.org/?hoogle=${query}" } }
-
Idris: A Language for Type-Driven Development
You had a look at Hoogle?
https://hoogle.haskell.org/
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).
What are some alternatives?
ocamlformat - Auto-formatter for OCaml code
castle - A tool to manage shared cabal-install sandboxes.
Mosh - Mobile Shell
ghci-ng
ocaml-lsp - OCaml Language Server Protocol implementation
ihaskell - A Haskell kernel for the Jupyter project.
rust-prolog - Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
hakyll - A static website compiler library in Haskell
TatSu - 竜 TatSu generates Python parsers from grammars in a variation of EBNF
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
bisect_ppx - Code coverage for OCaml and ReScript
elm-make