« earlier | later » Page 4 of 13
Bjarne Stroustrup's frequently asked questions on C++11 (and later) features -- so lots of interesting detail about why particular design choices were made.
to c++ c++11 language-design ... on 14 October 2016
F# syntax: indentation and verbosity | F# for fun and profit
This is a more useful description of how F#'s indentation-based syntax works than the manual.
to f language-design ocaml syntax ... on 14 October 2016
Haskell for all: Scrap your type classes
"What I'm about to propose is that all Haskell type class programming can (and should) be implemented purely at the value level using a simple and ordinary code transformation." Well, yes, but the resulting code is HORRIBLE...
to haskell language-design typeclass ... on 14 October 2016
Comparing Objective Caml and Standard ML
Feature-by-feature comparison. This highlights some of the nice features in both languages as well...
to language-design ocaml standard-ml ... on 14 October 2016
"Bipscript is a simple programming environment for creating music." Intended for scripting LV2 plugin networks and similar jobs -- looks pretty neat.
to language-design lv2 music osc plugin scripting ... on 11 October 2016
The curious case of the switch statement / fuzzy notepad
The history of "switch" in Algol/BCPL languages. Ignores pattern-matching in functional languages, so the inclusion of Rust here is a bit incongruous.
to c language-design retrocomputing switch ... on 23 September 2016
Esolang, the esoteric programming languages wiki
A fantastic waste of time. Very comprehensive.
to amusements bf esoteric false language-design oisc retrocomputing ... on 08 September 2016
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
« earlier | later » Page 4 of 13
tasty by Adam Sampson.