Tasty » Adam Sampson's language-design bookmarks

The T3X Language and Compiler - T3X.ORG edit / delete

"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 edit / delete

"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 edit / delete

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 Guide to Undefined Behavior in C and C++, Part 1 – Embedded in Academia edit / delete

A good overview for students.

to c cmp201 correctness language-design safety teaching undefined-behaviour ... on 10 February 2017

Let’s stop copying C / fuzzy notepad edit / delete

Yes, let's. Please.

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

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

"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 edit / delete

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 edit / delete

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 edit / delete

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. edit / delete

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