Re: [Caml-list] Dependent types ?

2011-09-26 Thread oliver
, this type checking stuff is done somewhere on your AST; maybe relying on OCaml directly here, might be problematic. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group

Re: [Caml-list] 'OCaml For the Masses' on Slashdot

2011-10-14 Thread oliver
There is a theory (or just hypothesis) on different brains and therefore thinking styles: predictive vs. functional. So... maybe, if these ways of thinking are built in into the brains (genetically?), then some people will be functional programmers and others not ;-) Ciao, Oliver On Fri

[Caml-list] Module / library for analyzing Graphs?

2011-11-19 Thread oliver
Hello, are there Modules/Libs for analyzing graphs, which also allow to find loops in directed graphs? Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] OCaml maintenance status / community fork

2011-12-06 Thread oliver
about that article: instead of Why the next language you learn should be functional the tile should have been better Why the next language you learn should be OCaml :-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml

Re: [Caml-list] Some comments on recent discussions

2011-12-06 Thread oliver
, no GitHub (R) (TM) in help here ;-) A book could be also done as a collaberative approach. But documentation is all to often contrary to programming, at least in the masses, and the masses is what is looked for, when it is asked for community efforts. Ciao, Oliver (*): Maybe people look

Re: [Caml-list] Caml-PR ... a first idea

2011-12-06 Thread oliver
On Wed, Dec 07, 2011 at 03:41:57AM +0200, Микола Стрєбков wrote: Hi all, On 7 груд. 2011, at 03:25, oliver wrote: if there would be a *nice* OCaml-T-Shirt available, an official one by the Caml-Core-developers/INRIA, I would order one (or more) :-) I'll definitely buy few women's t

Re: [Caml-list] Some comments on recent discussions

2011-12-07 Thread oliver
just do not have the links available. But a good book would need to be more than just a first taste of the language, or a printed mix of intro-docs. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list

Re: [Caml-list] Caml-PR ... a first idea

2011-12-07 Thread oliver
...hmhhh... Don't know if the official logo can be used... Ciao, Oliver On Tue, Dec 06, 2011 at 08:53:06PM -0500, Ashish Agarwal wrote: Why do you feel this needs to be done by the INRIA team? Why not do it yourself? I will buy a few. :) On Tue, Dec 6, 2011 at 8:25 PM, oliver oli

Re: [Caml-list] OCaml maintenance status / community fork

2011-12-07 Thread oliver
On Wed, Dec 07, 2011 at 10:39:30AM +0100, Goswin von Brederlow wrote: oliver oli...@first.in-berlin.de writes: Hello, during the last years, more than one person mourned about this or that dark sides of OCaml. Even some of the mourning and the proposals had mentioned good ideas

Re: [Caml-list] Some comments on recent discussions

2011-12-08 Thread oliver
is probably more up to date. Such a book translated into english would be very valuable IMHO. [...] Yes, english please, otherweise it's not accessible to most potential readers. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws

Re: [Caml-list] Storing ocaml values outside ocaml's heap

2011-12-08 Thread oliver
. [...] Completely disabling swap can crash the system. Better just fine tune it, so that it uses swapping less often. = on Linux swappiness can be set via /proc: /proc/sys/vm/swappiness Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr

Re: [Caml-list] OCaml maintenance status / community fork (again)

2011-12-09 Thread oliver
with OCaml. One reason, why I'm sceptical on the many suggestions done on here on the list these days Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group

Re: [Caml-list] Why NOT to compile OCaml via C

2011-12-09 Thread oliver
it could be sent to the core team. But I just doubt, that this will happen here ;) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http

Re: [Caml-list] OCaml maintenance status / community fork (again)

2011-12-09 Thread oliver
want it. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Why isn't there a common platform for functional language interaction ?

2011-12-10 Thread oliver
will be doomed. ;-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Some comments on recent discussions

