Tasty » Adam Sampson's language-design bookmarks

Checked C - Microsoft Research edit / delete

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

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

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

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

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

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

to language-design reading-list teaching types ... on 22 January 2016

Zélus: a hybrid synchronous language with ODEs edit / delete

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

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

"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