Adam Sampson's language-design bookmarks

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

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

Bad Engineering Properties of Object-Oriented Language

Luca Cardelli on some of the failings of OO.

to language-design oo research software-engineering ... on 04 December 2008

The LuaJIT Project

As the name suggests, a JIT for Lua. There's also a coroutines library for Lua here. It would be interesting to knock together a CSP library for Lua using coroutines.

to concurrency language-design lua research runtime ... on 03 November 2008

Home Page for ATS

Functional language with a powerful type system, an efficient via-C compilation process, and (obviously) a superb name.

to compiler functional language-design research type-checking ... on 13 September 2008

The specification of program flow in Madcap 6

A very interesting language -- essentially a modern functional design, from 1972, with list/set comprehensions, generators, and various other interesting features.

to functional language-design programming ... on 29 July 2008

Index of /sabre/Mirrored/AdvProgLangDesign

Finkel's "Advanced Programming Language Design".

to language-design programming research ... on 16 July 2008

Epigram

Dependently-typed programming language with fun syntax. (Via MrTea.)

to functional language-design types ... on 15 June 2008

littleb.org - home of the little b modular modeling language

Another bio-specific language.

to cosmos language-design research ... on 14 February 2008

	- 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

Tasty » Adam Sampson's language-design bookmarks

Tags related to language-design