+1 for 80% of it and I would add : - String.split : char list -> string -> string list - Hashtbl.keys I also think it is very valuable that inria maintains the stdlib. I prefer to see it kept maintained as inria standard distribution packaged with ocaml, even if that would imply less features on the compiler. On 27/08/2015 11:34, Edouard Evangelisti wrote: Dear all, Thanks for this inspiring discussion. The integration of large pieces of code into OCaml standard library is maybe not the best solution as it will never fulfill everyone's needs. I like the idea of having a Swiss army knife standard library rather than a heavy weight set of tools. However, filling existing minor gaps in the standard library would probably improve programmers day-to-day experience. Below are some examples: - Integers, floats and options, for instance, would deserve their own module for functor application. - More functions on option type, such as eval, iter, map. Something like this: let eval f x = try Some (f x) with _ -> None let iter f = function None -> () | Some x -> f x let map f = function None -> None | Some x -> eval f x - The standard library includes incr and decr on integer references, but none of the useful C-like operators with assignment such as += that save a lot of time in situations (there are some) where references are heavily used. let ( += ) r n = r := !r + n - An efficient set of string searching functions would help a lot (no regexp). Something like Boyer-Moore, KMP or even Rabin-Karp algorithms. - String.explode / implode to convert to/from char list. - Trivial functions such as read_file or read_text_file . - The identity function! - All fold functions should have a foldi counterpart, and the same set of iterators should occur in all modules. Then, for more specialized requirements, I think it may be better to contribute directly to improve third party libraries. Kind regards, Edouard 2015-08-27 9:20 GMT+01:00 Daniil Baturin < daniil@baturin.org > :
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 It often provokes exact same feelings as OCaml standard library, especially the prelude. There are also reimplementations of it, e.g. https://hackage.haskell.org/package/classy-prelude GHC authors also keep the old stuff for backwards compatibility. What I think can serve as a source of inspiration is the Haskell Platform or the Python distribution. They are distributed with a set of more or less self-contained modules that once were or still are third-party libraries. This is especially convenient on platforms not friendly to automatic package management. On 08/27/2015 02:07 PM, Sébastien Hinderer wrote: > Hi, > > Thanks for having started this thread. > > I am wondering to which extent the standard library of a language such > as Haskell could be a source of inspiration for OCaml? > > Cheers, > > Sébastien. > -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJV3shSAAoJEEcm35UR4K8fSmwP+wURGWzi/onbTmr0dltA8aRK XB6FKEyiwLarEMHKnLPiT3uZhDVbaSvDolPGzPuU3eq0/kih0z/0R4l2WAUG8QuP cbdcVAd0Po+fSfSrgNtl+luH9fpUiE0EtDWcZxviZSerZoObcPcIK68FkgQbBs5T vlJ7MjuNguYI26tDrBsSAzDZ+FqFGYj9/ykmUNF42aPUqD7GQXFKY6iBgFoTCpze v9zbPnDoPjShe1Guk72GbmHU+b5xwEXe0bFpWj3O6pM5sXOnQ9jbLNRM70wSvGkX V17NexWd4HyqVhoSRHy+CnrFUHuzEhBJQARhq1nYoypY6DiYyOSg58uw5EWJC/vH YXl0LP60sXrhY4ZJ4YUvv86DFpqGGtNftRThNRTq0o7LULXIt3JRyVp9f+fVhxB4 FW8dk2xzbyMijKCLMdbrbLJhbQ7znTfCt8PLnyemVFdc+Ficne/j+D0YOoWCyX+b vyc7xAQn14ZvywMxS/Ii9SRKZO8jqmjlhnoTa+AiF9Ve9KYbIJ3d9hX/9cw+blmo 3EuUbo0K3DbIWUvNYMFsR+03mY5WyfO9UX5zcI/j5hP+DqxqrHEvNeHo/7/8IYiZ nI2B0cGwk5JX58+htaaR1rs3FDT7YI3mdoDzmLjVtdnqlRLhUvmHHqraZJQt/QhR DOx3brrv1loX0DPvr0SM =Fpx0 -----END PGP SIGNATURE----- -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Edouard Evangelisti Post doctoral Research Associate Sainsbury Laboratory, Cambridge University (SLCU) Bateman Street Cambridge CB2 1LR (United Kingdom)