Tasty » Adam Sampson's language-design bookmarks

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

Forth extension proposal RfDs and CfVs edit / delete

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

A type-theoretic approach to Python -- good to see!

to language-design programming python type-theory types ... on 22 March 2015

jmoy/norvig-spell · GitHub edit / delete

Norvig's spelling corrector in a wide range of languages.

to language-design programming spelling ... on 22 March 2015

Nim Programming Language edit / delete

It's like Python but with a "parallel:" construct and a usage checker. Sounds familiar to anyone? :)

to concurrency language-design nim occam python ... on 22 March 2015

Kvikkalkul home page edit / delete

"This Web site is devoted to Kvikkalkul, the secret programming language of the Swedish Navy. In October 1994, the language was described in a Usenet message by an anonymous programmer who used Kvikkalkul in 1957 to write submarine weapons guidance programs and an accounting program." Probably a joke -- but a good one.

to amusements language-design retrocomputing ... on 07 March 2015