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

[Daniil Baturin <daniil@baturin.org>]

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