« earlier | later » Page 4 of 6
Sage: A Programming Language with Hybrid Type-Checking
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
Or possibly "Javascript the ultimate occam". ;)
to design javascript language research ... on 05 June 2006
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
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
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
A really neat -- if incredibly complicated -- design for a conlang.
Write Yourself a Scheme in 48 hours
A Haskell tutorial that starts with "hello, world" and builds up to a Scheme subset interpreter. Fun -- "Haskell for real apps".
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
About the choice of mutable vs. immutable data for concurrent languages.
to concurrency language programming research ... on 01 March 2006
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
« earlier | later » Page 4 of 6
| - language | |
| 1 | ag0700 |
| 7 | amusements |
| 1 | apl |
| 1 | arabic |
| 1 | books |
| 2 | c |
| 2 | c++ |
| 1 | cantonese |
| 1 | china |
| 3 | chinese |
| 1 | comics |
| 3 | compiler |
| 9 | concurrency |
| 1 | concurrent |
| 3 | conlang |
| 1 | continuations |
| 1 | cooking |
| 1 | debian |
| 19 | design |
| 2 | dictionary |
| 1 | documentation |
| 4 | english |
| 4 | etext |
| 1 | etymology |
| 1 | europe |
| 1 | factor |
| 2 | fiction |
| 1 | food |
| 1 | forth |
| 1 | functional |
| 1 | german |
| 1 | graphics |
| 1 | gtk |
| 4 | haskell |
| 5 | history |
| 1 | i18n |
| 1 | ipc |
| 1 | jane-austen |
| 1 | japan |
| 1 | japanese |
| 2 | java |
| 1 | javascript |
| 57 | language |
| 2 | language-design |
| 5 | linguistics |
| 1 | lisp |
| 1 | mandarin |
| 1 | manuscript |
| 1 | maths |
| 1 | mongolian |
| 1 | name |
| 1 | networking |
| 1 | nlp |
| 1 | os |
| 1 | parallel |
| 1 | parallelism |
| 1 | patterns |
| 1 | preservation |
| 1 | processing |
| 18 | programming |
| 2 | pronunciation |
| 1 | prototypes |
| 3 | python |
| 26 | research |
| 3 | retrocomputing |
| 1 | scandinavia |
| 3 | scotland |
| 6 | scots |
| 1 | scripting |
| 1 | sf |
| 1 | shanghai |
| 2 | software |
| 1 | standardisation |
| 1 | stemming |
| 1 | syntax |
| 2 | teaching |
| 1 | technical |
| 1 | text |
| 3 | translation |
| 1 | travel |
| 1 | types |
| 1 | vector |
| 1 | vietnamese |
| 1 | web |
| 2 | writing |
tasty by Adam Sampson.