« A Very Small but Non-Trivial Typed Concatenative Language
The Cat Language v0.14 »

Interesting Discussion on Type Theory

I recently found an old interesting discussion on type theory between Tim Sweeney and Frank Atanassow at

http://lambda-the-ultimate.org/classic/message6587.html

I find it provides some useful insights in to type theory appropriate for autodidacts.

This entry was posted on Monday, May 21st, 2007 at 4:51 pm and is filed under Everything. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

One Response to “Interesting Discussion on Type Theory”

  1. fkrueger Says:
    May 23rd, 2007 at 1:18 am

    Congratulations Chirstopher! This release is more polished than I’ve seen some commercial compilers.

    I hate to bring up a trivial problem with a weird OS, BUT there is a problem with compilation under Vista that has to do with directory permissions. When I try to compile a program I get the following:

    >> [1] #c #run
    uncaught system exception: Access is denied. (Exception from HRESULT: 0×80070005 (E_ACCESSDENIED))
    stack: _empty_

    My guess is that you are trying to write the assembly to the current working directory, which by default is the location of your interpreter, which is Program Files, which is protected. You should prob dump the assembly into the Temp or Local Files\Cat directory. Look up the Environment class to see how to query these things.

    Again, congrats!

    -Frank

Leave a Reply

You must be logged in to post a comment.