Search the web
Sign In
New User? Sign Up
concatenative · Discuss the concatenative variety of computer languages: Joy, Forth, Postscript
  • Members Only
  • Post
  • Files
  • Photos
  • Links
  • Database
  • Polls
  • Members
  • Calendar
  • Promote

Group Information

? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Hear how Yahoo! Groups has changed the lives of others. Take me there.

Best of Y! Groups

   Check them out and nominate your group.
Stay up to speed on the latest Groups news and updates, visit the Groups blog today!

Home

  

Activity within 7 days:

New Questions

Description

The best introduction to this subject is at the Joy homepage.

In short, concatenative languages behave in a way which looks imperative (like C or Perl), but can be reasoned about in a functional manner (like ML or Haskell).

These languages are only beginning to be studied, although Forth had a heyday in the 80s, and Postscript is notable for being the most commonly metaprogrammed language in existance (a trait which I believe is not a coincidence).

Most Recent Messages

  (View All)
(Group by Topic)
Search:
Advanced
    Start Topic
Re: fundamental type system problems + possible solutions
Before I start: http://citeseer.ist.psu.edu/dornan98typesecure.html seems to possibly have something to do with this (maybe?). It's about using dynamic types
Posted - Sun May 4, 2008 3:48 pm
 William Tanksley, Jr
wtanksle
Offline Offline
Send Email Send Email
Re: fundamental type system problems + possible solutions
... That is what I mean. Say you give a macro a quotation. That quotation type checks. Now say the macro tears the quotation apart, and one of the individual
Posted - Fri May 2, 2008 1:36 am
 John Nowak
john@...
Send Email Send Email
Re: fundamental type system problems + possible solutions
... I can read this okay up until the phrase "obviously not in the source code." Then I get completely lost. I'm going to reduce the argument to a logical form
Posted - Thu May 1, 2008 3:30 pm
 William Tanksley, Jr
wtanksle
Offline Offline
Send Email Send Email
Re: fundamental type system problems + possible solutions
... Ah, I misunderstood. I thought you were thinking that Fifth was lazy and somehow needed the effect system to avoid stomping all over itself when IO was
Posted - Thu May 1, 2008 2:15 am
 John Nowak
john@...
Send Email Send Email
Re: fundamental type system problems + possible solutions
... Are you saying that it's impossible to write an optimizing code generator for Fifth? :-) Seriously, though, I don't see why you should worry about 'effects
Posted - Wed Apr 30, 2008 2:53 pm
 William Tanksley, Jr
wtanksle
Offline Offline
Send Email Send Email
Add concatenative to your personalized My Yahoo! page Add to My Yahoo! XML What's This?

Message History

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2008 17 49 209 89 3
2007 69 32 59 47 72 26 40 13 42 5 64 81
2006 16 14 10 11 30 63 53 12 29 49 59 28
2005 23 93 145 49 19 11 41 90 84 24 2 10
2004 21 3 1 42 70 54 25 36 41 81 49 27
2003 37 46 63 17 92 59 85 29 1 16 24
2002 40 18 37 70 6 22 17 26 5 13 11 24
2001 2 1 29 35 81 33 23 41 33 38 23 76
2000 172 188 65 51 44 4 1 11
What is Yahoo! Answers?

Yahoo! Answers, a new Yahoo! community, is a question and answer exchange where the world gathers to share what they know...and make each other's day. People can ask questions on any topic, and help others out by answering their questions.

Hide this tip
What is Yahoo! Answers?

Yahoo! Answers, a new Yahoo! community, is a question and answer exchange where the world gathers to share what they know...and make each other's day. People can ask questions on any topic, and help others out by answering their questions.

Hide this tip

Questions in Computers & Internet > Programming & Design

  • Questions are currently unavailable.

Want to help answer other questions? Go to Yahoo! Answers

Group Email Addresses

Related Link: http://www.latrobe.edu.au/philosophy/phimvt/joy.html
Post message: concatenative@yahoogroups.com
Subscribe: concatenative-subscribe@yahoogroups.com
Unsubscribe: concatenative-unsubscribe@yahoogroups.com
List owner: concatenative-owner@yahoogroups.com
Copyright © 2007 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines - Help