http://www.1729.com Womcat Bookmarks for Philip Dorrell. Womcat Bookmarks 2.1.0 Programming Languages http://hush.sourceforge.net/ Smalltalk-like language - includes an implementation of a ray-tracer in the examples. Programming Languages Wed, 4 Aug 2004 14:45:01 +1200 http://lambda.weblogs.com/ Programming languages weblog. Emphasis of functional programming and other "high-level" programming languages. Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://www.confluent.org/ High-level programming language for FPGA etc. Programming Languages Wed, 4 Aug 2004 14:45:01 +1200 http://www.dur.ac.uk/CARG/epigram/ A functional programming language with dependent types. Programming Languages Wed, 4 Aug 2004 14:45:01 +1200 http://www.mike-austin.com/home/reference/languages/ A Yahoo group for people making up their own (programming) languages. Programming Languages Wed, 4 Aug 2004 14:45:00 +1200 http://why.lri.fr/ "Why" is a programming language where the programmer writes code in an ML-like language that includes annotations including pre-conditions, post-conditions, assertions, loop invariants and loop variants. The user can then generate proof obligations for various well known proof systems, which when proven true prove the correctness of their program. A separate system Krakatoa compiles Java programs annotated with JML into annotated Why programs. Verification of the generated Why program then constitutes verification of the original Java program. Programming Languages/Formal Methods Programming Languages Wed, 4 Aug 2004 14:45:00 +1200 http://www.eschertech.com/ A programming language that enables development of provably correct software. It seems to me a bit like Java, with pre-conditions, post-conditions and assertions added, and then the actual code thrown away (to be regenerated by the tool). Programming Languages/Formal Methods Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://caml.inria.fr/ On object-oriented extension to CAML, itself a variant of the ML programming language. Appears to be quite a popular functional programming language. Programming Languages/Functional Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://www.haskell.org/ The major "lazy" functional programming language. Programming Languages/Functional Programming Languages Wed, 4 Aug 2004 14:44:59 +1200 http://www.erlang.org/ An open source concurrent functional programming language, originally developed at Ericsson. Programming Languages/Functional Programming Languages/Erlang Wed, 4 Aug 2004 14:44:59 +1200 http://www.sics.se/~joe/ Joe has a number of interesting links about Erlang and programs written in that language, including Yaws, an Erlang web server, which he compares to Apache for its ability to handle massive numbers of users. Programming Languages/Functional Programming Languages/Erlang Wed, 4 Aug 2004 14:44:59 +1200 http://groovy.codehaus.org/ A new dynamically typed programming language for the JVM. Programming Languages/Groovy Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html A fairly long (and growing) list. Programming Languages/Java Programming Language Wed, 4 Aug 2004 14:44:59 +1200 http://www.ai.mit.edu/~jrb/jse/ This looks like a powerful yet useable macro facility for Java. Programming Languages/Java Programming Language/Java Programming Language Extensions Wed, 4 Aug 2004 14:44:59 +1200 http://www.cs.ubc.ca/labs/spl/projects/elide Extension Language for Iterative Design Encoding Programming Languages/Java Programming Language/Java Programming Language Extensions Wed, 4 Aug 2004 14:44:59 +1200 http://www.kryogenix.org/code/browser/sorttable/ Programming Languages/Javascript Wed, 4 Aug 2004 14:45:00 +1200 http://www.cs.berkeley.edu/~bh/logo.html Free online copies of Logo books aimed at teenager programming students. Programming Languages/Logo Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://www.logosurvey.co.uk/ A starting page for those wanting to investigate or use the Logo programming language. Programming Languages/Logo Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://www.cs.uu.nl/people/franka/lang A list of programming languages that are interesting or important from a theoretical point of view. Programming Languages/Programming Language Lists Wed, 4 Aug 2004 14:44:59 +1200 http://www.jython.org/ Jython is the Java version of Python, (Python being one of the best object-oriented scripting languages for both beginners and professionals). It runs on the JVM and easily accesses Java libraries. Programming Languages/Python Programming Language Wed, 4 Aug 2004 14:44:59 +1200 http://www.python-eggs.org/links.html Lots of python links Programming Languages/Python Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://www.python.org/ Python is an object-oriented scripting language that is very easy for beginners and at the same time provides sophisticated features for professionals. And it is all open-source ! Programming Languages/Python Programming Language Wed, 4 Aug 2004 14:44:59 +1200 http://poignantguide.net/ruby/ A fun online book about the Ruby programming language. Programming Languages/Ruby Programming Language Wed, 4 Aug 2004 14:45:00 +1200 http://sisc.sourceforge.net/ Scheme JVM interpreter Programming Languages/Scheme Programming Language Wed, 4 Aug 2004 14:45:01 +1200 http://www.cs.kent.ac.uk/projects/vital/ Visual programming for a simplified version of Haskell. Lazy evaluation naturally maps to not drawing stuff not currently visible in the window, making it easy to display infinite objects, such as exact (constructive) real numbers. Programming Languages/Visual Programming Wed, 4 Aug 2004 14:45:00 +1200