The Axis of Eval

Manuel Simoni's blog about programming (languages).

Friday, November 9, 2012

When the designers of a bad language decide to add a poorly-understood, "powerful" new feature

›
3 comments:

When someone shows me their implementation of McCarthy's EVAL

›
Thursday, November 8, 2012

When I listen to someone who knows less about PLs than me

›
1 comment:

When I hear of a LISP success in industry

›

When somebody says "it's written in C, so it must be fast"

›
Monday, November 5, 2012

When I'm beginning to study a new area of CS

›
Sunday, November 4, 2012

When I read a script kiddie's post about PL semantics

›
1 comment:
Thursday, September 27, 2012

When I hear your new PL doesn't have exceptions and requires manual error handling instead

›
1 comment:
Wednesday, September 19, 2012

When I see a discussion about scope in CoffeeScript

›
1 comment:
Saturday, September 8, 2012

Having both fexprs and macros

›
Lexically-scoped fexprs and first-class environments  make it simple to do hygienic metaprogramming , using less machinery than hygienic ma...
Thursday, September 6, 2012

Mixing first-order and higher-order control

›
It's desirable for a language to support exceptions (preferably restartable ones ),  unwind protection ,  dynamic binding , and  delimi...
2 comments:
Wednesday, September 5, 2012

Reactive Demand Programming

›
David Barbour has created a very promising and exciting paradigm for writing interactive, networked applications:  Reactive Demand Programmi...
5 comments:
Thursday, August 23, 2012

Mozilla Memes

›
I didn't know this: Mozilla Memes . Check it out.
Tuesday, August 14, 2012

Switching between TCO and non-TCO at runtime

›
Here's a fun idea, that should work in a language with fexprs, or an incremental/reactive macro expander. It relies on the property that...
8 comments:
Saturday, August 11, 2012

Delimited continuations do dynamic-wind

›
Oleg's argument against call/cc links to one of his lesser known posts, Delimited continuations do dynamic-wind . In it he first shows ...
3 comments:
Tuesday, August 7, 2012

Scheme's missing ingredient: first-class type tags

›
I've always felt that Scheme does data and types wrong, but I couldn't really say what bothered me until yesterday. After all, R7RS ...
12 comments:
Thursday, August 2, 2012

When I'm trying to read an operational semantics

›
2 comments:
Wednesday, August 1, 2012

Understanding metacontinuations for delimited control

›
Metacontinuations arise in some implementations of delimited control such as in A Monadic Framework for Delimited Continuations . In addit...
1 comment:

An alternative API for continuations

›
Call/cc is the most well-known API for exposing first-class continuations to userland. But there is another API that's used in Scheme 48...
3 comments:

Continuation marks

›
Continuation marks are a mechanism for attaching key-value data to continuation frames. There are two primitives: (call/cm key value thun...
3 comments:
Thursday, July 26, 2012

When somebody uses the word 'natural'

›
1 comment:
Tuesday, July 24, 2012

When I can no longer tell whether my implementation is faithful to the semantics or not

›

When I read a blog post by Robert Harper

›
‹
›
Home
View web version
Powered by Blogger.