Tasty » Adam Sampson's language-design bookmarks

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

ANSI-ISO PASCAL edit / delete

"This page contains various information about the computer language Pascal as stated by the ISO 7185, the original Pascal language designed by Niklaus Wirth at ETH in Zurich, and any implementations of that language." There's lots of description of Delphi and other derivations elsewhere, but this is very comprehensive on ISO PASCAL, including the history of its compilers.

to compiler history iso language-design pascal retrocomputing software ... on 05 March 2015

On Go edit / delete

A critical comparison of Go and... Algol 68. I would also observe that Go failed to learn even from occam, another Algol-derived language that it's much more closely related to. But I wasn't previously aware of some of the cool features that Algol 68 had; this is a good read.

to algol concurrency go language-design retrocomputing ... on 05 March 2015

Algol W - Everything2.com edit / delete

Excellent description of the language from a former user. (There is at least one reasonably-modern implementation, AWE.)

to algol history language-design retrocomputing ... on 05 March 2015

Language-theoretic Security edit / delete

"The Language-theoretic approach (LANGSEC) regards the Internet insecurity epidemic as a consequence of ad hoc programming of input handling at all layers of network stacks, and in other kinds of software stacks." Some interesting work, although it's obviously focussing on one class of problem...

to langsec language-design parser proof security verification ... on 03 January 2015

Thinking Forth edit / delete

Leo Brodie's classic book, now available under a Creative Commons license.

to books etext forth language-design programming rpn software-engineering ... on 24 November 2014