Tasty » Adam Sampson's language-design bookmarks

Haskell for all: Scrap your type classes edit / delete

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

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

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

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

A fantastic waste of time. Very comprehensive.

to amusements bf esoteric false language-design oisc retrocomputing ... on 08 September 2016

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