... I have already mentioned camlp4, was advised against it, and insisted I would use it anyway :). I mean to first implement the needed underlying functions,...
13832
oliver
oliver@...
Feb 26, 2013 8:20 am
... Don't see, what you mean. None is not the same as 0 and it does not even have the same type. So, the exception must be thrown. Anything is fine. Ciao, ...
13833
oliver
oliver@...
Feb 26, 2013 8:22 am
On Tue, Feb 26, 2013 at 12:11:53AM -0800, Sergei Steshenko wrote: [...] ... Did not remember you mentiioned it. Was it this thread or another one? So much...
13834
Sergei Steshenko
sergstesh
Feb 26, 2013 8:37 am
... "Don't see, what you mean" <- "Some worms got out of the can ?" <- "Obj.magic is Voodo" Regards, Â Sergei....
13835
Sergei Steshenko
sergstesh
Feb 26, 2013 8:41 am
... "Why do you compare OCaml with Perl, not with ALGOL, C, C++ or other languages?" - OCaml, as other languages, is a way to convert abstractions introduced...
13836
Oliver Bandel
oliver@...
Feb 26, 2013 8:47 am
... And why do you refer to Perl in your comparisons? If all languages are just "way to convert abstractions introduced by humans into a stream of bits...
13837
Sergei Steshenko
sergstesh
Feb 26, 2013 8:57 am
... At them moment I started "feeling" Perl, I found it damn convenient. Actually, a lot of things are done in Perl in a very smart manner. Also, through Perl...
13838
Oliver Bandel
oliver@...
Feb 26, 2013 11:40 am
... The perlish way of "type safety" is: there will (nearly) always be a coercion for you, that allows to run the code. Of course, this is not, what OCaml...
13839
Sergei Steshenko
sergstesh
Feb 26, 2013 1:11 pm
... The fundamental truth is that it is much easier to loosen types in a strictly typed language than to strictify them in a loosely typed language. And I want...
13840
Sergei Steshenko
sergstesh
Feb 26, 2013 1:15 pm
... I have just recollected that there is a JavaScript runtime optimizer which relies on the fact that in most programs type of variables remains the same. ...
13841
Samuel Hornus
samuhornu
Feb 26, 2013 1:29 pm
... I don't see how you can achieve this without writing a new hash-table customized to your Plds_val type. Indeed, __a=(int_to_pld 1) and __b=(string_to_pld...
13842
Sergei Steshenko
sergstesh
Feb 26, 2013 2:11 pm
... So I'll write the needed custom code :). I know that Perl-like data structures have certain coding cost. Regards, Sergei....
13843
Gabriel Scherer
ga_sche
Feb 26, 2013 3:20 pm
I'm not sure I have fully understood this length and unequally-productive discussion, so let me ask a question: what you are trying to do is to have a static...
13844
Sergei Steshenko
sergstesh
Feb 26, 2013 3:39 pm
... First of all, I want both non-homogenous keys and non-homogenous values, i.e. I want top be able in the same hash to have (I know the code won't compile) :...
13845
Hendrik Boom
hendrikboom3
Feb 27, 2013 9:29 pm
I have inherited a program containing: printf "\nrun: %s \n" c; let exitcode = Sys.command c in if exitcode = 0 then loop cs' else exitcode Is there any way to...
13846
Bernie Discale
bernie.discale
Feb 27, 2013 9:40 pm
Hello Is it possible to compile ocaml to cross-compile (my host is a x86_64, my target is an arm) ? I've tried miscellaneous patches on two versions of ocaml...
13847
Sebastien Mondet
sebmondet
Feb 27, 2013 9:46 pm
I haven't tried yet, but did you know about this project: https://github.com/vouillon/ocaml-android ? ... [Non-text portions of this message have been removed]...
13848
Hendrik Boom
hendrikboom3
Feb 27, 2013 9:49 pm
... my target is an arm) ? ... 4.0.1), with mitigated success. ... anything that would help to hack correctly the build chain ? ... compilation on the 3.12.x...
13849
Francois Berenger
f_berenger
Feb 28, 2013 12:58 am
... I guess Async from Janestreet would have such functionalities (I never used personally). I have seen Input/output with timeout in: ...
... The same discussion came recently on [1]ocaml ml, wich ended with a mantis [2]ticket creation. For sum up : there is no way for doing this in a portable...
13851
Bernie Discale
bernie.discale
Feb 28, 2013 11:36 am
Hello Hendrick Thank you for your answer, which I don't understand completely (what does Scheme has to do with my problem). Anyway I trust you, and will ask my...
13852
Hendrik Boom
hendrikboom3
Feb 28, 2013 12:55 pm
... Nothing, directly, except being a functinal language. ... Gambit-C is written in gambit-C. It has an interpreter. It has a compiler that compiles Scheme...
13853
Bernie Discale
bernie.discale
Feb 28, 2013 1:20 pm
Thank you Hendrick, now I understand better The projects you mention are indeed better success than what I've done so far. The app available for android...
13854
Hendrik Boom
hendrikboom3
Mar 1, 2013 1:40 am
... But isn't that what my first link, https://sites.google.com/site/keigoattic/ocaml-on-android, provides? Or have I missed something? I admit, haven't tried...
13855
Bernie Discale
bernie.discale
Mar 1, 2013 9:03 am
Damn you are right! I missed the last paragraph about the native code compiler, and as soon as I saw the above example, I deduced it was only to build on...
13856
Brian Hurt
bhurt42
Mar 1, 2013 9:24 pm
... As a general rule, any where you'd use type classes in Haskell, the right solution in Ocaml is to use modules & functors (as a side note, the term ...
13857
Bernie Discale
bernie.discale
Mar 2, 2013 10:31 am
Ok I made it following the page of keigoi Now the next step : compiling unison for android Thank you Hendricks for your precious advice [Non-text portions of...
Hello, It is possible to declare a parametrized type, but hiding how the type is parametrized in the signature ? Here is a exemple of I want declare : module...
13859
Lukasz Stafiniak
luk_stafi
Mar 3, 2013 1:14 pm
On Sun, Mar 3, 2013 at 1:28 PM, Sébastien Dailly < ... This is not possible since you define "G1" as no-argument variant in SIG which you don't want. But it...
13860
Sébastien Dailly
s_dailly
Mar 3, 2013 10:36 pm
... Thanks for pointing private type; this is not exactly what I need, however I could get what I want with an abstract type : module type SIG = sig type t ...
