Comments (3)
Indeed; merlin turned out to be a little heavy-weight for that purpose (although enabling it could give quite a few other benefits, like inline typing of (sub-)expressions!) ; but we are considering bringing in ocp-index
, which is much lighter-weight. The big difference is that ocp-index
will only search the available libraries, and not include values defined in the current module, or even locally bound (let..in
) identifiers; but that's where completion is most useful.
Handling the UI widgets is another difficult question though...
from learn-ocaml.
Side-note: ocaml-jupyter has support for Merlin, but since it's just a cilent for a fully server-side solution, they just had to implement a proxy to the Merlin server. Including the full Merlin in Javascript is another story.
On the UI side, the latest version of Ace (which is now the one used) seems to have fairly decent support for completion drop-downs, etc.
from learn-ocaml.
I think it has been experimented at a time using Merlin, for the first session of the MOOC. If I recall correctly, Merlin was a bit heavy at that time to be embedded into the client, and Ace (the JS editor used) not ready for such auto-completion.
But actually this is a feature we would like to implement in the future.
from learn-ocaml.
Related Issues (20)
- Question: open several issues in teaching-feedback as "FAQ"?
- Task: Reduce the CI/CD redundancy
- Bug: file `translations/fr.po.header` is missing HOT 1
- Bug: potential dead CSS code in `learnocaml_student_view.css`
- Bug: the Closed/Open state is buggy/confusing HOT 1
- Feature: document https://learn-ocaml.readthedocs.io/en/master/
- Bug: List of exercises does not display correctly on smartphone
- Feature: deploy static artifacts from master in GitHub Pages HOT 1
- Bug: does not install when following instructions HOT 5
- Bug: learn-ocaml master can raise `lsof: illegal option character: Q`
- Bug: learn-ocaml build serve --replace doesn't recompile the cmo as expected HOT 2
- Feature: menhir support in exercises
- Question: what is the 1.0 alternative to private grader helper modules a la depend.txt? HOT 5
- Feature: add a .mailmap file
- Feature: Add direct link to filters (using anchors or so) in the exercises page
- Note: we may want to update the opam-switch command to build learn-ocaml dependencies HOT 1
- Feature: Configure dependabot to auto-open PRs to update docker/opam dependencies?
- Feature: new option à la `--replace` to leverage this existing feature in a `docker restart` context HOT 8
- Bug: the release script unexpectedly runs tar
- Highlight and write something on "Replace this string with your implementation."
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from learn-ocaml.