The Axis of Eval

Manuel Simoni's blog about programming (languages).

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

›

When somebody says 'but Clojure will bring more people to Lisp'

›
2 comments:

When I see that Ruby's parser is 10,000 lines of C

›
5 comments:
Wednesday, July 11, 2012

When somebody tries to explain JavaScript's prototype system

›
4 comments:

When I see that a new language makes a difference between statements and expressions

›
3 comments:
Tuesday, July 10, 2012

When I mention first-class environments and fexprs to an academic Schemer

›
3 comments:
‹
›
Home
View web version
Powered by Blogger.