c-cube

|

a | b c | d

c-cube

module G = struct
  type 'a t = unit -> 'a option

  let (--) i j =
    let r = ref i in
    fun () ->
      if !r > j then None
      else (let x = !r in incr r; Some x)

c-cube

(* ocamlfind opt -g -package zarith -package containers.iter -linkpkg primes.ml -o primes *)

module L = CCLazy_list;;

let gen_int =
  let n = ref Z.one in
  fun () ->
    let x = !n in
    n := Z.succ !n;
    Some x

c-cube

#require "sequence";;

open Sequence.Infix;;

let rec perms = function
| [] -> Sequence.return []
| x :: tail -> perms tail >>= insert x

and insert x l = match l with
| [] -> Sequence.return [x]

c-cube

#require "sequence";;

open Sequence.Infix;;

(* all the combinations *)
let rec combs = function
| [] -> Sequence.return []
| x :: tail ->
  Sequence.append (combs tail) (combs tail >|= fun l -> x :: l);;

c-cube

(* ocamlfind opt -package sequence,benchmark -linkpkg truc.ml -o truc; ./truc*)

open Sequence.Infix

(* all the combinations *)
let rec combs = function
  | [] -> Sequence.return []
  | x :: tail ->
    Sequence.append (combs tail) (combs tail >|= fun l -> x :: l)

c-cube

(* ocamlfind opt -package sequence,benchmark -linkpkg truc.ml -o truc; ./truc*)

open Sequence.Infix

type op =
  | Add
  | Mult
  | Div
  | Minus

c-cube

open Format

type tp = Ti | To | Arr of tp * tp

let pp_wrap condition pp_fmt fmt x=
  if condition then
    fprintf fmt "(%a)" pp_fmt x
  else
    fprintf fmt "%a" pp_fmt x

c-cube

#require "bigstring";;
#require "sequence";;

(* the goal is to count how many times each character occurs in the file *)

let file = "foo.txt";;

(* simple way *)
Bigstring.with_map_file file
  (fun map ->

c-cube

Plans for the future of OCaml's stdlib

One of the most common complaint about OCaml, from both newcomers and veterans, is that the stdlib is lacking in several domains. Among these we can list:

• some modules are absent but should exist (e.g. Option)
• some modules are present but lack some functionality (e.g. List could have many more combinators)
• the lack of some transverse features (iterators, printers, monadic operators…)
• the lack of generality of some constructs. Notably, in_channel