The BETA Language Home Page

Smalltalk/Simula-inspired language which replaces classes and similar entities with "patterns", and has some (very primitive) concurrency facilities.

to beta concurrency language-design oo ... on 14 January 2010

Wasp Lisp Developments

Another Lispy language with lightweight concurrency.

to concurrency language-design lisp research wasp ... on 18 December 2009

Mythryl

SML-inspired practical "engineered" language. The design notes are quite interesting.

to functional language-design mythryl programming ... on 07 December 2009

B tutorial

Explains, among other things, why system() is called that. Worth reading. Doing an implementation of B for modern processors (on top of LLVM?) would be an interesting exercise...

to b history language-design retrocomputing ... on 21 November 2009

SNOBOL4.ORG: SNOBOL4 Resources

SNOBOL is interesting in that it's a dynamically-typed language with (what these days we'd call) a combinator parser built in -- although it's not a structured language. Free implementations exist.

to language-design parsing programming snobol software ... on 27 October 2009

IvyWiki : Home Page

C with additional static checking.

to c concurrency language-design research ... on 16 October 2009

a-z of programming languages - Computerworld

Series on the design of programming languages, including things like the Bourne shell -- very interesting stuff.

to computing language-design programming retrocomputing ... on 21 August 2009

speleotrove.com

Mike Cowlishaw -- the guy behind Rexx, various decimal arithmetic stuff, and some early Acorn notes.

to acorn fp language-design maths retrocomputing rexx ... on 21 June 2009

The SR Programming Language

A multi-paradigm language for teaching concurrent programming. They have a generalised idea of interactions between processes which is probably worth stealing ideas from.

to concurrrency language-design research teaching ... on 02 May 2009

McIlroy on Coroutines

A good description of coroutines, with a suggested syntax for Pascal-like languages. There are some parallels here with PHW's suggestions for mobile process syntax.

to concurrency coroutines language-design research ... on 04 December 2008

Tags related to language-design

- language-design
 
1 1ml
1 6502
1 acorn
4 ag0700
4 ag0803
3 algol
1 amiga
6 amusements
1 arabic
1 architecture
1 audio
1 autocode
1 awk
1 b
1 bbc
1 bcpl
1 benchmarking
1 beta
1 bf
1 books
1 bounds-checking
16 c
13 c++
2 c++11
2 c++14
1 c64
1 clang
1 client-server
2 cmp201
7 cmp409
1 commodore
14 compiler
1 computing
17 concurrency
1 concurrrency
1 coroutines
2 correctness
2 cosmos
1 data
1 data-structures
2 dynamic
1 e
1 emas
2 erlang
2 errors
1 es
1 esoteric
2 etext
1 exceptions
1 experiment
1 f
1 false
1 find
1 formal-methods
3 forth
2 fortran
1 fp
1 ftwalk
11 functional
1 future
1 gc
1 generator
3 generics
1 gnu
5 go
2 graphics
3 haskell
1 hawk
6 history
1 ibm
1 include
3 indentation
2 iso
1 iterator
1 java
1 javascript
1 kent
1 krc
1 langsec
2 language
127 language-design
3 lisp
1 lobster
1 lua
1 lv2
1 maths
2 memory
1 mercurial
4 ml
1 mobile
1 modelling
1 module
1 modules
1 monad
1 multimedia
1 music
1 mythryl
1 nim
1 oberon
2 obfuscated
1 objective-c
6 ocaml
1 occam
1 ode
1 oisc
5 oo
2 ooc
1 open-science
1 os
1 osc
1 ownership
3 parallel
1 parasail
1 parser
1 parsing
1 pascal
1 patterns
1 perl
1 php
1 pli
1 plugin
1 porting
1 postscript
1 print
1 process-oriented
19 programming
1 proof
10 python
1 r
1 reactive
1 reading-list
1 reference
12 research
17 retrocomputing
1 rexx
1 rpn
1 runtime
4 rust
6 safety
1 scala
1 science
1 scotch
1 scripting
2 security
1 semantics
1 separation-logic
1 setl
2 shell
1 simulation
1 smalltalk
1 snobol
10 software
3 software-engineering
1 spelling
1 splash
2 standard-ml
1 statistics
1 sugar
1 switch
5 syntax
1 systems
1 szl
1 tcl
7 teaching
1 templates
1 templeos
1 thesis
1 tools
1 turner
1 type-checking
1 type-inference
6 type-systems
1 type-theory
2 typeclass
6 types
1 undefined
2 undefined-behaviour
1 unix
1 verification
1 visual-programming
1 vms
1 wasp
1 xpl0