OCaml Batteries Included: The Hierarchy, reloaded

Well, my previous post on the Hierarchy of OCaml Batteries Included certainly triggered reactions. Essentially, judging from these, the OCaml community doesn’t seem to want of a module hierarchy. So here’s a reworked version of the library layout, without hierarchy. Again, feedback is appreciated and should go to the OCaml mailing-list.

Batteries

1. Standard (automatically opened)
2. Legacy
   1. Arg
   2. Array
   3. …
3. Future
   1. Lexers
      1. C
      2. OCaml

   I. Control

4. Exceptions
5. Return
6. Monad Interfaces for monadic operations

   I.1. Concurrency

7. Concurrency Interfaces for concurrency operations

   I.1.i. Built-in threads

8. Condition
9. Event
10. Mutex
11. RMutex
12. Thread
13. Threads A module containing aliases to Condition, Event…

    I.1.ii. coThreads

14. CoCondition
15. CoEvent
16. CoMutex
17. CoRMutex
18. CoThread
19. CoThreads as Threads but with implementations coming from coThreads

    I.1.iii. Shared memory

20. Shm_* Placeholders

    II. IO

21. IO
    1. BigEndian
22. GZip
23. Bz2
24. Zip
25. Transcode

    III. Mutable containers

26. Array
    1. Cap
       1. ExceptionLess
       2. Labels
    2. ExceptionLess
    3. Labels
27. Bigarray
    1. Array1
    2. Array2
    3. Array3
28. Dllist
29. Dynarray
30. Enum
    1. ExceptionLess
    2. Labels
31. Global
32. Hashtbl
    1. Make
       1. ExceptionLess
       2. Labels

    IV. Persistent containers

33. Lazy
34. List
    1. ExceptionLess
    2. Labels
35. Map
    1. Make
       1. ExceptionLess
       2. Labels
36. Option
    1. Labels
37. PMap
38. PSet
39. RefList
    1. Index
40. Queue
41. Ref
42. Set
    1. Make
       1. ExceptionLess
       2. Labels
43. Stack
44. Stream

    V. Data

45. Unit

    V.1. Logical

46. Bool
47. BitSet

    V.2. Numeric

48. Numeric Interfaces for number-related stuff
49. Big_int
50. Common
51. Complex
52. Float
53. Int
54. Int32
55. Int64
56. Native_int
57. Num
58. Safe_float placeholder
59. Safe_int

    V.3. Textual

60. Text Definition of text-related interfaces
61. Buffer
62. Char
63. UTF8
64. Rope
65. UChar
66. String
67. StringText A module containing aliases to String and Char¹
68. RopeText As StringText but with implementations from Rope and UChar
69. UTF8Text As StringText but with implementations from UTF8 and UChar
    1. Labels

    VI. Distribution-related stuff

70. Packages
71. Compilers

    VII. Internals

72. Gc
73. Modules
74. Oo
    1. Private
75. Weak
    1. Make

    VIII. Network (placeholders)

76. URL
77. Netencoding
    1. Base64
    2. QuotedPrintable
    3. Q
    4. URL
    5. Html

    VIII.1. Http

78. Http
79. Http_client
80. Cgi_*
81. Httpd_*
82. MIME

    VIII.2. Ftp

83. Ftp_client

    VIII.3. Mail

84. Netmail
85. Pop
86. Sendmail
87. Smtp

    VIII.4. Generic server

88. Netplex_*

    VIII.5. RPC

89. Rpc_*

    VIII.6. Languages

90. Genlex
91. Lexing
92. CharParser
93. UCharParser
94. ParserCo
    1. Source
95. Parsing
96. Format
97. Printf
98. Str
99. PCRE place-holder
100. Scanf
     1. Scanning
101. SExpr

     IX. System

102. Arg
103. File
104. OptParse
     1. Opt
     2. OptParser
     3. StdOpt
105. Path
106. Shell
107. Unix
     1. Labels
108. Equeue

     X. Unclassified

109. Digest
110. Random
     1. State
111. Date placeholder

---

1

Actually a slightly modified version of Char to match signatures for Latin-1 and Unicode

OCaml Batteries Included, release 0: Where it should all have begun

After a few discussions on IRC, by e-mail and on forums, I have come to realize that both the purpose of Batteries Included and what the development of Batteries involved were quite unclear to most people — and that we should probably have started our work in quite a different manner. All these discussions have prompted a few changes and the release of a first pre-version of Batteries Included, which you may find on the OCamlForge project (you may also browse source code here and API documentation here).

This release represents what we should have produced in the first place; a simple and uniform presentation layer on top of existing libraries.