Re: [Caml-list] We need a rich standard library distributed with OCaml, really

[r.3@libertysurf.fr]

[-- Attachment #1: Type: text/plain, Size: 4342 bytes --]


+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 > : 

<blockquote>

-----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) 

</blockquote>


[-- Attachment #2: Type: text/html, Size: 9247 bytes --]