IDE for OCaml language - ide

Is there any trusted OCaml IDE other than Camelia ?
I would prefer an eclipse based IDE if existed.

Edit: a decade later (2022), VS Code OCaml Platform is probably the best option.
Editors
• Emacs
◦ ocaml-mode from the standard distribution
◦ alternative tuareg-mode https://forge.ocamlcore.org/projects/tuareg/
− cheat-sheet: http://www.ocamlpro.com/files/tuareg-mode.pdf
◦ camldebug intergration with debugger
◦ type feedback with C-c C-t key shortcut, needs .annot files
• Vim
◦ OMLet plugin
http://www.lix.polytechnique.fr/~dbaelde/productions/omlet.html
◦ For type lookup: either https://github.com/avsm/ocaml-annot
− or http://www.vim.org/scripts/script.php?script_id=2025
− also? http://www.vim.org/scripts/script.php?script_id=1197
• Eclipse
◦ OCaml Development Tools http://ocamldt.free.fr/
◦ an old plugin OcaIDE http://www.algo-prog.info/ocaide/
• TypeRex http://www.typerex.org/
◦ currently mostly as typerex-mode for Emacs but integration with
other editors will become better
◦ Auto-completion of identifiers (experimental)
◦ Browsing of identifiers: show type and comment, go to definition
◦ local and whole-program refactoring: renaming identifiers and compilation units, open elimination
• Some dedicated editors
◦ OCamlEditor http://ocamleditor.forge.ocamlcore.org/
◦ ocamlbrowser inspects libraries and programs
− browsing contents of modules
− search by name and by type
− basic editing, with syntax highlighting
◦ Cameleon http://home.gna.org/cameleon/ (older)
◦ Camelia http://camelia.sourceforge.net/ (even older)
NEW: editor OCaml-top, with syntax highlighting, indentation, type display, work well on all systems.
NEW: Merlin, similar to TypeRex but works better with work-in-progress files, has front-ends to Vim and Emacs currently.

VSCode with ReasonML / OCaml plugin:
Install the VSCode plugin/extension with:
Jetbrains / IntellijIDEA ultimate:
With Jetbrains, install the plugin here:
You get intelli-sense / auto-complete with both editors using these plugins.

Maybe you can check this topic: Looking for OCaml IDE
For eclipse based IDE you have OcaIDE

Related

Can I use the Telosys wizard without installing Eclipse?

I am trying to learn telosys. The eclipse demo seems great.
However, I tried to install the plugin for VSCode, and it did not add any option/menu item anywhere in the VSCode editor.
The eclipse demo shows a great wizard based interface. Is there any way to get that interface without having to install eclipse.
Also, in case it is not possible, which package of eclipse do I need to install to optimally use telosys? I wanted to try out the python & angular bundles of telosys.
Yes indeed, the Telosys VS Code plugin provides only syntax coloration for Telosys files edition (".entity" files for example). Thus there's no particular changes in the VSCode menu.
VSCode is just one code editor (among others) that you can use with Telosys-CLI. The editors extensions are just provided to be more confortable when you're editing Telosys files. All the code generation is supposed to be launch from the command line in Telosys-CLI.
If you want a fully integrated tool, Eclipse + Telosys plugin is the best solution. Telosys Eclipse plugin is installable with all Eclipse versions, so you can choose one of these Eclipse packages :
https://www.eclipse.org/downloads/packages/
for example "Eclipse IDE for Java Developers" and use "Eclipse Marketplace" to install :
Telosys plugin
https://marketplace.eclipse.org/content/telosys-code-generator-java-javascript-python-nodejs-php-c-javaee-spring-jax-rs-vuejs
Python plugin
https://marketplace.eclipse.org/content/pydev-python-ide-eclipse

Multilingual project using JetBrains IntelliJ IDEA or other tools

Trying to start multilingual project where Java, C & C++ will be used mixed.
With NetBeans I could have all the necessary plugins at ones. Trying to figure out how and which JetBrains tools I could use.
Any help will be gratefully appreciated.
P.S. I am having a license for the full stack of JetBrains tools.
You'll be using Jetbrains IntelliJ and CLion side by side since they are more specialize in that languages.
Also you can use IntelliJ alone and use some plugins todo works on other language.
As of now, I'm doing both frontend(Vuejs) and backend(Django) on a daily basis, and I use both Webstorm and PyCharm in this type of development.

What editors support "Inline local variable" refactoring for Dart?

According to http://news.dartlang.org/2012/07/improvements-to-debugger-and-new.html, Dart Editor had an "Inline local variable" refactoring. Since Dart Editor is now unsupported, I'd like to ask what current editors offer it.
I looked at the Dart plugin for Intellij Community Edition and did not find the refactoring there.
WebStorm 11 and IntelliJ IDEA 15 + Dart plugin have this refactoring.

Difference between WebStorm and PHPStorm

