« earlier | later » Page 5 of 13
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
Forth extension proposal RfDs and CfVs
You've used C++11 and Fortran 2015 -- now try Forth 2012.
to forth language-design ... on 24 June 2015
PEP 483 - The Theory of Type Hints | Python.org
A type-theoretic approach to Python -- good to see!
to language-design programming python type-theory types ... on 22 March 2015
Norvig's spelling corrector in a wide range of languages.
to language-design programming spelling ... on 22 March 2015
« earlier | later » Page 5 of 13
tasty by Adam Sampson.