« earlier | later » Page 7 of 13

Reasoning About the Heap in Rust edit / delete

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

Doing the same thing several different ways.

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

C++17: I See a Monad in Your Future! |   Bartosz Milewski's Programming Cafe edit / delete

Why C++ futures are like monads. Neat!

to c++ concurrency future haskell language-design monad ... on 09 April 2014

The Old Man and the C edit / delete

Sun's TeamWare team adopts C++ in the early 90s, and reflects on what they did and didn't like. (I find it kind of amazing that they didn't see any value in local variable declarations.)

to c c++ language-design ... on 05 March 2014

The XPL0 Programming Language edit / delete

Pascal-like language with some fun graphics demos.

to graphics language-design programming software xpl0 ... on 12 February 2014

The Descent to C edit / delete

An excellent overview of what makes C (and the C subset of C++) an unusual programming language. Students: well worth a read.

to ag0700 ag0803 architecture c language-design programming teaching ... on 10 February 2014

The Universe of Discourse : Why I like Java edit / delete

"Java is neither a good nor a bad language. It is a mediocre language [...]". Quite.

to java language-design ... on 03 February 2014

SRFI 110: Sweet-expressions (t-expressions) edit / delete

Python-like syntax for Lisp-like languages -- there's a discussion of other attempts to do this further down.

to language-design lisp python syntax ... on 11 January 2014

The Autocodes edit / delete

British programming languages of the early 1950s.

to autocode compiler history language-design retrocomputing ... on 15 December 2013

Perl, Python, Ruby, PHP, C, C++, Lua, tcl, javascript and Java comparison edit / delete

Comparison of lots of languages on a fairly simple string-handling problem. Interesting for the breadth of languages. I'd take his assertions with a large yellow roadside bin of salt, though.

to benchmarking language-design ... on 14 December 2013

« earlier | later » Page 7 of 13

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

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
2 + forth
1 + 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 + include
3 + indentation
2 + iso
1 + iterator
1 + java
1 + javascript
1 + kent
1 + krc
1 + langsec
2 + language
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
16 + 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