I'm choosing an IDE for web development and I would like to know what the differences between WebStorm and PHPStorm are.
I couldn't find any major points on JetBrains' website and even Google didn't help that much.
All I know now is that PHPStorm doesn't support JS like WebStorm, but is able to due to plugins. Is this the only difference?
I couldn't find any major points on JetBrains' website and even Google didn't help that much.
You should train your search-fu twice as harder.
FROM: http://www.jetbrains.com/phpstorm/
NOTE: PhpStorm includes all the functionality of WebStorm (HTML/CSS Editor, JavaScript Editor) and adds full-fledged support for PHP and Databases/SQL.
Their forum also has quite few answers for such question.
Basically: PhpStorm = WebStorm + PHP + Database support
WebStorm comes with certain (mainly) JavaScript oriented plugins bundled by default while they need to be installed manually in PhpStorm (if necessary).
At the same time: plugins that require PHP support would not be able to install in WebStorm (for obvious reasons).
P.S.
Since WebStorm has different release cycle than PhpStorm, it can have new JS/CSS/HTML oriented features faster than PhpStorm (it's all about platform builds used).
For example: latest stable PhpStorm is v7.1.4 while WebStorm is already on v8.x. But, PhpStorm v8 will be released in approximately 1 month (accordingly to their road map), which means that stable version of PhpStorm will include some of the features that will only be available in WebStorm v9 (quite few months from now, lets say 2-3-5) -- if using/comparing stable versions ONLY.
UPDATE (2016-12-13):
Since 2016.1 version PhpStorm and WebStorm use the same version/build numbers .. so there is no longer difference between the same versions: functionality present in WebStorm 2016.3 is the same as in PhpStorm 2016.3 (if the same plugins are installed, of course).
Everything that I know atm. is that PHPStorm doesn't support JS part like Webstorm
That's not correct (your wording). Missing "extra" technology in PhpStorm (for example: node, angularjs) does not mean that basic JavaScript support has missing functionality. Any "extras" can be easily installed (or deactivated, if not required).
UPDATE (2016-12-13):
Here is the list of plugins that are bundled with WebStorm 2016.3 but require manual installation in PhpStorm 2016.3 (if you need them, of course):
Cucumber.js
Dart
EditorConfig
EJS
Handelbars/Mustache
Java Server Pages (JSP) Integration
Karma
LiveEdit
Meteor
PhoneGap/Cordova Plugin
Polymer & Web Components
Pug (ex-Jade)
Spy-js
Stylus support
Yeoman
Essentially, PHPStorm = WebStorm + PHP, SQL and more.
BUT (and this is a very important "but") because it is capable of parsing so much more, it quite often fails to parse Node.js dependencies, as they (probably) conflict with some other syntax it is capable of parsing.
The most notable example of that would be Mongoose model definition, where WebStorm easily recognizes mongoose.model method, whereas PHPStorm marks it as unresolved as soon as you connect Node.js plugin.
Surprisingly, it manages to resolve the method if you turn the plugin off, but leave the core modules connected, but then it cannot be used for debugging. And this happens to quite a few methods out there.
All this goes for PHPStorm 8.0.1, maybe in later releases this annoying bug would be fixed.
There is actually a comparison of the two in the official WebStorm FAQ. However, the version history of that page shows it was last updated December 13, so I'm not sure if it's maintained.
This is an extract from the FAQs for reference:
What is WebStorm & PhpStorm?
WebStorm & PhpStorm are IDEs (Integrated Development Environment)
built on top of JetBrains IntelliJ platform and narrowed for web
development.
Which IDE do I need?
PhpStorm is designed to cover all needs of PHP developer including
full JavaScript, CSS and HTML support. WebStorm is for hardcore
JavaScript developers. It includes features PHP developer normally
doesn’t need like Node.JS or JSUnit. However corresponding plugins can
be installed into PhpStorm for free.
How often new vesions (sic) are going to be released?
Preliminarily, WebStorm and PhpStorm major updates will be available
twice in a year. Minor (bugfix) updates are issued periodically as
required.
snip
IntelliJ IDEA vs WebStorm features
IntelliJ IDEA remains JetBrains' flagship product and IntelliJ IDEA
provides full JavaScript support along with all other features of
WebStorm via bundled or downloadable plugins. The only thing missing
is the simplified project setup.
PhpStorm supports all the features of WebStorm but some are not bundled so you might need to install the corresponding plugin for some framework via Settings > Plugins > Install JetBrains Plugin.
Official comment - jetbrains.com
I use IntelliJ Idea, PHPStorm, and WebStorm. I thought WebStorm would be sufficient for PHP coding, but in reality it's great for editing but doesn't feel like it real-time-error-checks PHP as well as PHPStorm. This is just an observation, coming from a regular user of a JetBrains products.
If you're a student try taking advantage of the free license while attending school; it gives you a chance to explore different JetBrains IDE... Did I mention CLion? =]
In my own experience, even though theoretically many JetBrains products share the same functionalities, the new features that get introduced in some apps don't get immediately introduced in the others. In particular, IntelliJ IDEA has a new version once per year, while WebStorm and PHPStorm get 2 to 3 per year I think. Keep that in mind when choosing an IDE. :)

best open source IDE to work with EXTJS

I want to develop a web app in EXTJS 4.0, but I'm not sure about which IDE to use. I'm looking for open source IDE with its pros and cons.
There is no specific IDE for ExtJS. Since it is a javascript framework you can use text editors with additional plugins to use features like syntax highlighting, code formatting etc. webstorm seems to be more promissing one in javascript world but it is not a free tool. Here are some of the popular tools people use to write javascript code.
Komodo(Text editor is free but IDE is paid one)
Vim
Sublimetext
Notepad++
Eclipse
Spket(Text editor is free but IDE is paid one) ... many more.
Personally I would prefer eclipse with spket eclipse plugin through which you can use formatting/validation/code completion features. (Only default features are available in free one, to customize these features one should move to spket paid version). My second choice would be notepad++ with additional plugins.