The T3X Language and Compiler - T3X.ORG

"T3X9 is a tiny, yet comprehensible, procedural language, much like Pascal or BCPL, but even more minimal. Its compiler is small and fast." There's a book about how the compiler works too.

to cmp409 compiler language-design ... on 13 May 2017

es

"Es is an extensible shell. The language was derived from the Plan 9 shell, rc, and was influenced by functional programming languages, such as Scheme, and the Tcl embeddable programming language." Meets some of the design criteria I'm interested in, although overall I don't find the design that compelling.

to es language-design shell unix ... on 06 April 2017

Making the move from Scala to Go, and why we're not going back | Movio Blog

POP being one reason: "It's not just the fact that channels and goroutines are cheaper in terms of resources [...] They are also easier to reason about when coding."

to concurrency go language-design process-oriented scala ... on 26 February 2017

A nice, little known C feature: Static array indices in parameter declarations

"void bar(int myArray[static 10]);" On the other hand, compilers that actually do something useful with this are rare. And the syntax is pretty horrible -- especially when you're using it to indicate a non-NULL pointer.

to c language-design safety ... on 10 February 2017

Kednos PL/I

Commercial PL/I compiler for VMS, but with a very comprehensive reference manual; this was useful in understanding the Multics PL/I code.

to compiler language-design pli vms ... on 10 February 2017

PortablE

An E compiler implemented as a translator to C++. This extends the language a bit too (in particular, adding a better type system).

to amiga c++ compiler e language-design ... on 10 December 2016

szl

A "better Tcl" language (i.e. something that sits in roughly the shell space, but is actually a real programming language with exceptions, etc.) The simplicity is interesting.

to language-design shell szl tcl ... on 06 December 2016

SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

A tasteful update of 90s-era Standard ML. (Wish they'd fix the horrible equality types hack, though!)

to functional language-design ml standard-ml ... on 18 October 2016

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