mads-hartmann.com
OCaml Briefly
http://mads-hartmann.com/ocaml/2014/11/13/ocaml-briefly.html
This document gives you a brief tour of OCaml. It covers a rather small selection of features; the selection has been based on what features I personally think represent OCaml the best. This document does very little to explain use-cases for the selected features but rather focuses on syntax. For a more in-depth coverage of all of these features I recommend reading the OCaml Document and User's Manual. And Real World OCaml. If you have any comments please reach out to me at mads379@gmail.com. Let identif...
samuelbosch.com
Benchmarking reading binary values from a file with F#, Python, Julia, R, Go and OCaml
http://www.samuelbosch.com/2014/07/benchmarking-reading-binary-values-from.html
Software developer, PhD candidate and more . Benchmarking reading binary values from a file with F#, Python, Julia, R, Go and OCaml. In one of my recent posts I showed some F# code for storing and reading integers as binary data. Since then I've created different versions of the reading part in Python. Below table shows the benchmark results for reading 10 times 10000 values and 10000 times 10 values with links to the source code files in the different programming languages:. 10 times 10000 values. Julia...
coq.io
Coq.io
http://coq.io/getting_started.html
Write a Hello World. Verification by use cases. To install the Coq.io. Library, enable the Coq OPAM repository:. Opam repo add coq-released https:/ coq.inria.fr/opam/released. Opam install -j4 -v coq-io-system. This will install the main library. And some basic effects. To interact with your operating system. Write a Hello World. Open your favorite Coq. We load some libraries and write the. Program by calling the. Function to print a message on the terminal. The return type of the program is. The followi...
blogs.janestreet.com
ocaml :: Jane Street Tech Blogs
https://blogs.janestreet.com/tag/ocaml-1
Converting a code base from camlp4 to ppx. Wed, 2015/07/08 - 12:35pm - Jeremie Dimino OCaml. As with many projects in the OCaml world, at Jane Street we have been working on migrating from camlp4 to ppx. After having developed equivalent ppx rewriters for our camlp4 syntax extensions, the last step is to actually translate the code source of all our libraries and applications from the camlp4 syntax to the standard OCaml syntax with extension points and attributes. For instance to translate code using.
ocamljava.org
OCaml-Java
http://www.ocamljava.org/index.html
The goal of the project is to provide seamless integration of OCaml and Java: run OCaml code on a JVM, and manipulate Java entities from OCaml. The third alpha version is finally available, fixing several bugs, and enhancing the Java library. A new alpha version has been released, fixing several blocking / annoying bugs. 100% OCaml, 100% Java. Applications, applets and servlets. The runtime library does not rely on a global lock, and takes advantage of the Java GC to enable shared-memory concurrent progr...
minimalprocedure.pragmas.org
Invito alla programmazione funzionale
http://minimalprocedure.pragmas.org/writings/Invito_alla_programmazione_funzionale/invito.html
Author: Massimo Maria Ghisalberti - pragmas.org ( massimo.ghisalberti@pragmas.org. Mode 8.3.6). Invito alla programmazione funzionale. 1 Il paradigma funzionale e l'insegnamento. Il paradigma funzionale e l'insegnamento. Il paradigma funzionale di programmazione è, a mio avviso, estremamente utile nell'insegnare la programmazione dei computer ai ragazzi e nel favorire lo sviluppo del pensiero computazionale. Questi sono a grandi linee le caratteristiche che stanno alla base. 10 5 = 15. Delle funzioni....
blagrants.blogspot.com
Blag's bag of rants: marzo 2015
http://blagrants.blogspot.com/2015_03_01_archive.html
Blag's bag of rants. My Rants related to SAP, Scripting Languages, Technologies and everything else I wanted to talk about. Jueves, 19 de marzo de 2015. Real World OCaml - Book Review. I finally finished reading the Real World OCaml. Bookand I really enjoyed it -:). The more you read this book, the more you're going to like OCaml.it's a really nice language -:). By the way.the book is 509 pages.so it's pretty long.but full of examples and demonstrations. Alvaro "Blag" Tejada Galindo. Is not easy.I ha...
SOCIAL ENGAGEMENT