|
|
Subscribe / Log in / New account

An Invitation to SETL (Linux Journal)

Linux Journal looks at SETL, a programming language modeled on set theory. "The aim of this article is not to offer a thorough discussion of SETL internals or a comparisons with other languages. Rather it intends to show the strong points of SETL by using elementary examples to convince you of how useful it can be in the right setting. For example, SETL appears to be one of the most suitable environments in which to make Set Theory calculations on a PC. As most problems may be formulated using the sets formalism, SETL is a good choice for all those times when compactness and elegance are more relevant than speed or memory consumption."

to post comments

An Invitation to SETL (Linux Journal)

Posted Dec 30, 2004 0:32 UTC (Thu) by manpreet (guest, #12039) [Link] (1 responses)

[ ... is a good choice for all those times when compactness and elegance are more relevant than speed or memory consumption ]

which would be where exactly? (outside the academia)

An Invitation to SETL (Linux Journal)

Posted Dec 30, 2004 16:52 UTC (Thu) by tzafrir (subscriber, #11501) [Link]

a. prototyping. Development time costs much more than run time

b. GUIs are generally slow enough

An Invitation to SETL (Linux Journal)

Posted Jan 15, 2005 12:48 UTC (Sat) by leandro (guest, #1460) [Link]

Interesting... what could be an intersection of a relational D system and this? After all, the relational model is based on set theory as well.


Copyright © 2004, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds