GNU SETL (original) (raw)

About GNU SETL

SETL is a general-purpose, high-level programming language in which sets and first-order mappings are fundamental to the syntax and semantics of the language. This lends great conciseness and readability to a wide range of applications, from basic data filtering and transformation to the abstract presentation of complex algorithms. SETL is particularly good for software prototyping.

GNU SETL comprises extensions to the SETL language and core “library”, and an implementation. The project’s main goal has always been to offer a setl command that lets SETL play well in the Unix (POSIX) world of processes, pipes, filters, sockets, and programs written in other languages.

Some links:

• GNU SETL online documentation
• GNU SETL release archive, size 8237018, md5sum 6fd27f35b2ffa3a97e69a6b9b0dfdfa9
• GitHub repository
• Dave’s Famous Original SETL Server
• dB’s Ph.D. thesis,SETL for Internet Data Processing
• Jack Schwartz’s web page,The Restored Eye
• Håkan Kjellerstrand’sMy SETL page, giving lots of fun examples
• Karl Stroetmann and Tom Herrman’sSetlX, a variant of SETL with many wonderful new features especially suitable for educational settings
• Dave Shields’sSETL4
• Paul McJones’sSETL Historical Sources Archive
• Workshop on Logic and Practice of Programming (LPOP) 2022

Please tell dB if you find a bug or misfeature in GNU SETL, or a corrigible bit in its documentation. Thanks!