« earlier | later » Page 1 of 13
Lots of interesting articles introducing aspects of programming language design. CMP409 students should have a flip through this.
to cmp409 language-design types ... on 24 October 2018
C&C - A Crash Course on ML Modules edit / delete
A really good description of Standard ML's module system (and OCaml, where it differs). I do like ML's modules, but wish the syntax and terminology was a bit friendlier...
to cmp409 functional language-design ml module ocaml ... on 24 October 2018
50 Shades of Go: Traps, Gotchas, and Common Mistakes for New Golang Devs edit / delete
Mostly interesting to me for the concurrency problems.
to concurrency errors go language-design ... on 24 October 2018
Modern garbage collection – Mike’s blog edit / delete
A critical look at the tradeoffs in Go's GC. (Like their concurrency facilities, it ignores a lot of the advances in design in the late 70s.)
to cmp409 gc go language-design ... on 05 May 2018
Carp | Veit's Blog edit / delete
Lisp with Rust's (overcomplicated) linear types.
to language-design lisp rust type-systems ... on 10 December 2017
Software Preservation Group — Software Preservation Group edit / delete
Some fairly specific archiving projects from CHM -- e.g. as much as they could collect about early Fortran compilers.
to compiler fortran history language-design retrocomputing ... on 13 September 2017
Undefined Behavior in 2017 – Embedded in Academia edit / delete
A really nice overview of undefined behaviour in C-family languages. Tempted to do a lecture on this for CMP201, although I suspect the students would find it rather depressing...
to c c++ language-design safety undefined-behaviour ... on 13 September 2017
graydon2 | "What next?" edit / delete
"After memory safety, what do you think is the next big step for compiled languages to take?" Some interesting suggestions.
to compiler language-design research ... on 12 September 2017
1ML - core and modules united edit / delete
"1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language." This cleans up some of the things I don't like about ML-family languages, and in the process gets some of the benefits of dependent types without the toolchain overhead. Interesting...
to 1ml functional language-design ml modules type-systems ... on 12 September 2017
Why ML/OCaml are good for writing compilers edit / delete
As it says.
to cmp409 compiler functional language-design ml ocaml ... on 13 May 2017
« earlier | later » Page 1 of 13
tasty by Adam Sampson.