2011-12-13 Thread oliver
will not be published, maybe his book might be polished and provided freely (and might be included into OS distributions?) Payment for Jason Hickey could be done via donations, so that he gets something back for his work. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives

Re: more ideas (Re: [Caml-list] how could the community help with Oasis-DB;) towards a CPAN for OCaml?

2011-12-15 Thread oliver
On Wed, Dec 14, 2011 at 04:37:26PM +0100, Gerd Stolpmann wrote: Am Mittwoch, den 14.12.2011, 15:55 +0100 schrieb oliver: On Wed, Dec 14, 2011 at 01:14:57PM +0100, Gerd Stolpmann wrote: Am Dienstag, den 13.12.2011, 21:22 +0100 schrieb oliver: Hello, I again want to mention R

Re: [Caml-list] Thread.exit

2011-12-17 Thread oliver
, it would not be necessary. [...] If you have type problems, the surrounding code will await a type different than unit; bits looks like int... Also you should be aware that Pervasives.exit exits the whole process, but Threads.exit terminates only the thread. Ciao, Oliver -- Caml-list

Re: [Caml-list] bytecode: ./prog vs ocamlrun ./prog

2011-12-18 Thread oliver
and with which ocamlrun you get the info, which one is used. Ciao, Oliver On Sun, Dec 18, 2011 at 01:30:25PM +0900, Jacques Garrigue wrote: This basically means that you have 2 ocamlrun on this machine. ./prog calls ocamlrun with a fixed path, but the 1st ocamlrun is your path

[Caml-list] Fatal error: exception Pcre.Error(0)

2011-12-22 Thread oliver
Hello, where is there a documentation about these kind of errors from pcre-lib? I'm using Pcre.pmatch, which should just give me a bool. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http

Re: [Caml-list] Fatal error: exception Pcre.Error(0)

2011-12-22 Thread oliver
On Thu, Dec 22, 2011 at 07:39:14PM +0100, oliver wrote: Hello, where is there a documentation about these kind of errors from pcre-lib? I'm using Pcre.pmatch, which should just give me a bool. [...] If I remove ~flags:[`PARTIAL] from the call, this problem vanishes. And there are some non

Re: [Caml-list] Fatal error: exception Pcre.Error(0)

2011-12-22 Thread oliver
On Thu, Dec 22, 2011 at 08:53:56PM +0100, Stéphane Glondu wrote: Le 22/12/2011 19:39, oliver a écrit : where is there a documentation about these kind of errors from pcre-lib? I'm using Pcre.pmatch, which should just give me a bool. See pcre.mli. Pcre.Error(0) is the raw representation

Re: [Caml-list] Fatal error: exception Pcre.Error(0)

2011-12-22 Thread oliver
On Thu, Dec 22, 2011 at 11:35:41PM +0100, Stéphane Glondu wrote: Le 22/12/2011 22:39, oliver a écrit : where is there a documentation about these kind of errors from pcre-lib? I'm using Pcre.pmatch, which should just give me a bool. See pcre.mli. Pcre.Error(0) is the raw representation

Re: [Caml-list] Ocaml-PCRE now on Arch (via AUR)

2011-12-23 Thread oliver
There is also this package with a differnet name: https://aur.archlinux.org/packages.php?ID=52452 I think that one is to use, because of the naming scheme. On Fri, Dec 23, 2011 at 04:13:59AM +0100, oliver wrote: Hello, I created an AUR-package (Arch-Linux) for the PCRE-OCaml

Pcre-Ocaml-docs (Re: [Caml-list] Fatal error: exception Pcre.Error(0))

2011-12-23 Thread oliver
On Fri, Dec 23, 2011 at 07:29:45AM +0100, Stéphane Glondu wrote: Le 23/12/2011 01:13, oliver a écrit : I also looked now, at what the original package offers... ...for example with make doc a lot of additional nice docs will be created. That was not offered by my OS-based installation

Re: [Caml-list] try ocaml website

