« earlier | later » Page 4 of 13
Checked C - Microsoft Research
C with bounds checking. Very C++-ish; I was hoping they'd done something smarter.
to bounds-checking c language-design safety security ... on 28 August 2016
A Constructive Look At TempleOS
I don't think there's anything especially novel here, but it's certainly an interesting system along the lines of Oberon or Squeak.
to language-design os systems templeos ... on 21 June 2016
Static vs. dynamic languages: a literature review
Metastudy of the effectiveness of static typing. Well worth reading. "The summary of the summary is that most studies find very small effects, if any. However, the studies probably don’t cover contexts you’re actually interested in"
to language-design research software-engineering type-systems ... on 28 February 2016
Rayon: data parallelism in Rust - Baby Steps
Safe fork-join parallelism in Rust through ownership types.
to language-design ownership parallel programming rust type-systems ... on 28 February 2016
ooc » The ooc programming language
"ooc is a small programming language with a clear and concise syntax that compiles to C99." Still has curly brackets, unfortunately, but overall it looks pretty good.
to compiler language-design ooc ... on 28 February 2016
include-what-you-use - A tool for use with clang to analyze #includes in C and C++ source files
This is a tool I've wanted for a while (owing to C/C++'s lack of a 1970s-standard module system): check that C/C++ files have the correct set of #includes.
to c c++ clang include language-design software ... on 28 February 2016
Classic Papers in Programming Languages and Logic
to language-design reading-list teaching types ... on 22 January 2016
Zélus: a hybrid synchronous language with ODEs
"Zélus is a synchronous language extended with Ordinary Differential Equations (ODEs) to model systems with complex interaction between discrete-time and continuous-time dynamics."
to language-design modelling ode simulation ... on 22 January 2016
aRrgh: a newcomer's (angry) guide to R
"R is a shockingly dreadful language for an exceptionally useful data analysis environment. The more you learn about the R language, the worse it will feel. The development environment suffers from literally decades of accretion of stupid hacks from a community containing, to a first-order approximation, zero software engineers."
to amusements language-design r statistics ... on 06 October 2015
Python to OCaml: retrospective - Thomas Leonard's blog
"In 2013, I spent 6 months converting 0install’s 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I’ll describe the approach I took and how it went. There will be graphs."
to language-design ocaml porting python ... on 23 September 2015
« earlier | later » Page 4 of 13
tasty by Adam Sampson.