Weekly Edition
Return to the Press page
| |||||||||||||
|
| |||||||||||||
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."
(Log in to post comments)
An Invitation to SETL (Linux Journal) Posted Dec 30, 2004 0:32 UTC (Thu) by manpreet (guest, #12039) [Link] [ ... 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 (subscriber, #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.
|
|
||||||||||||