2011-12-23 Thread oliver
not part of the stdlib, even though it's shipped in the std-distribution. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin

Re: [Caml-list] try ocaml website

2011-12-23 Thread oliver
On Fri, Dec 23, 2011 at 01:56:46PM -0500, Ashish Agarwal wrote: This is really great! One comment, it doesn't work on Safari. [...] On Konqueror it also does not work. On FF it runs fine. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa

Re: [Caml-list] try ocaml website

2011-12-23 Thread oliver
. :-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Need help for a practical hacking book about ocaml

2011-12-24 Thread oliver
for? Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Hashtbl and security

2011-12-30 Thread oliver
this in the new implementation of Hashtbl (the one based on Murmur3). [...] Where is this? I found Hashtbl.HashedType.hash with type t - int. But I did not found an optional parameter to Hashtbl.create Maybe that is part of the next release? Ciao, Oliver -- Caml-list mailing list

Re: [Caml-list] Hashtbl and security

2011-12-30 Thread oliver
On Sat, Dec 31, 2011 at 01:57:21AM +0100, oliver wrote: On Fri, Dec 30, 2011 at 06:06:26PM +0100, Xavier Leroy wrote: On 12/30/2011 05:44 PM, Gerd Stolpmann wrote: 1) Avoid hash tables in contexts where security is relevant. The alternative is Set (actually a balanced binary tree

Re: [Caml-list] Hashtbl and security

2011-12-30 Thread oliver
and bug depends on the context... Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Hashtbl and security

2012-01-01 Thread oliver
less apparent to the programmer who just wants to use hashes, and don't thinks about using hashes might be a security problem. So, this solution IMHO would be counterproductive and non-intuitive. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa

Re: [Caml-list] Hashtbl and security

2012-01-04 Thread oliver
On Wed, Jan 04, 2012 at 06:56:11PM +0100, Damien Doligez wrote: On 2012-01-02, at 02:43, oliver wrote: If the type is an abstract type, which comes from something like Hashtbl.Randomseed and has type t, not type int, this problem would vanish. You have to be careful. If we make hash

Re: [Caml-list] is there a more concise way to write this?

2012-01-20 Thread oliver
. But would that really be more readable? It might be more generic. But if both selections are not done by the same function application to your result values, this also does not make sense. Do you see what I mean? Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https

Re: [Caml-list] is there a more concise way to write this?

2012-01-20 Thread oliver
On Fri, Jan 20, 2012 at 08:29:09AM -0500, Edgar Friendly wrote: [...] if a then if b then [a;b] else [a] else if b then [b] else [] [...] For me, the original pattern matching code looks much easier to read. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives

Re: [Caml-list] is there a more concise way to write this?

2012-01-20 Thread oliver
On Fri, Jan 20, 2012 at 08:59:31AM -0500, Edgar Friendly wrote: On 01/20/2012 04:38 AM, oliver wrote: More concise does not always mean better readable or more performant. You apply the same kind of selection for both values. I can't measure readability, but I did throw together a quick

Re: [Caml-list] is there a more concise way to write this?

2012-01-20 Thread oliver
On Thu, Jan 19, 2012 at 10:38:53PM -0800, Martin DeMello wrote: let a = match (out, value) with (true, true) - [o; v] | (false, true) - [v] | (true, false) - [o] | (false, false) - [] [...] Is there a way to get out and value from o and v? Ciao, Oliver

Re: [Caml-list] is there a more concise way to write this?

2012-01-20 Thread oliver
:: accum ) [] [ b; a ] If let ... = ... in let ... = ... in ... is slower than than let ... = ... and let ... = ... in ... then use the latter one ;-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list

Re: [Caml-list] is there a more concise way to write this?

2012-01-20 Thread oliver
On Fri, Jan 20, 2012 at 10:04:30PM +0100, oliver wrote: My fold approach version: let folded (out, value) o v = let a = if out then Some o else None in let b = if value then Some v else None in List.fold_left ( fun accum elem - match elem with None - accum | Some x - x :: accum

Re: [Caml-list] [ANN] Vim plugin

2012-01-31 Thread oliver
correctly colored. This was the case, when long and nested comments were used. Then the non-comment section sometimes was displayed as if it were a comment. Someone also knows that problem? Maybe that is another issue that you might be able and interested to fix...?! Ciao, Oliver -- Caml

Re: [Caml-list] [ANN] Vim plugin

2012-01-31 Thread oliver
On Tue, Jan 31, 2012 at 12:08:16PM +0100, Adrien wrote: On 31/01/2012, oliver oli...@first.in-berlin.de wrote: Sometimes I had problems with syntax highlighting in OCaml. The end of comments was not always displayed correctly colored. This was the case, when long and nested comments were

Re: [Caml-list] syntactic detail

2012-02-08 Thread oliver
On Wed, Feb 08, 2012 at 01:46:39PM +, David House wrote: On Wed 08 Feb 2012 01:39:26 PM GMT, oliver wrote: I think the problem of being confounding 10_000_ with 100_000_000 or 10_000_ with 10_000_000 is less prominent then confounding 1 with 1000. So this syntax rule

Re: [Caml-list] syntactic detail

2012-02-08 Thread oliver
. ;-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] sys command

2012-02-08 Thread oliver
On Wed, Feb 08, 2012 at 07:18:13PM +0100, Andrej Bauer wrote: Does anyone know how I can launch a batch file from Ocaml without pop up windows. trollUse an operating system which does not contain the word windows in its name?/troll [...] LOL -- Caml-list mailing list. Subscription

[Caml-list] [OT]: Julia is waiting for you ;-)

2012-03-02 Thread oliver
Hello, interesting language for numerical applications. It has a lot of nice features and also looks very performant... http://julialang.org/ http://julialang.org/blog/2012/02/why-we-created-julia/ Ciao, Oliver P.S.: I'm missing OCaml-benchmarks in the list there... -- Caml-list

Re: [Caml-list] [OT]: Julia is waiting for you ;-)

2012-03-02 Thread oliver
On Fri, Mar 02, 2012 at 04:57:30PM +0100, oliver wrote: Hello, interesting language for numerical applications. It has a lot of nice features and also looks very performant... http://julialang.org/ http://julialang.org/blog/2012/02/why-we-created-julia/ [...] Also interesting

Re: [Caml-list] Efficient scanning of large strings from files

2012-03-16 Thread oliver
down to something easy parseable, the length of lines might be of no importance. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http

Re: Re: [Caml-list] Efficient scanning of large strings from files

2012-03-17 Thread oliver
DNA: C, G, A, T, \n On Sat, Mar 17, 2012 at 02:23:48AM +0900, FrancoisCharles MatthieuBerenger wrote: hi philippe, i am curious, is your string a dna sequenceso that s why it is so long? regards,f On Fri, 16 Mar 2012 10:14:41 -0400 Edgar Friendly thelema...@gmail.com

Re: [Caml-list] Efficient scanning of large strings from files

2012-03-18 Thread oliver
the Regexp-serach by yourself...?! == http://swtch.com/~rsc/regexp/regexp1.html For fast input the Buffe Module is really a performance boost, compared to normal string-appending operations. == http://caml.inria.fr/pub/docs/manual-ocaml/libref/Buffer.html Ciao, Oliver -- Caml-list mailing

[Caml-list] Articles on using types for enhancing sw-quality?

2012-04-07 Thread oliver
for articles / books (or other videos), that explain the design technique in more depth. So, if you know of something regarding this topic, please let me know. Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list

Re: [Caml-list] Articles on using types for enhancing sw-quality?

2012-04-09 Thread oliver
of richer features (than the base ML [...] Thank you for the many links. Thats much more than I expected to be there. :-) Ciao, Oliver -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com