From: Daniil Baturin <daniil@baturin.org>
To: caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC
Date: Wed, 22 Jul 2015 23:26:03 +0600 [thread overview]
Message-ID: <55AFD22B.3000902@baturin.org> (raw)
In-Reply-To: <20150722075530.GA32202@traveler>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
That's really cool, subscribed.
Are you planning to make a Coq MOOC in the future?
On 07/22/2015 01:55 PM, Roberto Di Cosmo wrote:
> We are very pleased to announce the massive, open, online course
>
> Introduction to Functional Programming in OCaml
>
> the first MOOC entirely devoted to our beloved OCaml programming language.
>
> All the information on the course, including a teaser video, is
available at
>
>
https://www.france-universite-numerique-mooc.fr/courses/parisdiderot/56002/session01/about
>
> The course is in english, starts from the basics, and goes on for
seven weeks up
> to the module system.
>
> An interactive exercise environment will allow to do the exercises in the
> browser, with an online evaluation integrated in the learning system;
as you
> expect, this is based on tryocaml and js_of_ocaml, and is a unique
> distinguishing feature of this MOOC.
>
> The learning platform happens to be called FUN (yes, great to have fun
with
> functional programming :-)), that is a variant of Open EdX run by the
french
> ministry of education.
>
> The registration is open, and the course will start on October 19th.
>
> We finally have a MOOC on OCaml, a great tool to bring functional
> programming and our preferred programming language to a wide audience:
> now, let's tell the world! Use your social networks, mailing lists,
> professional and non professional conferences to spread the world.
>
> And see you soon for our first course :-)
>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQIcBAEBCAAGBQJVr9IrAAoJEEcm35UR4K8f7+8QAIrUgjVxB42pc90cPt2Wpt0n
HyoY7hyW1o506ZUsu6WyTSMfpaHWsE+MdMJtMhyOeN0Ymi8Cmheo+N8s/qBYPpeX
ppPafcT2HmlIiqNVDjIs947uUk5jVkkA1Kwf4e6ox+wFbhk+zKyb8liEwHKlhKac
LRP/wHRrPkLywFoyUs+CW2VsCSeDooS8JAhTxlrnXm47b7u7sfIVfzA/Tc4lJGPY
9ZxxSbmv4C5EV2jDC9BRYy1qKwqOX18H+VPbAi5848xz88a/yF4XAVp8gWkMUOio
wRt9xHYj1SC3f+A1TttVEIwFxFXhLdh8rtQA2oUn7BC6SM7HTxkXn1EcVTQxOn9g
I+hCJTwnyczbP1S2FrhiyBH3l48rV+demX64lbHbnUHF51xLdqLxGboJY9kFaNSZ
BLZsJEbz4kr+mq7iYRfNMFZMnPDq10aOm6lPgLo+b66twRGaoxDMRtbKqMO4bbiN
W/2pcO8opyrBnJO/MYwqaTkwTdMKQ+8JXa4OdrL2/Ga3/rSVd7rzsE/0+VjbAJXj
vtD9pazUBM1hp3Q6awZ/d1a45I/z50wFaLMjHocE/FQCyfbZf+wVt3HimvoiveaR
N70d6mB111UK/UWZeQqcqz/4nbMRd4deqjIAvHDOJUPshmeIca/FFHZ2hWp6rEAj
UKVAe9+pnGB/6+3nzKdz
=dF2x
-----END PGP SIGNATURE-----
next prev parent reply other threads:[~2015-07-22 17:26 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-22 7:55 Roberto Di Cosmo
2015-07-22 15:10 ` rixed
2015-07-22 17:26 ` Daniil Baturin [this message]
2015-07-22 17:36 ` Kenneth Adam Miller
2015-07-22 18:53 ` Daniil Baturin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=55AFD22B.3000902@baturin.org \
--to=daniil@baturin.org \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox