From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 121D17FF36 for ; Sat, 23 Jul 2016 16:33:21 +0200 (CEST) IronPort-PHdr: 9a23:hCVFhhydRf16QlfXCy+O+j09IxM/srCxBDY+r6Qd0e8RIJqq85mqBkHD//Il1AaPBtSDra8VwLWL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzR9+Z0Jn//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpm5bsvclsspBSrnSfqIiTLUeAi5sezQ+7cjv8B3CVhen530GU2xQnAAeUCbf6xSvZJD7vzHmsaJR2WGxOtbzSvhgQzOo4r13TzfkiSwALDs+tmbNhZoj3+pgvBu9qkknkMbva4aPOa8mcw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rdicosmo@gmail.com; spf=Pass smtp.mailfrom=rdicosmo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f68.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.68 as permitted sender) identity=mailfrom; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f68.google.com) identity=helo; client-ip=74.125.82.68; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wm0-f68.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AYAwABf5NXf0RSfUpehBUtTwazVoJ2hC6FL0UDAoEjBzwQAQEBAQEBAQERAQEJCwsJFyYLgjIVgi4RHQErAQMKAw0FEDcCJBIBBQEiJw6HdAMXDpodggeBMj4xizuBSoJ6BYQ9Jw2EIAIBBRCFIoRChXCCHAstK4IvBYZWgT4MkQaFLYlBjzkChnqHaBIegQ81V4ECgQSBNzoyhn+BQgEBAQ X-IPAS-Result: A0AYAwABf5NXf0RSfUpehBUtTwazVoJ2hC6FL0UDAoEjBzwQAQEBAQEBAQERAQEJCwsJFyYLgjIVgi4RHQErAQMKAw0FEDcCJBIBBQEiJw6HdAMXDpodggeBMj4xizuBSoJ6BYQ9Jw2EIAIBBRCFIoRChXCCHAstK4IvBYZWgT4MkQaFLYlBjzkChnqHaBIegQ81V4ECgQSBNzoyhn+BQgEBAQ X-IronPort-AV: E=Sophos;i="5.28,409,1464645600"; d="scan'208,217";a="227703722" Received: from mail-wm0-f68.google.com ([74.125.82.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Jul 2016 16:33:20 +0200 Received: by mail-wm0-f68.google.com with SMTP id i5so9902250wmg.2 for ; Sat, 23 Jul 2016 07:33:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to; bh=em1hAOuhKpMjZJp7bMjylE8nIfguU+wykiKv4PDCHhQ=; b=tXOE8TUlNTSSGTbrvXU5LCF5/t8C8fDnxRs/exPXRWl9+5Q8obGyQchGgUXnnD8cgK ri3r2mXRuFNKntVASRFsoaH/VEERtjw/KRiItbVWVrOpJxSeUl1g3zD3l+Agv5e0wPeS /HssdARBUpwWeVc9gmN1H3JgCYLu7pbfxsBmusJpdgisFE8J3INoDqctITXslcup3BuD YInKp4Il8MKhmf0OdMJcoYTVgVqDLLnDDSlbWy0acQI/ABkPBfzlX78nEgvnCXyeNOh+ LodxZoyB1/dq2KfjPVVbwrCKFqlDaMOQBOEaMTEi/bUNcY04k81TIdngV/WibsxCMuUZ A/9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=em1hAOuhKpMjZJp7bMjylE8nIfguU+wykiKv4PDCHhQ=; b=FJOHLTrXO71Jg4lhjdpgL3MPm0kJHbUy6ltml95uUWtYdbFYImQNfnTTGpDt7rRiow gUBwm5cr0JFEPuTarMraXkdAZFelKYPk5mlisjuDn8szm4mBEs6ddmK4E2yrHQdxX694 jkuI++B+4PEmlzuZUPQh/PAk3NZhMg/a1M41KtqGTYpvaF9gZx2fzgr8mmNWES3+KMSW SR/RyPcZGupIzyjUeO+ZaB4YUFNiuuyU+0QWhRAD7wcjGzb4zJTYA2iQ4OT8HaVFGNaF YkxnaqVVnjbHOQlIUvs59FMQ7G/e3Jjxgn+cJkiJ6MxJ3dnHSHPyjTyBMTGZRnnd3jCW LFhQ== X-Gm-Message-State: AEkooutrkuOQdMCVyQhL4VuwhGMeOZhH91paZwrfTfw2SZAhlrCnjUQBZfoiHMDx7+gyrBU/W96/b3aDxs/AbA== X-Received: by 10.28.223.9 with SMTP id w9mr10431274wmg.65.1469284399681; Sat, 23 Jul 2016 07:33:19 -0700 (PDT) MIME-Version: 1.0 Sender: rdicosmo@gmail.com Received: by 10.28.129.200 with HTTP; Sat, 23 Jul 2016 07:33:18 -0700 (PDT) From: Roberto Di Cosmo Date: Sat, 23 Jul 2016 16:33:18 +0200 X-Google-Sender-Auth: v4fBNER6LAue9llqCS_FssRZKDs Message-ID: To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a114b1720b7990d05384e6ec4 Subject: [Caml-list] ANN: registrations open for the OCaml MOOC! (with subtitles, and a broader call) --001a114b1720b7990d05384e6ec4 Content-Type: text/plain; charset=UTF-8 We announced the opening of the registrations for the OCaml Mooc a little more than a week ago, and we got several great suggestions on how to improve the communication around this course. As a first point, we forgot to mention that the course is indeed in English, but subtitles are available, both in English and French (thanks to a great many volunteers, with special thanks to Jean-Francois Monin that took care of the french version entirely by himself!) As a second remark, we need to reach out to a wider public that does not know much of functional programming or OCaml, while the text of the previous announcement was more oriented to our own community. You will find here below an announcement text specifically designed for a broader community (with many thanks to Julia Lawall for her help!) Feel free to forward wherever you may see fit: let's not be shy, future functional programmers may hide in unexpected places! -- Roberto Di Cosmo, Yann Regis-Gianas, Ralf Treinen, with Benjamin Canou and Gregoire Henry Learn functional programming with the OCaml programming language: registrations are open! ------------------------------------------------------------------------------------------------------------------------------- Functional programming is attracting interest from a broad range of developers because it allows to write expressive, concise and elegant programs. The course "Introduction to Functional programming using the OCaml language" introduces gradually the central notions of functional programming, via a set of video courses that are complemented by a rich set of interesting exercises that you can perform fully in your browser... Yes, this means you can start learning functional programming without any hassle: nothing to install, nothing to tune up: the programming environment is just one click away! During the course, you will discover powerful mechanisms that allow to build and manipulate complex data structures in a clean and efficient way. And you will see how functions play a central role, as first-class values that can be freely used in any place where an expression can appear. Registrations are already open at https://www.fun-mooc.fr/courses/parisdiderot/56002S02/session02/about The course will start on September 26th 2016, and will run for six weeks. Your expected effort is between 2 and 6 hours per week, depending on your background, including the time spent watching the the short video sequences of the course, that total approximately an hour per week. This may seem a significant effort, but at the end of the course you will have actually learned a lot: the final programming project will confirm that you acquired a good mastery of functional programming and the ability to develop medium sized programs with ease. Thousands of learners attended the first run of this course that ended in January 2016, and the many that completed it were extremely satisfied. To introduce you to functional programming, we have chosen to use the OCaml programming language. OCaml is a rich, elegant, efficient programming language that reconciles the conciseness and flexibility of untyped programming languages (like Python, for example) with the safety of strongly typed programming languages (like Java, for example), and that has a vibrant user community. Facebook, Microsoft, JaneStreet, Bloomberg are some big names in industry that adopted OCaml to develop cutting edge applications. The research community uses OCaml for writing tools like the proof assistant Coq, the Coccinelle program transformer, the Frama-C code analyser, or the Astree static analyser. Several start ups use OCaml to obtain tenfold gains in productivity and stability of their code base. Once you have started mastering functional programming using OCaml, we are sure that other programming languages will never look the same to you again. This course will be held in English, but subtitles are already available both in English and in French. Prerequisites ------------- To take full advantage of this course you should have already some basic knowledge of computer programming, in particular you should already know how to write simple computer programs in some programming language. For instance, you should know concepts like variables (or identifiers), functions (or procedures, methods), conditionals, and loops. --001a114b1720b7990d05384e6ec4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
We announced the opening of the regist= rations for the OCaml Mooc a little more than a week ago, and we got severa= l great suggestions on how to improve the communication around this course.=

