« earlier | later » Page 3 of 13
A Guide to Undefined Behavior in C and C++, Part 1 – Embedded in Academia
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
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
"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
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
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
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
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
David Turner's forerunner to Miranda (and hence Haskell's grandparent) -- a neat little functional language. The implementation here is terrifying: EMAS BCPL ported to C in the style of Bournegol!
to bcpl c emas functional kent krc language-design retrocomputing turner ... on 14 October 2016
This is a really interesting language design -- in particular, it has precisely the syntax I was looking for. It's a pity that the type system is kind of half-arsed, and the standard implementation is pretty limited... I wonder if it'd be possible to throw this syntax on top of OCaml?
to language-design lobster ... on 14 October 2016
Haskell's Type Classes: We Can Do Better – John A De Goes
Reasons for wanting first-class typeclasses. Personally I'd just settle for having Haskell-style typeclasses in a language I could actually use for real work...
to haskell language-design typeclass ... on 14 October 2016
« earlier | later » Page 3 of 13
tasty by Adam Sampson.