OCaml – OCaml [PDF]

(* Binary tree with leaves carrying an integer. *) type tree = Leaf of int | Node of tree * tree let rec exists_leaf tes

5 downloads 22 Views 98KB Size

Recommend Stories


OCaml + XDuce
I want to sing like the birds sing, not worrying about who hears or what they think. Rumi

The OCaml system release 3.12
You're not going to master the rest of your life in one day. Just relax. Master the day. Than just keep

The OCaml system release 4.07
Don't be satisfied with stories, how things have gone with others. Unfold your own myth. Rumi

Practical Generic Programming in OCaml
I cannot do all the good that the world needs, but the world needs all the good that I can do. Jana

Towards Automatic Resource Bound Analysis for OCaml [PDF]
Abstract. This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds for higher-order polymorphic programs with user-defined inductive types. The technique is parametric in the res

notes de mise à niveau OCaml
Your big opportunity may be right where you are now. Napoleon Hill

Introduction of First-Order Logic in OCaml
Be like the sun for grace and mercy. Be like the night to cover others' faults. Be like running water

MLAPRONIDL: OCaml interface for APRON library
How wonderful it is that nobody need wait a single moment before starting to improve the world. Anne

OCaml Data User Defined Types Variation: Shapes in Java
Life isn't about getting and having, it's about giving and being. Kevin Kruse

download pdf Creează PDF
You have survived, EVERY SINGLE bad day so far. Anonymous

Idea Transcript


Learn Documentation Packages Community Edit this page Search

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles Install OCaml en fr



Learn Find out about OCaml, read about users, see code examples, go through tutorials and more.



Documentation Install OCaml, look up package docs, access the Manual, get the cheat sheets and more.



Packages The OCaml Package Manager, gives you access to multiple versions of hundreds of packages.



Community Read the news feed, join the mailing lists, get support, attend meetings, and find OCaml around the web.



Learn OCaml in your browser with TryOCaml Got a question? Chat live with OCaml experts!

News OCaml 2017 September 8, 2017

OCaml Weekly News March 6, 2018

Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong February 21, 2018

Full Time: Compiler Engineer at Jane Street in New York & London February 21, 2018

frama-clang 0.0.5, fixing compatibility issue with Debian/Ubuntu, is out. Download ithere. February 19, 2018

Coq 8.7.2 is out February 17, 2018

More...

A taste of OCaml (* Binary tree with leaves carrying an integer. *) type tree = Leaf of int | Node of tree * tree let rec exists_leaf test tree = match tree with | Leaf v -> test v | Node (left, right) -> exists_leaf test left || exists_leaf test right let has_even_leaf tree = exists_leaf (fun n -> n mod 2 = 0) tree

OCaml is a lot more powerful than this simple example shows. See more examples!

Packages

New packages Package

Version

Date

visitors 20180306 Mar 6, 2018 ocaml-logicalform v0.6.0 Mar 6, 2018 interval 1.4 Mar 6, 2018 choice 0.3 Mar 6, 2018 zxcvbn 2.3+1 Mar 6, 2018 zstd 0.2 Mar 6, 2018

Learn Code Examples Tutorials Books Success Stories

Documentation Install Manual Packages Compiler Releases Logos

Community Mailing Lists Meetings News Support Bug Tracker

Contact Website Issues About This Site Find Us on GitHub Credits

Smile Life

When life gives you a hundred reasons to cry, show life that you have a thousand reasons to smile

Get in touch

© Copyright 2015 - 2024 PDFFOX.COM - All rights reserved.