Tasty » Adam Sampson's language bookmarks

Sage: A Programming Language with Hybrid Type-Checking edit / delete

A functional language with a type system that lets you say things like "X is a balanced tree". Might be worth borrowing some ideas from for concurrency safety checks using a type system.

to concurrency design language programming research types ... on 07 June 2006

Bluish Coder: Javascript 1.7 edit / delete

Or possibly "Javascript the ultimate occam". ;)

to design javascript language research ... on 05 June 2006

Factor programming language edit / delete

A FORTH-style language with Lisp data types. Interesting, although I'm not convinced I'd actually want to program in it.

to design factor forth functional language lisp research ... on 20 May 2006

Computational Theology : Weblog edit / delete

The more interesting question, I feel, is whether it'd be possible to use a process-oriented approach for building web apps, where you have channels to and from the user, and your code to interact with a single user is a process. Something to play with in

to concurrency continuations design language programming research web ... on 20 May 2006

The Thousand Nights and a Night edit / delete

Various translations thereof. Very comprehensive, and the forewords are worth reading.

to amusements books etext fiction language ... on 14 May 2006

A Philosophical Grammar of Ithkuil, a Constructed Language edit / delete

A really neat -- if incredibly complicated -- design for a conlang.

to conlang language ... on 27 March 2006

Write Yourself a Scheme in 48 hours edit / delete

A Haskell tutorial that starts with "hello, world" and builds up to a Scheme subset interpreter. Fun -- "Haskell for real apps".

to haskell language research teaching ... on 27 March 2006

Pnuts User's Guide edit / delete

A scripting language for the Java VM. Apparently very fast.

to design java language programming research ... on 10 March 2006

Squawks of the Parrot: Variables and threads edit / delete

About the choice of mutable vs. immutable data for concurrent languages.

to concurrency language programming research ... on 01 March 2006

A Brief Look at C++0x edit / delete

Features that will apparently be coming to the next version of C++. Absolutely horrific, but I guess that's to be expected...

to c++ language programming research ... on 19 February 2006