• [^] # Re: Tous mes encouragements

    Posté par (site web personnel) . En réponse à la dépêche MirageOS - un micro OS (unikernel) en OCaml. Évalué à 3.

    C'est vrai qu'Ocaml a l'air d'un truc de matheux, mais on peu faire beaucoup de choses dans ce langage sans creuser toutes les geekeries matheuses que les caméliste adorent tricoter.

    module type ORDERED = sig
 type t
 val compare : t -> t -> int
end
module Make (S : ORDERED) : sig
 type 'a t
 val empty : 'a t
 val add : S.t -> 'a -> 'a t -> 'a t
end

    On pourrait traduire ça en Java dans le genre (je peux me tromper attention)

    interface ORDERED<T> {
int compare(a: T, b : T);
}
interface Make<ORDERED<T>, U<V>> {
 U<T> empty;
 U<V> add(e : T, a : V, b : U<V>);
}

    « Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker