https://github.com/catseye/sbeezg

A language which attempts to take single-assignment to the logical extreme
https://github.com/catseye/sbeezg

esolang esoteric-language esoteric-programming-language single-assignment

Last synced: about 9 hours ago
JSON representation

A language which attempts to take single-assignment to the logical extreme

• Host: GitHub
• URL: https://github.com/catseye/sbeezg
• Owner: catseye
• License: unlicense
• Created: 2012-07-14T17:05:45.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2014-08-19T12:40:58.000Z (about 10 years ago)
• Last Synced: 2023-03-12T22:20:41.170Z (over 1 year ago)
• Topics: esolang, esoteric-language, esoteric-programming-language, single-assignment
• Language: Erlang
• Homepage: http://catseye.tc/node/Sbeezg
• Size: 152 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.markdown

Awesome Lists containing this project

README

        
The Sbeezg Programming Language

===============================

v2002.0317

Sbeezg is single-assignment programming taken to the extreme.  Each variable

may only be assigned once.  There is no scope.  When a function is executed,

a new copy of it is made, with all bound variable names altered to fresh ones,

and this is executed instead.  Execution is sequential in nature.  Arguments

and return value are given explicitly.  There are no global names; there are

only lambda function definitions available.  There are five built-in operations.

For convenience, there are three data types: atoms, integers, and closures.

Here is a brief EBNF rundown of the syntax:

    Appl ::= Name "=" Val "(" Val  {"," Val} ")".

    Val  ::= Name | "*" Const | "{" Name {"," Name} "|" Appl {";" Appl} "|" Name "}".

A program is an application, which consists of an assignment to a new (never

before named in the program) variable, of a value or the result of a function

call.  Note that the arguments of a function call may only be simple values;

further nested function calls are disallowed as their implicit 'piping' of

values from one function to the next without an intervening variable name is

counter to the intention of this purely single-assignment language.

This documentation isn't really complete.

Chris Pressey  

March 17 2002  

Winnipeg, Manitoba