es edit / delete

"Es is an extensible shell. The language was derived from the Plan 9 shell, rc, and was influenced by functional programming languages, such as Scheme, and the Tcl embeddable programming language." Meets some of the design criteria I'm interested in, although overall I don't find the design that compelling.

to es language-design shell unix ... on 06 April

Making the move from Scala to Go, and why we're not going back | Movio Blog edit / delete

POP being one reason: "It's not just the fact that channels and goroutines are cheaper in terms of resources [...] They are also easier to reason about when coding."

to concurrency go language-design process-oriented scala ... on 26 February

A nice, little known C feature: Static array indices in parameter declarations edit / delete

"void bar(int myArray[static 10]);" On the other hand, compilers that actually do something useful with this are rare. And the syntax is pretty horrible -- especially when you're using it to indicate a non-NULL pointer.

to c language-design safety ... on 10 February

Kednos PL/I edit / delete

Commercial PL/I compiler for VMS, but with a very comprehensive reference manual; this was useful in understanding the Multics PL/I code.

to compiler language-design pli vms ... on 10 February

PortablE edit / delete

An E compiler implemented as a translator to C++. This extends the language a bit too (in particular, adding a better type system).

to amiga c++ compiler e language-design ... on 10 December 2016

szl edit / delete

A "better Tcl" language (i.e. something that sits in roughly the shell space, but is actually a real programming language with exceptions, etc.) The simplicity is interesting.

to language-design shell szl tcl ... on 06 December 2016

SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added. edit / delete

A tasteful update of 90s-era Standard ML. (Wish they'd fix the horrible equality types hack, though!)

to functional language-design ml standard-ml ... on 18 October 2016

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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to language-design

- language-design
 
1 + 6502
1 + acorn
4 + ag0700
4 + ag0803
2 + algol
1 + amiga
6 + amusements
1 + arabic
1 + architecture
1 + audio
1 + autocode
1 + awk
1 + b
1 + bbc
1 + bcpl
1 + benchmarking
1 + beta
1 + bf
1 + books
1 + bounds-checking
15 + c
11 + c++
2 + c++11
2 + c++14
1 + c64
1 + clang
1 + client-server
1 + cmp201
1 + commodore
10 + compiler
1 + computing
16 + concurrency
1 + concurrrency
1 + coroutines
2 + correctness
2 + cosmos
1 + data
2 + dynamic
1 + e
1 + emas
2 + erlang
1 + es
1 + esoteric
2 + etext
1 + exceptions
1 + f
1 + false
1 + find
1 + formal-methods
2 + forth
1 + fp
1 + ftwalk
7 + functional
1 + future
1 + generator
2 + generics
1 + gnu
3 + go
2 + graphics
3 + haskell
1 + hawk
5 + history
1 + include
3 + indentation
2 + iso
1 + iterator
1 + java
1 + javascript
1 + kent
1 + krc
1 + langsec
2 + language
2 + lisp
1 + lobster
1 + lua
1 + lv2
1 + maths
2 + memory
1 + ml
1 + mobile
1 + modelling
1 + monad
1 + multimedia
1 + music
1 + mythryl
1 + nim
1 + oberon
2 + obfuscated
1 + objective-c
4 + ocaml
1 + occam
1 + ode
1 + oisc
5 + oo
2 + ooc
1 + open-science
1 + os
1 + osc
1 + ownership
3 + parallel
1 + parasail
1 + parser
1 + parsing
1 + pascal
1 + patterns
1 + perl
1 + php
1 + pli
1 + plugin
1 + porting
1 + postscript
1 + print
1 + process-oriented
18 + programming
1 + proof
9 + python
1 + r
1 + reactive
1 + reading-list
1 + reference
11 + research
14 + retrocomputing
1 + rexx
1 + rpn
1 + runtime
3 + rust
5 + safety
1 + scala
1 + science
1 + scotch
1 + scripting
2 + security
1 + semantics
1 + separation-logic
2 + shell
1 + simulation
1 + smalltalk
1 + snobol
10 + software
3 + software-engineering
1 + spelling
1 + splash
2 + standard-ml
1 + stats
1 + sugar
1 + switch
5 + syntax
1 + systems
1 + szl
1 + tcl
7 + teaching
1 + templeos
1 + thesis
1 + tools
1 + turner
1 + type-checking
1 + type-inference
4 + type-systems
1 + type-theory
2 + typeclass
5 + types
1 + undefined
1 + undefined-behaviour
1 + unix
1 + verification
1 + visual-programming
1 + vms
1 + wasp
1 + xpl0