As a first point, we forgot to mention that the course is ind= eed in English, but subtitles are available, both in English and French (th= anks to a great many volunteers, with special thanks to Jean-Francois Monin= that took care of the french version entirely by himself!)

As= a second remark, we need to reach out to a wider public that does not know= much of functional programming or OCaml, while the text of the previous an= nouncement was more oriented to our own community.

You will fi= nd here below an announcement text specifically designed for a broader comm= unity (with many thanks to Julia Lawall for her help!)

Feel fr= ee to forward wherever you may see fit: let's not be shy, future functi= onal programmers may hide in unexpected places!

--
Roberto Di Cosmo, Yann Regis-Gianas, Ralf Treinen, with Benjamin Canou and = Gregoire Henry


Learn functional programming with the = OCaml programming language: registrations are open!
--------------------= ---------------------------------------------------------------------------= --------------------------------

Functional programming i= s attracting interest from a broad range of
developers because it allows to write expressive, concise and elegant
programs.

The course "Introduction to Functional programming using the OCaml
language" introduces gradually the central notions of functional
programming, via a set of video courses that are complemented by a rich set=
of interesting exercises that you can perform fully in your browser... Yes,=
this means you can start learning functional programming without any
hassle: nothing to install, nothing to tune up: the programming environment=
is just one click away!

