The Axis of Eval

Manuel Simoni's blog about programming (languages).

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

›
Friday, July 20, 2012

When everybody hypes a language that I find crap

›
1 comment:

When a new language doesn't get lexical scope right

›

When I heard of Dart's type system

›
2 comments:
Thursday, July 19, 2012

When I hear they're adding features to C++

›
5 comments:
Wednesday, July 18, 2012

When I finally grokked delimited continuations

›
(thanks to the example in A Monadic Framework )
Thursday, July 12, 2012

When it comes to my mind that the 1990s project of moving OSes to dynlangs failed and now we're all using Unix

›
8 comments:

When I'm about to replace an important subsystem in my VM

›
‹
›
Home
View web version
Powered by Blogger.