package base
Full standard library replacement for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.1.tar.gz
md5=9ad01b82a1013ca72b9b7628c9a5d954
sha512=ed5eb5e83d8085fc06f111862d609b393e394bbdcc6e25bab50030a250ffa2e540dbee02169b6f28ec220f10f61d189cd7b5646eece910c63620f5174fb5a655
Description
Full standard library replacement for OCaml
Base is a complete and portable alternative to the OCaml standard library. It provides all standard functionalities one would expect from a language standard library. It uses consistent conventions across all of its module.
Base aims to be usable in any context. As a result system dependent features such as I/O are not offered by Base. They are instead provided by companion libraries such as stdio:
https://github.com/janestreet/stdio
Published: 30 Jun 2024
README
README.org
* Base [[https://github.com/janestreet/base/actions][https://github.com/janestreet/base/actions/workflows/workflow.yml/badge.svg]] Base is a standard library for OCaml. It provides a standard set of general purpose modules that are well-tested, performant, and fully-portable across any environment that can run OCaml code. Unlike other standard library projects, Base is meant to be used as a wholesale replacement of the standard library distributed with the OCaml compiler. In particular it makes different choices and doesn't re-export features that are not fully portable such as I/O, which are left to other libraries. You also might want to browse the [[https://ocaml.janestreet.com/ocaml-core/latest/doc/base/index.html][API Documentation]]. ** Installation Install Base via [[https://opam.ocaml.org][OPAM]]: #+begin_src $ opam install base #+end_src Base has no runtime dependencies and is fast to build. Its sole build dependencies are [[https://github.com/ocaml/dune][dune]], which itself requires nothing more than the compiler, and [[https://github.com/janestreet/sexplib0][sexplib0]]. ** Using the OCaml standard library with Base Base is intended as a full stdlib replacement. As a result, after an =open Base=, all the modules, values, types, ... coming from the OCaml standard library that one normally gets in the default environment are deprecated. In order to access these values, one must use the =Stdlib= library, which re-exports them all through the toplevel name =Stdlib=: =Stdlib.String=, =Stdlib.print_string=, ... ** Differences between Base and the OCaml standard library Programmers who are used to the OCaml standard library should read through this section to understand major differences between the two libraries that one should be aware of when switching to Base. *** Comparison operators The comparison operators exposed by the OCaml standard library are polymorphic: #+begin_src ocaml val compare : 'a -> 'a -> int val ( <= ) : 'a -> 'a -> bool ... #+end_src What they implement is structural comparison of the runtime representation of values. Since these are often error-prone, i.e. they don't correspond to what the user expects, they are not exposed directly by Base. To use polymorphic comparison with Base, one should use the =Poly= module. The default comparison operators exposed by Base are the integer ones, just like the default arithmetic operators are the integer ones. The recommended way to compare arbitrary complex data structures is to use the specific =compare= functions. For instance: #+begin_src ocaml List.compare String.compare x y #+end_src The [[https://github.com/janestreet/ppx_compare][ppx_compare]] rewriter offers an alternative way to write this: #+begin_src ocaml [%compare: string list] x y #+end_src ** Base and ppx code generators Base uses a few ppx code generators to implement: - Reliable and customizable comparison of OCaml values. - Reliable and customizable hash of OCaml values. - Conversions between OCaml values and s-expression. However, it doesn't need these code generators to build. What it does instead is use ppx as a code verification tool during development. It works in a very similar fashion to [[https://github.com/janestreet/ppx_expect][expectation tests]]. Whenever you see this in the code source: #+begin_src ocaml type t = ... [@@deriving_inline sexp_of] let sexp_of_t = ... [@@@end] #+end_src the code between the =[@@deriving_inline]= and the =[@@@end]= is generated code. The generated code is currently quite big and hard to read, however we are working on making it look like human-written code. You can put the following elisp code in your =~/.emacs= file to hide these blocks: #+begin_src scheme (defun deriving-inline-forward-sexp (&optional arg) (search-forward-regexp "\\[@@@end\\]") nil nil arg) (defun setup-hide-deriving-inline () (inline) (hs-minor-mode t) (let ((hs-hide-comments-when-hiding-all nil)) (hs-hide-all))) (require 'hideshow) (add-to-list 'hs-special-modes-alist '(tuareg-mode "\\[@@deriving_inline[^]]*\\]" "\\[@@@end\\]" nil deriving-inline-forward-sexp nil)) (add-hook 'tuareg-mode-hook 'setup-hide-deriving-inline) #+end_src Things are not yet setup in the git repository to make it convenient to change types and update the generated code, but they will be setup soon. ** Base coding rules There are a few coding rules across the code base that are enforced by lint tools. These rules are: - Opening the =Stdlib= module is not allowed. Inside Base, the OCaml stdlib is shadowed and accessible through the =Stdlib= module. We forbid opening =Stdlib= so that we know exactly where things come from. - =Stdlib.Foo= modules cannot be aliased, one must use =Stdlib.Foo= explicitly. This is to avoid having to remember a list of aliases at the beginning of each file. - For some modules that are both in the OCaml stdlib and Base, such as =String=, we define a module =String0= for common functions that cannot be defined directly in =Base.String= to avoid creating a circular dependency. Except for =String= itself, other modules are not allowed to use =Stdlib.String= and must use either =String= or =String0= instead. - Indentation is exactly the one of =ocp-indent=. - A few other coding style rules enforced by [[https://github.com/janestreet/ppx_js_style][ppx_js_style]]. The Base specific coding rules are checked by =ppx_base_lint=, in the =lint= subfolder. The indentation rules are checked by a wrapper around =ocp-indent= and the coding style rules are checked by =ppx_js_style=. These checks are currently not run by =dune=, but it will soon get a =-dev= flag to run them automatically. ** Sexp (de-)serializers Most types in Base have ~sexp_of_t~ and ~t_of_sexp~ functions for converting between values of that type and their sexp representations. One pair of functions deserves special attention: ~String.sexp_of_t~ and ~String.t_of_sexp~. These functions have the same types as ~Sexp.of_string~ and ~Sexp.to_string~ but very different behavior. ~String.sexp_of_t~ and ~String.t_of_sexp~ are used to encode and decode strings "embedded" in a sexp representation. On the other hand, ~Sexp.of_string~ and ~Sexp.to_string~ are used to encode and decode the textual form of s-expressions. The following example demonstrates the two pairs of functions in action: #+begin_src ocaml open! Base open! Stdio (* Embed a string in a sexp *) let example_sexp : Sexp.t = List.sexp_of_t String.sexp_of_t [ "hello"; "world" ] let () = assert (Sexp.equal example_sexp (Sexp.List [ Sexp.Atom "hello"; Sexp.Atom "world" ])) ;; let () = assert ( List.equal String.equal [ "hello"; "world" ] (List.t_of_sexp String.t_of_sexp example_sexp)) ;; (* Embed a sexp in text (string) *) let write_sexp_to_file sexp = Out_channel.write_all "/tmp/file" ~data:(Sexp.to_string example_sexp) ;; (* /tmp/file now contains: {v (hello world) v} *) let () = assert (Sexp.equal example_sexp (Sexp.of_string (In_channel.read_all "/tmp/file"))) ;; #+end_src
Dependencies (5)
- dune-configurator
-
dune
>= "3.11.0"
-
sexplib0
>= "v0.17" & < "v0.18"
-
ocaml_intrinsics_kernel
>= "v0.17" & < "v0.18"
-
ocaml
>= "5.1.0"
Dev Dependencies
None
-
abstract_algebra
>= "v0.17.0"
-
accessor
>= "v0.17.0"
-
accessor_base
>= "v0.17.0"
-
ahrocksdb
< "0.2.1"
-
alcotest-async
>= "1.3.0"
- arrayjit
-
async_ssl
>= "v0.17.0"
- azblob
- bap-main
- bap-recipe
- bap-recipe-command
- bap-relation
-
base_bigstring
>= "v0.17.0"
-
base_quickcheck
>= "v0.17.0"
-
base_trie
>= "v0.17.0"
-
bin_prot
>= "v0.17.0"
-
bio_io
>= "0.2.1" & < "0.5.1" | >= "0.7.0"
- bitvec-order
-
bonsai
>= "v0.17.0"
-
caisar
>= "2.1"
- caisar-xgboost
- camelsnakekebab
-
camlimages
>= "5.0.3" & < "5.0.5"
- capitalization
-
capnp
>= "3.3.0"
-
cohttp-async
>= "2.5.2" & < "2.5.3" | >= "2.5.6" & < "3.0.0" | >= "5.0.0"
-
combinat
< "3.0"
-
cookie
>= "0.1.8"
-
core
>= "v0.17.0"
-
core_kernel
>= "v0.17.0"
-
crlibm
< "0.3"
- cucumber
-
dedent
>= "v0.17.0"
-
expect_test_helpers_core
>= "v0.17.0"
- FPauth
- FPauth-core
- FPauth-responses
- FPauth-strategies
- farith
- feather_async
-
fftw3
>= "0.8" & < "0.8.2"
-
fieldslib
>= "v0.17.0"
-
flow_parser
>= "0.159.0"
- fontforge-of-ocaml
- fpath-base
-
freetds
= "0.6"
-
GT
>= "0.4.0" & < "0.5.2"
-
gammu
>= "0.9.4"
- gel
- gobject-introspection
-
gsl
>= "1.22.0" & < "1.24.3"
- h1_parser
- hacl
-
hardcaml
>= "v0.17.0"
-
hardcaml_axi
>= "v0.17.0"
-
hardcaml_circuits
>= "v0.17.0"
-
hardcaml_fixed_point
>= "v0.17.0"
-
hardcaml_handshake
>= "v0.17.0"
-
hardcaml_of_verilog
>= "v0.17.0"
-
hardcaml_step_testbench
>= "v0.17.0"
-
hardcaml_verify
>= "v0.17.0"
-
hardcaml_waveterm
>= "v0.17.0"
-
hardcaml_xilinx
>= "v0.17.0"
-
hardcaml_xilinx_components
>= "v0.17.0"
-
hardcaml_xilinx_reports
>= "v0.17.0"
-
higher_kinded
>= "v0.17.0"
- idds
- influxdb
- influxdb-async
- influxdb-lwt
-
inquire
< "0.2.0"
-
int_repr
>= "v0.17.0"
-
jane_rope
>= "v0.17.0"
-
jsonaf
>= "v0.17.0"
-
jst-config
>= "v0.17.0"
-
lbfgs
= "0.9"
-
learn-ocaml
>= "0.12"
- learn-ocaml-client
-
libsvm
>= "0.9.4"
- lilac
- liquid_interpreter
- liquid_ml
- liquid_parser
- liquid_std
- liquid_syntax
-
logical
< "0.3.0"
-
mesh-triangle
>= "0.9.3" & < "0.9.5"
-
mmdb
>= "0.3.0"
- monorobot
-
n_ary
>= "v0.17.0"
- neural_nets_lib
- non_empty_list
-
numeric_string
>= "v0.17.0"
-
nuscr
< "2.0.0"
-
obeam
>= "0.1.0"
-
ocaml-lsp-server
>= "1.18.0~5.2preview"
-
ocamlformat
>= "0.14.3" & < "0.20.0" | >= "0.21.0" & < "0.23.0"
- ocamlformat-lib
-
ocamlformat-rpc
< "0.20.0"
- opine
-
ordinal_abbreviation
>= "v0.17.0"
-
owl
>= "0.3.7"
-
pa_ppx
= "0.03"
-
parsexp_io
>= "v0.17.0"
-
patience_diff
>= "v0.17.0"
-
pcre
>= "7.3.0" & < "7.4.6"
-
posixat
>= "v0.17.0"
- ppx-owl-opt
-
ppx_accessor
>= "v0.17.0"
-
ppx_assert
>= "v0.17.0"
-
ppx_bin_prot
>= "v0.17.0"
-
ppx_cold
>= "v0.17.0"
-
ppx_compare
>= "v0.17.0"
-
ppx_conv_func
>= "v0.17.0"
-
ppx_csv_conv
>= "v0.17.0"
-
ppx_custom_printf
>= "v0.17.0"
-
ppx_derive_at_runtime
>= "v0.17.0"
-
ppx_deriving_protocol
< "0.8.1"
-
ppx_deriving_rpc
= "7.2.0"
- ppx_diff
-
ppx_disable_unused_warnings
>= "v0.17.0"
-
ppx_enumerate
>= "v0.17.0"
-
ppx_expect
>= "v0.17.0"
-
ppx_fields_conv
>= "v0.17.0"
-
ppx_fixed_literal
>= "v0.17.0"
-
ppx_globalize
>= "v0.17.0"
-
ppx_hardcaml
>= "v0.17.0"
-
ppx_hash
>= "v0.17.0"
-
ppx_here
>= "v0.17.0"
-
ppx_inline_test
>= "v0.17.0"
-
ppx_js_style
>= "v0.17.0"
-
ppx_jsonaf_conv
>= "v0.17.0"
-
ppx_let
>= "v0.17.0"
-
ppx_log
>= "v0.17.0"
- ppx_mica
-
ppx_module_timer
>= "v0.17.0"
- ppx_open
-
ppx_optcomp
>= "v0.17.0"
-
ppx_optional
>= "v0.17.0"
- ppx_partial
-
ppx_pattern_bind
>= "v0.17.0"
-
ppx_protocol_conv_json
< "3.1.0"
-
ppx_protocol_conv_msgpack
< "3.1.0"
-
ppx_protocol_conv_xml_light
< "3.1.0"
-
ppx_protocol_conv_yaml
< "3.1.0"
-
ppx_python
>= "v0.17.0"
- ppx_quick_test
-
ppx_sexp_conv
>= "v0.17.0"
-
ppx_sexp_message
>= "v0.17.0"
-
ppx_sexp_value
>= "v0.17.0"
-
ppx_stable
>= "v0.17.0"
-
ppx_stable_witness
>= "v0.17.0"
-
ppx_string
>= "v0.17.0"
- ppx_string_conv
-
ppx_tydi
>= "v0.17.0"
-
ppx_typed_fields
>= "v0.17.0"
-
ppx_typerep_conv
>= "v0.17.0"
-
ppx_variants_conv
>= "v0.17.0"
-
ppx_xml_conv
>= "v0.17.0"
-
ppx_yojson_conv
>= "v0.17.0"
-
ppxlib
!= "0.14.0" & < "0.28.0"
-
profunctor
>= "v0.17.0"
-
provider
< "0.0.9"
- psyche
- pyre-ast
- qinap
-
range
>= "0.6"
-
re_parser
>= "v0.17.0"
-
record_builder
>= "v0.17.0"
-
regex_parser_intf
>= "v0.17.0"
-
reparse
= "2.1.0"
-
routes
>= "2.0.0"
-
SZXX
>= "4.1.0"
-
safemoney
>= "0.2.0"
-
secp256k1
>= "0.2.5"
- session-cookie
- session-cookie-lwt
-
sexp_pretty
>= "v0.17.0"
-
sexp_select
>= "v0.17.0"
- speed
-
spin
>= "0.6.0" & < "0.8.0"
-
splittable_random
>= "v0.17.0"
-
sqlite3
>= "4.2.0" & < "4.4.1"
-
stdio
>= "v0.17.0"
-
streamable
>= "v0.17.0"
-
string_dict
>= "v0.17.0"
- swipl
-
tablecloth-base
>= "0.0.10"
-
tablecloth-native
< "0.0.8"
-
tensorflow
>= "0.0.11"
-
tilde_f
>= "v0.17.0"
-
time_now
>= "v0.17.0"
- timmy
-
topological_sort
>= "v0.17.0"
-
torch
< "0.5" | >= "v0.17.0"
- tqdm
- twostep
-
typerep
>= "v0.17.0"
- uopt
-
variantslib
>= "v0.17.0"
-
virtual_dom
>= "v0.17.0"
- wseg
- yosqlite
- zanuda
- zmq-async
- zmq-eio
-
zmq-lwt
< "5.1.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page