FrontPage - parasail

"ParaSail is a new parallel programming language designed to support the development of inherently safe and secure, highly parallel applications that can be mapped to multicore, manycore, heterogeneous, or distributed architectures."

to language-design parallel parasail programming ... on 14 December 2013

Project Oberon (New Edition 2013)

Book on the development of the Oberon system. I remember playing with this on the Amiga a long time ago...

to etext history language-design oberon retrocomputing ... on 14 December 2013

Clay Programming Language

A modern C++-style language; uses Haskell-ish type inference techniques to allow reasonably pretty generic programming.

to c++ generics language-design type-inference types ... on 14 December 2013

Obscure C++ Features - Made by Evan

"This page is a collection of obscure C++ features, gathered over the years as I've explored different corners of the language." These get more obscure as the page progresses.

to ag0700 c++ language-design obfuscated ... on 13 December 2013

Concurrent Revisions | Lambda the Ultimate

"Concurrent Revisions are a distributed version control-like abstraction [1] for concurrently mutable state that requires clients to specify merge functions that make fork-join deterministic, and so make concurrent programs inherently composable." That is, it's a shared data strategy based on version control ideas, which is kind of neat.

to concurrency language-design ... on 24 October 2013

ISO/IEC JTC1/SC22/WG14 - C

The ISO C working group. Interesting discussions.

to c iso language-design ... on 07 September 2013

Cello • High Level Programming C

Dynamic OO using the GNU C extensions. Neat -- if just for the interesting puzzle of figuring out how it's done without looking at the spoilers!

to c compiler gnu language-design oo ... on 20 July 2013

Obscure C

I was aware of most of this, but the bit about typedef was new to me!

to c language-design obfuscated ... on 15 April 2013

The Rust Programming Language

Mozilla's answer to Go, it appears.

to language-design programming rust ... on 09 April 2013

Tags related to language-design

- language-design
 
1 1ml
1 6502
1 acorn
4 ag0700
4 ag0803
3 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
16 c
13 c++
2 c++11
2 c++14
1 c64
1 clang
1 client-server
2 cmp201
7 cmp409
1 commodore
14 compiler
1 computing
17 concurrency
1 concurrrency
1 coroutines
2 correctness
2 cosmos
1 data
1 data-structures
2 dynamic
1 e
1 emas
2 erlang
2 errors
1 es
1 esoteric
2 etext
1 exceptions
1 experiment
1 f
1 false
1 find
1 formal-methods
3 forth
2 fortran
1 fp
1 ftwalk
11 functional
1 future
1 gc
1 generator
3 generics
1 gnu
5 go
2 graphics
3 haskell
1 hawk
6 history
1 ibm
1 include
3 indentation
2 iso
1 iterator
1 java
1 javascript
1 kent
1 krc
1 langsec
2 language
127 language-design
3 lisp
1 lobster
1 lua
1 lv2
1 maths
2 memory
1 mercurial
4 ml
1 mobile
1 modelling
1 module
1 modules
1 monad
1 multimedia
1 music
1 mythryl
1 nim
1 oberon
2 obfuscated
1 objective-c
6 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
19 programming
1 proof
10 python
1 r
1 reactive
1 reading-list
1 reference
12 research
17 retrocomputing
1 rexx
1 rpn
1 runtime
4 rust
6 safety
1 scala
1 science
1 scotch
1 scripting
2 security
1 semantics
1 separation-logic
1 setl
2 shell
1 simulation
1 smalltalk
1 snobol
10 software
3 software-engineering
1 spelling
1 splash
2 standard-ml
1 statistics
1 sugar
1 switch
5 syntax
1 systems
1 szl
1 tcl
7 teaching
1 templates
1 templeos
1 thesis
1 tools
1 turner
1 type-checking
1 type-inference
6 type-systems
1 type-theory
2 typeclass
6 types
1 undefined
2 undefined-behaviour
1 unix
1 verification
1 visual-programming
1 vms
1 wasp
1 xpl0