During the course, you will discover powerful mechanisms that allow to
build and manipulate complex data structures in a clean and efficient way.<= br> And you will see how functions play a central role, as first-class values that can be freely used in any place where an expression can appear.

Registrations are already open at

=C2=A0 https://www.fun-mooc.fr/= courses/parisdiderot/56002S02/session02/about

The course will start on September 26th 2016, and will run for six weeks.
Your expected effort is between 2 and 6 hours per week, depending on your background, including the time spent watching the the short video sequences=
of the course, that total approximately an hour per week.

This may seem a significant effort, but at the end of the course you will have actually learned a lot: the final programming project will confirm
that you acquired a good mastery of functional programming and the ability<= br> to develop medium sized programs with ease.

Thousands of learners attended the first run of this course that ended in January 2016, and the many that completed it were extremely satisfied.

To introduce you to functional programming, we have chosen to use the
OCaml programming language. OCaml is a rich, elegant, efficient programming=
language that reconciles the conciseness and flexibility of untyped
programming languages (like Python, for example) with the safety of
strongly typed programming languages (like Java, for example), and that has=
a vibrant user community.

Facebook, Microsoft, JaneStreet, Bloomberg are some big names in industry that adopted OCaml to develop cutting edge applications.=C2=A0 The research=
community uses OCaml for writing tools like the proof assistant Coq, the
Coccinelle program transformer, the Frama-C code analyser, or the Astree
static analyser.=C2=A0 Several start ups use OCaml to obtain tenfold gains = in
productivity and stability of their code base.

Once you have started mastering functional programming using OCaml, we are<= br> sure that other programming languages will never look the same to you
again.

This course will be held in English, but subtitles are already available
both in English and in French.

Prerequisites
-------------

To take full advantage of this course you should have already some basic
knowledge of computer programming, in particular you should already know
how to write simple computer programs in some programming language. For
instance, you should know concepts like variables (or identifiers),
functions (or procedures, methods), conditionals, and loops.
--001a114b1720b7990d05384e6ec4--