« earlier | later » Page 3 of 13
David Turner's forerunner to Miranda (and hence Haskell's grandparent) -- a neat little functional language. The implementation here is terrifying: EMAS BCPL ported to C in the style of Bournegol!
to bcpl c emas functional kent krc language-design retrocomputing turner ... on 14 October 2016
This is a really interesting language design -- in particular, it has precisely the syntax I was looking for. It's a pity that the type system is kind of half-arsed, and the standard implementation is pretty limited... I wonder if it'd be possible to throw this syntax on top of OCaml?
to language-design lobster ... on 14 October 2016
Haskell's Type Classes: We Can Do Better – John A De Goes
Reasons for wanting first-class typeclasses. Personally I'd just settle for having Haskell-style typeclasses in a language I could actually use for real work...
to haskell language-design typeclass ... on 14 October 2016
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
« earlier | later » Page 3 of 13
tasty by Adam Sampson.