« earlier | later » Page 2 of 13
Modern garbage collection – Mike’s blog
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
Lisp with Rust's (overcomplicated) linear types.
to language-design lisp rust type-systems ... on 10 December 2017
Software Preservation Group — Software Preservation Group
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
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
"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 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
As it says.
to cmp409 compiler functional language-design ml ocaml ... on 13 May 2017
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 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
« earlier | later » Page 2 of 13
tasty by Adam Sampson.