[Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC

[Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC

[Roberto Di Cosmo]

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 :-)

-- 
Roberto Di Cosmo, Yann Regis-Gianas and Ralf Treinen

Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC

[rixed]

-[ Wed, Jul 22, 2015 at 09:55:30AM +0200, Roberto Di Cosmo ]----
>    https://www.france-universite-numerique-mooc.fr/courses/parisdiderot/56002/session01/about

Would this be possible to reference this MOOC on some other online education
services such as edx or coursera, that have more visibility?

Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC

[Daniil Baturin]

-----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-----

Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC

[Kenneth Adam Miller]

[-- Attachment #1: Type: text/plain, Size: 3012 bytes --]

I'm all in for a Coq MOOC :)

By the way, here's an excellent page with lots of videos of Coq, formal
methods and mathematics from the best of the best.
http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html

On Wed, Jul 22, 2015 at 1:26 PM, Daniil Baturin <daniil@baturin.org> wrote:

>
> -----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-----
>
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 4251 bytes --]

Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC

[Daniil Baturin]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Oregon Summer School is great, but the best part of MOOCs is the homework.
Once you have some experience, you can make up toy problems and verify
the correctness of your solution yourself, but if you are new to
something else, well-defined toy problems and automated verification
help a lot to check if you got it right and to stay engaged.


On 07/22/2015 11:36 PM, Kenneth Adam Miller wrote:
> I'm all in for a Coq MOOC :)
>
> By the way, here's an excellent page with lots of videos of Coq,
formal methods and mathematics from the best of the best.
> http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html
>
> On Wed, Jul 22, 2015 at 1:26 PM, Daniil Baturin <daniil@baturin.org
<mailto:daniil@baturin.org>> wrote:
>
>
> 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 :-)
>
>
>
>
>
>
>
>     --
>     Caml-list mailing list.  Subscription management and archives:
>     https://sympa.inria.fr/sympa/arc/caml-list
>     Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>     Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJVr+a1AAoJEEcm35UR4K8f6ZUP/3hwYdJIeZavQaAdeuyTQIBz
ewBZkkl73rbQl1hiOCPjuRCkn9sJ9fwiONuokLTS2ATvuIabV6Jso79OKYfZ3yof
R5p/UP+sMDdpbzCT0qAXWG79pmJaRFFB0zO2dvY94Dp1QfV6WQWgVvjfWkoRikin
WhwHuxwDTxAX7Q/nAX9spoJvWwwReL0gRB2zShjcQEiXfN7MGxOM2UziF0Iw0pTf
hQ1s1dBV0V5hLQ7sM/leQh2+ZPuCfjJ5wYK1ScnbOd5sA4eHPpf3rFcirsjgl50G
p954Db3BKtTfrbTQtO6E8vaTHxwzJWDr3ToQh9nsqm9yREJwy5TzMYK3grREOJoW
MNgMniJmOV0muyejknDzd5Y1qRloufTfklo1MP56+jOVLFmIKT3+qoGj5Xw3vHeS
H8P07wxULJxIYF95op1D2tYVo7qnrk48gxj0LRXZdF4SAy05ef3PHN/NU9V/mkXp
zwHkL9Fhflz6Pf72seB0QSblqPq8D7oSMJ4S/mbJhk9TKWJ1Cjuvk6euGNOaPePY
jqCjglW5FS0Zoe/zJlCJN3ApUoKd0FdJ9FL/8vSjpY8oNEvWE9WEDsBQY0dAkNB8
8UPPFIz2OEhlwO1iCDL18ANLd1E1I89IUc+hown/fjZT8AT8GCm4w+m1gkHIwtYh
C+EH6Q+cPoJRIfqP3c38
=7Yh4
-----END PGP SIGNATURE-----