Re: [Caml-list] Applications written in O'Caml

Re: [Caml-list] Applications written in O'Caml

[Ryan Tarpine]

>From: Vincent Foley <vinfoley@iquebec.com>
>To: caml-list@inria.fr
>Subject: [Caml-list] Applications written in O'Caml
>Date: Fri, 12 Apr 2002 11:51:27 -0400
>
>On http://caml.inria.fr, there's a section mentionning some applications
>written in O'Caml.  I'm pretty sure this list is not quite up to date
>(considering that a very nice application, Active DVI, is not included
>there.)  I'd like to know, besides the application mentionned there and
>Active DVI, are there other significant applications written in O'Caml?
>
>...

I wouldn't call this a significant application, but I thought it would be 
nice to announce this now, anyway:  my science fair project.  I wrote an 
interpreted programming language dubbed Orion that had a simple English-like 
syntax (inspired partly by Ada), first-class functions (with closures, of 
course), run-time modifiable classes, and exception handling.  One 
interesting thing I added was the ability to change the class of an object 
at runtime; you can change the methods it responds to, thereby changing its 
interface, or (keeping the same interface) how methods are implemented (i.e. 
a random number generator object could always store a seed and by changing 
its class the next number could be generated differently).

Just last night was the awards ceremony, where it won special awards from 
Intel and Yale and the first place in eleventh grade computer science 
(getting me a half-scholarship to Drexel).  Unfortunately I did not move on 
to the international science fair (only three from each grade can go; this 
fair was at the regional level - Pennsylvania, Delaware, and New Jersey 
area).  It wouldn't have been possible without help from this list, 
especially Rémi Vanicat.  Thank you for answering all of my silly questions!

Ryan Tarpine, rtarpine@hotmail.com
"To err is human, to compute divine.  Trust your computer but not its 
programmer."
  - Morris Kingston


_________________________________________________________________
MSN Photos is the easiest way to share and print your photos: 
http://photos.msn.com/support/worldwide.aspx

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[David McClain]

Bravo Ryan!

This is a tremendous acheivement for someone so young! I am quite pleased to
hear of it. Keep up the fabulous work!

David McClain, Sr. Scientist, Raytheon Missile Systems Co., Tucson, AZ

----- Original Message -----
From: "Ryan Tarpine" <rtarpine@hotmail.com>
To: <caml-list@inria.fr>
Sent: Friday, April 12, 2002 5:35 PM
Subject: Re: [Caml-list] Applications written in O'Caml


> >From: Vincent Foley <vinfoley@iquebec.com>
> >To: caml-list@inria.fr
> >Subject: [Caml-list] Applications written in O'Caml
> >Date: Fri, 12 Apr 2002 11:51:27 -0400
> >
> >On http://caml.inria.fr, there's a section mentionning some applications
> >written in O'Caml.  I'm pretty sure this list is not quite up to date
> >(considering that a very nice application, Active DVI, is not included
> >there.)  I'd like to know, besides the application mentionned there and
> >Active DVI, are there other significant applications written in O'Caml?
> >
> >...
>
> I wouldn't call this a significant application, but I thought it would be
> nice to announce this now, anyway:  my science fair project.  I wrote an
> interpreted programming language dubbed Orion that had a simple
English-like
> syntax (inspired partly by Ada), first-class functions (with closures, of
> course), run-time modifiable classes, and exception handling.  One
> interesting thing I added was the ability to change the class of an object
> at runtime; you can change the methods it responds to, thereby changing
its
> interface, or (keeping the same interface) how methods are implemented
(i.e.
> a random number generator object could always store a seed and by changing
> its class the next number could be generated differently).
>
> Just last night was the awards ceremony, where it won special awards from
> Intel and Yale and the first place in eleventh grade computer science
> (getting me a half-scholarship to Drexel).  Unfortunately I did not move
on
> to the international science fair (only three from each grade can go; this
> fair was at the regional level - Pennsylvania, Delaware, and New Jersey
> area).  It wouldn't have been possible without help from this list,
> especially Rémi Vanicat.  Thank you for answering all of my silly
questions!
>
> Ryan Tarpine, rtarpine@hotmail.com
> "To err is human, to compute divine.  Trust your computer but not its
> programmer."
>   - Morris Kingston
>
>
> _________________________________________________________________
> MSN Photos is the easiest way to share and print your photos:
> http://photos.msn.com/support/worldwide.aspx
>
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives:
http://caml.inria.fr
> Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ:
http://caml.inria.fr/FAQ/
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Applications written in O'Caml

[Vincent Foley]

On http://caml.inria.fr, there's a section mentionning some applications
written in O'Caml.  I'm pretty sure this list is not quite up to date
(considering that a very nice application, Active DVI, is not included
there.)  I'd like to know, besides the application mentionned there and
Active DVI, are there other significant applications written in O'Caml?

Regards,
  Vincent

P.S.: I also meant to ask: does anyone know schools where students are
given programming classes with O'Caml?

-- 

Vincent Foley-Bourgon
Email: vinfoley@iquebec.com
Homepage: http://darkhost.mine.nu:81
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Benjamin C. Pierce]

> P.S.: I also meant to ask: does anyone know schools where students are
> given programming classes with O'Caml?

