Hawk/Ftwalk: Home

A crossbreed of awk and find, with a more powerful language behind it. This is a pretty nice design, although thoroughly eclipsed by Perl.

to awk find ftwalk hawk language-design perl software ... on 25 August 2014

C++11/14 idioms I use every day | Seshbot Programs

Generally useful (rather than obscure) features.

to ag0700 ag0803 c++ c++11 c++14 language-design ... on 24 August 2014

The implementation of iterators in C# and its consequences (part 1) - The Old New Thing - Site Home - MSDN Blogs

How C# implements generators by desugaring them into a state machine.

to c generator iterator language-design sugar ... on 13 August 2014

A dangling pointer is indeterminate | TrustInSoft

Well, that's an interesting bit of the C standard: "free(m); if (m == NULL) ..." is undefined behaviour...

to c language-design memory semantics undefined ... on 15 July 2014

ferd.ca -> An Open Letter to the Erlang Beginner (or Onlooker)

A nice overview of what's unique about Erlang (the concurrency stuff is obvious, but the error handling is equally neat).

to concurrency erlang exceptions language-design programming safety ... on 24 May 2014

Artist's Notebook: Ramsey Nasser - ANIMAL

Designing an Arabic programming language.

to arabic language language-design ... on 20 May 2014

Reasoning About the Heap in Rust

Quote: "it's still worth applying Separation logic to get a feel for what's happening to the heap". I'm kind of impressed that the Rust designers have managed to come up with a design for reference types that's *more* complex than C++'s.

to formal-methods language-design memory reference rust separation-logic ... on 03 May 2014

C++ - From goto to std::transform

Doing the same thing several different ways.

to c++ functional language-design ... on 27 April 2014

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