Is there a single working OCaml IDE? -


i have downloaded multiple ocaml ide's / plugins , none of them work. have no clue if have directory problem or if else @ fault. can access ocaml console through cygwin fine not useful dealing larger files. total ocaml noob , have no clue how fix problems. have been reading every post on ocaml here , nothing helping. hoping can me because frustrating! reply.

ocaml modes emacs , vim work (and run on macos , windows, of course). heard geany works well.

i'm not saying must learn emacs , vim; understand it's kind of interface beginners maybe don't want -- , supporting other editors ocaml problem need fix. if want reasonable support pretty every kind of text format out there, they're still choices.

finally, if have decent terminal / command-line (if on windows might require running gnu/linux virtual machine), pretty every editor fine if compile stuff hand terminal (which not particularly hard). in-editor support still provide better experience, in particular allowing jump right place in code compiler says there error, beginner can go long way without that.

ps: extremely useful if took time spell out precisely problem each tool was, , send information respective maintainers. think main problem these tools lack of testers. future people try these tools helping maintainers fix them!


Comments

Post a Comment

Popular posts from this blog

Change php variable from jquery value using ajax (same page) -

what i'm trying this: i've php global variable $currentid , simple jquery script check if there "id" (page) in hash of url , if yes wanted give value $currentid . i've been reading lot , notice shall use ajax i'm not managing it. my code is: <script type="text/javascript"> $(document).ready(function(){ if (parent.location.hash != '' ) { var thecurrentid = parent.location.hash.split('#')[1]; $.ajax({ url: 'my.php', //current page type: 'post', data: {theid: thecurrentid }, datatype: 'json', success: function () { } }); } // code here }); </script> could me please? thank in advance. php server side language, meaning once has sent data browser, php variables , data cannot changed... however, using ajax, can send request php page , change data in dom based on result. consider th...
Read more

How can I fetch data from a web server in an android application? -

i want retrieve data web server in android application, , don't know begin. should use web services? i recommend these tutorials: connect android php , mysql , json in android , php , mysqli i used these tutorials , managed trying working without difficulty. between them describe each step in how attempting @ each stage, android application, database , web server side , has information included can process , use received information the thing add connect android php , mysql tutorial makes use of mysql_ in php deprecated. better use mysqli why included third link. the basic outline of want this: 1) in android app make request server php script using class this: import java.io.bufferedreader; import java.io.ioexception; import java.io.inputstream; import java.io.inputstreamreader; import java.io.unsupportedencodingexception; import java.util.list; import org.apache.http.httpentity; import org.apache.http.httpresponse; import org.apache.http.namevaluepair...
Read more

jquery - How can I dynamically add a browser tab? -

since using iframes house external pages are, accounts "not preferred method" , disallowed sites (flickr, one), want dynamically generate browser tabs. e.g., when user submits form, want dynamically generate tab on browser in response submitted. e.g., might want add new tab url like: http://www.bigsurgarrapata.com/contact how in jquery? you want form target attribute action attribute. http://www.w3schools.com/tags/att_form_target.asp browsers have ultimate control on result of target attribute open new tab value of _blank. <form action="contact_submit.php" target="_blank" method="post">
Read more