The intro computer science sequence at the University of Pennsylvania
uses OCaml for the first two months (then switches to Java).

         http://www.seas.upenn.edu/~cse120/home.html

   -- Benjamin
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Oliver Bandel]

On Fri, 12 Apr 2002, Benjamin C. Pierce wrote:

> > P.S.: I also meant to ask: does anyone know schools where students are
> > given programming classes with O'Caml?
> 
> The intro computer science sequence at the University of Pennsylvania
> uses OCaml for the first two months (then switches to Java).

Why do they use Ocaml?
Why do they swithc to Java?

Ciao,
   Oliver

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Benjamin C. Pierce]

> Why do they use Ocaml?

Basically the obvious reasons: using a functional language with a nice
small core means that you can go directly into *programming* right at the
beginning of the semester.  We start with simple recursive numerical
algorithms, then move quickly into manipulating lists, trees, sorting,
searching, etc.  The final assignment in OCaml involves modifying an
evaluator for a tiny OCaml-core-like language.

> Why do they swithc to Java?

Basically the obvious reasons: to introduce objects (in a "conventional"
style), and so that students can get summer jobs.

     Benjamin

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Maxence Guesdon]

> On http://caml.inria.fr, there's a section mentionning some applications
> written in O'Caml.  I'm pretty sure this list is not quite up to date
> (considering that a very nice application, Active DVI, is not included
> there.)  I'd like to know, besides the application mentionned there and
> Active DVI, are there other significant applications written in O'Caml?

You can see applications written in ocaml here :
http://caml.inria.fr/humps/caml.html#Applications

If someone knows about other applications, just let me know :

hump@pauillac.inria.fr

--
Maxence Guesdon
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Warp]

> P.S.: I also meant to ask: does anyone know schools where students are
> given programming classes with O'Caml?

The 4th year Univerty (maitrise) in Computer Sciences at Bordeaux got a
module called "Advanced Programming" where you can get a little taste of
OCaml.

Nicolas Cannasse

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[eijiro_sumii]

From: Vincent Foley <vinfoley@iquebec.com>
> P.S.: I also meant to ask: does anyone know schools where students are
> given programming classes with O'Caml?

The department of information science in u-tokyo has been practicing a
rather ambitious curriculum involving functional languages, including
OCaml, for undergraduate students.

 - In the winter semester of the 2nd year, Scheme is taught, where the
   last assignment is implementing a meta-circular Scheme interpreter.

 - In the summer semester of the 3rd year, OCaml (and also Prolog) is
   taught, where the assignments include implementing a mini-ML
   interpreter with ML-polymorphic type inference (and also a
   mini-Prolog interpreter in ML).

 - In the winter semester of the 3rd year, students implement a
   compiler of a simply typed higher-order functional language.  This
   is linked with another class where students design and implement
   their own original CPUs, onto which a ray tracer written in mini-ML
   is compiled and its speed is competed.

These may sound like crash courses, but given enough help, most
students just do fine, maybe because our department is rather small
(there are only 30-40 students per year).

--
Eijiro Sumii (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/)
Research Associate of Yonezawa Group, University of Tokyo
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Michael Vanier]

From: Vincent Foley <vinfoley@iquebec.com>
> P.S.: I also meant to ask: does anyone know schools where students are
> given programming classes with O'Caml?

Here at Caltech, the compiler design class is taught using ocaml as the
implementation language.  Also, a new course on type theory is being taught
this term, using the book "Types in Programming Languages" by Benjamin
Pierce, which uses ocaml for all its examples.  I teach a programming
languages/projects course, and two of my students are doing their project
with ocaml.  As one of them said "I have yet to meet a serious hacker who
learned ocaml and didn't like it."  I feel the same way.

Mike
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Applications written in O'Caml

[Nicolas barnier]

Vincent Foley wrote:
> 
> P.S.: I also meant to ask: does anyone know schools where students are
> given programming classes with O'Caml?

The engineer students with a major in IT at the French University of Civil
Aviation (ENAC, Toulouse - www.enac.fr) are given OCaml courses during the
first year (it is the first programming language taught here), followed by
an algorithmic course with implementation in OCaml. They can use the
language in their final project (3rd year) as well.

Some first year students arrives here with a little practice learned during
the " classes préparatoires aux grandes écoles " (two or three years of
intense preparatory courses before entering an engineering school) if they
have chosen optional IT classes (or something like that, I'm not to sure).

BTW, our students often are eager to work abroad for their final training
period, if it's what you meant... (and those willing to developp with OCaml
are often the best ones :-)

Regards

-- Nicolas Barnier
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

[Caml-list] Applications written in O'Caml

[Jacek Chrzaszcz]

Vincent Foley writes:
 > P.S.: I also meant to ask: does anyone know schools where students are
 > given programming classes with O'Caml?
 > 

Hello list,

At Warsaw University, first-year students have the "Introduction to
programming" course. Since last year a part of them (about one third)
- the volunteers - are taught the functionnal approach, using
Ocaml. They are doing fine, but one can see that most of them already
know C or Pascal.

By the way, it is a great pleasure to see how the understanding of
such functions like fold is slowly coming to them :-)

Later in the cursus (about the third-fourth year), there is a more
"serious" functionnal programming course. The practical things are
taught using Ocaml, SML or sometimes Haskel (with some deeper insight
on the laziness), depending on the person who does the course.

Cheers

Jacek
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners