Tasty » Adam Sampson's language-design bookmarks

KRC homepage edit / delete

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

Wouter's Wiki : Lobster edit / delete

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

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

C++11 FAQ edit / delete

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

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 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