Random thought of the moment

Might COMEFROM be a categorical dual of GOTO?

2 Comments »

  1. Karl said,

    November 3, 2006 @ 4:48 pm

    I can’t see what else would be. And everything in any programming language has some interpretation in category theory, right?

  2. washburn said,

    November 4, 2006 @ 3:57 pm

    And everything in any programming language has some interpretation in category theory, right?

    Well, it depends on how you mean it . If you mean because the λ-calculus is Turing -complete, and because the λ-calculus has categorical models, then yes. But it is not obvious to me whether it is possible to find an elegant categorical semantics for every individual language feature.

RSS feed for comments on this post · TrackBack URI

Leave a Comment