[Caml-list] Jane St Capital Ocaml Summer Project code?

2008-11-11 Thread Erik de Castro Lopo
Hi all,

It seems that the Ocaml Summer Project has finished:

http://osp.janestreet.com/wordpress/?p=30

and I'm wondering if the code going to be released this year like
it was last year? The 2007 code is available at

svn://osprepo.janestcapital.com/osp/2007

but there is no sign of any of the 2008 projects.

Cheers,
Erik
-- 
-
Erik de Castro Lopo
-
One serious obstacle to the adoption of good programming languages is
the notion that everything has to be sacrificed for speed. In computer
languages as in life, speed kills. -- Mike Vanier

___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


Re: [Caml-list] Jane St Capital Ocaml Summer Project code?

2008-11-11 Thread Yaron Minsky
Jane Street didn't host source code repos this year, so you need to go to
the participants sites to get the source.  Here's the post-mortem posted on
Jane Street's blog:

http://ocaml.janestreet.com/?q=node/38

That includes links to most of the projects home pages.  There are two
exceptions: EasyOCaml and the parallel GC project.  Both of those are
working on some final polishing and should have websites up reasonably soon.

y

On Tue, Nov 11, 2008 at 7:58 PM, Erik de Castro Lopo 
[EMAIL PROTECTED] [EMAIL PROTECTED] wrote:

 Hi all,

 It seems that the Ocaml Summer Project has finished:

http://osp.janestreet.com/wordpress/?p=30

 and I'm wondering if the code going to be released this year like
 it was last year? The 2007 code is available at

svn://osprepo.janestcapital.com/osp/2007

 but there is no sign of any of the 2008 projects.

 Cheers,
 Erik
 --
 -
 Erik de Castro Lopo
 -
 One serious obstacle to the adoption of good programming languages is
 the notion that everything has to be sacrificed for speed. In computer
 languages as in life, speed kills. -- Mike Vanier

 ___
 Caml-list mailing list. Subscription management:
 http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
 Archives: http://caml.inria.fr
 Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
 Bug reports: http://caml.inria.fr/bin/caml-bugs

___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


Re: [Caml-list] [ANN] OCaml-Java project: 1.1 release

2008-11-11 Thread Warren Harris


On Nov 11, 2008, at 8:17 AM, [EMAIL PROTECTED] - [EMAIL PROTECTED] wrote:



Your (dual) suggestion of compilation of Java sources
into either OCaml sources of OCaml binaries for ocamlrun
(or even interpretation of Java bytecode) is interesting.
The Java language is clearly easy to parse, type, and
compile. However, the runtime support library would
be quite large (listing only the first items that come to
mind):
 - implementation of a 'native' method from the JDK;


As the original designer of the Java native method mechanism (JRI at  
netscape which became JNI at Sun)... I'll be the first to say that I'd  
be very happy to write all my native methods using ocaml's methodology.




 - explicit encoding of the algorithm for message dispatch;
 - explicit encoding of elements need by the reflection
   mechanism.


Reflection is another feature of Java that one could get pretty far  
without. Certainly when porting an application to a new VM this would  
be a consideration, but when developing a new application, there are  
simple alternatives that avoid much of the need for reflection.




At the opposite, the Java compiler performs the bare minimum
checks. Then, at runtime the bytecode is verified before
execution. More, through the security manager some
checks are done at runtime to verify if the JVM is allowed
to access a file, open a network connection, etc.
All these runtime checks are obiously needed to grant the
user that some code will not harm its computer (e.g. inside
applets).


Java's focus on downloaded applet security and JIT compilation made a  
lot of sense in the browser world, but is somewhat useless in a server  
context, which is where most java applications are deployed today. I  
think that a server-only subset of Java could make a lot of sense,  
particularly in conjunction with a VM such as ocaml's that provides  
superior performance and footprint. I think many developers would  
happily sacrifice a few language features for performance.


Warren

smime.p7s
Description: S/MIME cryptographic signature
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs